Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

List Of Outstanding Issues

WiP.ListOfOutstandingIssues History

Hide minor edits - Show changes to output

2010-06-13 09:09 by benjk -
Changed line 1 from:
As of June 11, 2010 the following issues are outstanding:
to:
As of June 12, 2010 the following issues are outstanding:
2010-06-13 09:08 by benjk -
Changed lines 4-5 from:
* should @@SXF@@/@@VAL@@ primitives be pervasives or in module @@COMPILER@@ ?
to:
* should @@SXF@@ and @@VAL@@ primitives be pervasives or in module @@COMPILER@@ ?
Changed line 7 from:
* should @@SET@@ @@OF@@ only be followed by @@namedType@@ ?
to:
* should type constructor @@SET@@ @@OF@@ only be followed by @@namedType@@ ?
2010-06-13 09:07 by benjk -
Changed line 4 from:
* should SXF/VAL primitives be pervasives or in module @@COMPILER@@ ?
to:
* should @@SXF@@/@@VAL@@ primitives be pervasives or in module @@COMPILER@@ ?
2010-06-13 09:07 by benjk -
Changed line 7 from:
* should SET OF only be followed by @@namedType@@ ?
to:
* should @@SET@@ @@OF@@ only be followed by @@namedType@@ ?
2010-06-13 09:07 by benjk -
Changed line 7 from:
* should SET OF only be followed by nameType ?
to:
* should SET OF only be followed by @@namedType@@ ?
2010-06-13 09:07 by benjk -
Changed lines 4-5 from:
* should @@digitCapacity@@ have a binding or should it be a magic name or a pragma?
to:
* should SXF/VAL primitives be pervasives or in module @@COMPILER@@ ?
Changed lines 7-11 from:
* native subrange type constructor: @@TYPE S = [n .. m] OF INTEGER@@ ?

!!!!Procedures
* should open array autocast be marked and imported
?
to:
* should SET OF only be followed by nameType ?
Deleted line 21:
* maybe the @@VAL@@ macro should be removed
2010-06-11 17:16 by benjk -
Changed lines 1-2 from:
As of June 5, 2010 the following issues are outstanding:
to:
As of June 11, 2010 the following issues are outstanding:
Deleted line 18:
* confirm removal of usage cases for anonymous types
2010-06-07 09:02 by benjk -
Added line 19:
* confirm removal of usage cases for anonymous types
Changed lines 21-22 from:
* review and confirm removal of usage cases for anonymous types
to:
Deleted line 23:
* @@FOR..IN@@ loop narrative (wiki and language document)
2010-06-06 10:45 by benjk -
Changed line 1 from:
As of June 4, 2010 the following issues are outstanding:
to:
As of June 5, 2010 the following issues are outstanding:
2010-06-06 10:45 by benjk -
Changed line 4 from:
* should @@digitCapacity@@ have a binding or should it be a magic name?
to:
* should @@digitCapacity@@ have a binding or should it be a magic name or a pragma?
2010-06-06 10:44 by benjk -
Changed line 3 from:
!!!!Operator Bindings
to:
!!!!Bindings
2010-06-06 10:44 by benjk -
Changed line 4 from:
* use @@[&]@@ for @@digitCapacity@@ constant?
to:
* should @@digitCapacity@@ have a binding or should it be a magic name?
2010-06-04 11:22 by benjk -
Changed line 4 from:
* use [&] for digitCapacity constant?
to:
* use @@[&]@@ for @@digitCapacity@@ constant?
2010-06-04 11:21 by benjk -
Added lines 3-5:
!!!!Operator Bindings
* use [&] for digitCapacity constant?

Deleted lines 7-9:

!!!!Operator Bindings
* use [&] for digitCapacity constant?
2010-06-04 11:20 by benjk -
Changed lines 4-5 from:
* should there be native syntax for subrange types: @@[n .. m] OF INTEGER@@
to:
* native subrange type constructor: @@TYPE S = [n .. m] OF INTEGER@@ ?
Changed line 10 from:
* should open array autocast be marked and imported
to:
* should open array autocast be marked and imported?
2010-06-04 11:19 by benjk -
Changed line 19 from:
* review and confirm convertibility rules for SYSTEM types
to:
* review and confirm convertibility rules for @@SYSTEM@@ types
2010-06-04 11:19 by benjk -
Changed lines 1-5 from:
As of June 3, 2010 the following issues are outstanding:

!!!!Lexis
* should single line comment be prefixed @@//@@ or @@!!@@

to:
As of June 4, 2010 the following issues are outstanding:
Added line 18:
* confirm that single line comment prefix is @@//@@
2010-06-03 18:28 by benjk -
Deleted lines 8-10:
!!!!Pervasives
* no outstanding issues

Deleted lines 10-12:

!!!!Type Conversion
* no outstanding issues
2010-06-03 18:23 by benjk -
Changed lines 4-5 from:
* should single line comment be prefixed // or !!
to:
* should single line comment be prefixed @@//@@ or @@!!@@
Deleted line 6:
* review and confirm removal of usage cases for anonymous types
Changed lines 16-17 from:
* review and confirm convertibility rules for SYSTEM types
to:
* no outstanding issues
Changed lines 19-20 from:
* should open array autocast be marked and imported: @@FROM SYSTEM IMPORT AUTOCAST@@
to:
* should open array autocast be marked and imported
Added lines 25-28:

!!!!Review and Confirm
* review and confirm convertibility rules for SYSTEM types
* review and confirm removal of usage cases for anonymous types
2010-06-03 18:20 by benjk -
Changed lines 1-2 from:
As of June 2, 2010 the following issues are outstanding:
to:
As of June 3, 2010 the following issues are outstanding:
Changed lines 4-5 from:
* should ~ and & synonyms be removed?
to:
* should single line comment be prefixed // or !!
Changed lines 11-12 from:
* is NIL a pervasive or a reserved word?
to:
* no outstanding issues
Changed lines 14-15 from:
* can signatures for @@[?]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic `ADTs
to:
* use [&] for digitCapacity constant?
Deleted line 22:
* Rick to review and confirm [@ComplexMath@]
2010-06-02 19:12 by benjk -
Changed lines 11-12 from:
* review and confirm definition of @@NIL@@
to:
* is NIL a pervasive or a reserved word?
Deleted line 19:
* confirm move of type bound procedure facility from core language to an OO extension layer
2010-06-02 15:30 by benjk -
Changed line 1 from:
As of May 24, 2010 the following issues are outstanding:
to:
As of June 2, 2010 the following issues are outstanding:
2010-06-02 02:39 by benjk -
Added lines 2-4:

!!!!Lexis
* should ~ and & synonyms be removed?
2010-05-31 01:24 by benjk -
Changed line 4 from:
* review and possibly reduce the usage cases for anonymous types
to:
* review and confirm removal of usage cases for anonymous types
Changed lines 8-9 from:
* review definition of @@NIL@@
to:
* review and confirm definition of @@NIL@@
Changed lines 11-12 from:
* can signatures for @@[.]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic `ADTs
to:
* can signatures for @@[?]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic `ADTs
Changed lines 14-15 from:
* review convertibility rules for SYSTEM types
to:
* review and confirm convertibility rules for SYSTEM types
Changed line 17 from:
* should the type bound procedure facility be in the core language or in an OO extension layer
to:
* confirm move of type bound procedure facility from core language to an OO extension layer
Changed line 21 from:
* Rick to review [@ComplexMath@]
to:
* Rick to review and confirm [@ComplexMath@]
2010-05-30 16:17 by benjk -
Changed line 17 from:
* should type bound procedure facility be in the core language or in an OO extension layer
to:
* should the type bound procedure facility be in the core language or in an OO extension layer
2010-05-30 16:16 by benjk -
Added line 4:
* review and possibly reduce the usage cases for anonymous types
2010-05-24 11:37 by benjk -
Changed line 13 from:
* review convertibility of SYSTEM types
to:
* review convertibility rules for SYSTEM types
2010-05-24 11:22 by benjk -
Changed line 20 from:
* is [[Spec/ComplexMath]] OK now?
to:
* Rick to review [@ComplexMath@]
2010-05-24 11:22 by benjk -
Changed line 20 from:
* review [[Spec/ComplexMath]]
to:
* is [[Spec/ComplexMath]] OK now?
2010-05-24 11:17 by benjk -
Added line 16:
* should type bound procedure facility be in the core language or in an OO extension layer
2010-05-24 11:16 by benjk -
Changed lines 14-15 from:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string? where should it live?
to:
Added line 32:
* define constant for the meta-data (non-digit) overhead in an SXF string, probably in @@COMPILER@@
2010-05-24 11:14 by benjk -
Added lines 24-27:

!!!!Documentation
* detailed description for initialisation order (wiki)
* @@FOR..IN@@ loop narrative (wiki and language document)
2010-05-24 11:02 by benjk -
Changed line 22 from:
* complete the Pathnames module
to:
* complete the [@Pathnames@] module
2010-05-24 11:02 by benjk -
Added line 22:
* complete the Pathnames module
2010-05-24 11:01 by benjk -
Deleted line 13:
* introduction of a [@digitCapacity@] property for scalar types
2010-05-24 10:59 by benjk -
Changed lines 27-28 from:
* binding concatenation to @@+@@ for string `ADTs
* binding dot product to @@+@@ for vector `ADTs
to:
* binding concatenation to @@+@@ for string `ADTs would be nice to have
* binding dot product to
@@+@@ for vector `ADTs would be nice to have
2010-05-24 10:58 by benjk -
Changed line 26 from:
* should the @@VAL@@ macro be removed
to:
* maybe the @@VAL@@ macro should be removed
2010-05-24 10:58 by benjk -
Changed lines 8-9 from:
* should the @@VAL@@ macro be removed
to:
Added line 26:
* should the @@VAL@@ macro be removed
2010-05-24 10:57 by benjk -
Added line 14:
* review convertibility of SYSTEM types
2010-05-24 10:57 by benjk -
Added line 7:
* review definition of @@NIL@@
2010-05-24 10:56 by benjk -
Changed line 22 from:
* TO DO: @@COROUTINES@@
to:
* TO DO: pseudo module @@COROUTINES@@
2010-05-24 10:55 by benjk -
Changed lines 21-22 from:
* finalise IO library, in particular [@TextIO@]
to:
* finalise semantics for [@Exceptions@]
* TO DO: @@COROUTINES@@
2010-05-24 10:54 by benjk -
Added lines 15-17:

!!!!Procedures
* should open array autocast be marked and imported: @@FROM SYSTEM IMPORT AUTOCAST@@
2010-05-24 10:53 by benjk -
Changed line 1 from:
As of April 22, 2010 the following issues are outstanding:
to:
As of May 24, 2010 the following issues are outstanding:
2010-05-24 10:52 by benjk -
Changed lines 10-11 from:
* can signatures for @@[.]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic ADTs
to:
* can signatures for @@[.]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic `ADTs
Changed lines 21-22 from:
* binding concatenation to @@+@@ for string ADTs
* binding dot product to @@+@@ for vector ADTs
to:
* binding concatenation to @@+@@ for string `ADTs
* binding dot product to @@+@@ for vector `ADTs
2010-05-24 10:51 by benjk -
Changed lines 4-6 from:
* syntax for constructing bitsets, tentatively: @@SET [n]@@
* introduction of builtin associative array, tentatively: yes
to:
* should there be native syntax for subrange types: @@[n .. m] OF INTEGER@@
Changed lines 7-8 from:
* revisit @@VAL@@ function macro
to:
* should the @@VAL@@ macro be removed
Changed lines 10-13 from:
* can matrices be handled using V-Type?
* where should semantic type specifiers go? @@RECORD@@
and @@OPAQUE@@ or module header?
* add [@fromCARD@], [@fromINT@], [@fromLONGCARD@], [@fromLONGINT@] to [@[::]@] bindings

to:
* can signatures for @@[.]@@, @@[!]@@ and @@[FOR]@@ bindings be shared between static and dynamic ADTs
Changed lines 17-20 from:
* finalise @@BCD@@ and @@LONGBCD@@
* finalise
@@COMPLEX@@ and @@LONGCOMPLEX@@
* revise [[Spec/ComplexMath]]
* finalise IO library, in particular [
@TextIO@]
to:
* review [[Spec/ComplexMath]]
* finalise IO library, in particular [
@TextIO@]

!!!!Keep-in-mind items
* binding concatenation to
@@+@@ for string ADTs
* binding dot product to
@@+@@ for vector ADTs
2010-04-21 18:04 by benjk -
Changed line 23 from:
* finalise IO library, in particular TextIO
to:
* finalise IO library, in particular [@TextIO@]
2010-04-21 18:03 by benjk -
Changed line 23 from:
* finalise IO library
to:
* finalise IO library, in particular TextIO
2010-04-21 18:02 by benjk -
Changed lines 4-6 from:
* syntax for constructing bitsets
* introduction of builtin associative array
to:
* syntax for constructing bitsets, tentatively: @@SET [n]@@
* introduction of builtin associative
array, tentatively: yes
Changed lines 11-13 from:
* can matrices be handled using V-Type
* introduction of bindings for collection types
* should collection types be the default, if not, how to mark a type as a collection
to:
* can matrices be handled using V-Type?
* where should semantic type specifiers go? @@RECORD@@ and @@OPAQUE@@ or module header?
2010-04-21 17:54 by benjk -
Changed line 18 from:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string? where?
to:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string? where should it live?
2010-04-21 17:54 by benjk -
Changed line 18 from:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string?
to:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string? where?
2010-04-21 17:53 by benjk -
Changed lines 1-2 from:
As of April 14, 2010 the following issues are outstanding:
to:
As of April 22, 2010 the following issues are outstanding:
Changed lines 8-9 from:
* introduction of @@COUNT@@ function for collections
to:
* revisit @@VAL@@ function macro
Changed lines 18-19 from:
* terminology for the intermediate format used to convert between scalars
* finalise procedures to convert to and from intermediate format for scalar values
to:
* do we need a constant for the meta-data (non-digit) overhead in an SXF string?
2010-04-15 12:10 by benjk -
Changed line 1 from:
As of April 13, 2010 the following issues are outstanding:
to:
As of April 14, 2010 the following issues are outstanding:
2010-04-15 12:06 by benjk -
Deleted line 10:
* introduction of V-Type
Deleted line 11:
* should the [{}] binding be removed
2010-04-13 05:12 by benjk -
Changed line 26 from:
* revise @@ComplexMath@@
to:
* revise [[Spec/ComplexMath]]
2010-04-13 05:12 by benjk -
Added line 26:
* revise @@ComplexMath@@
2010-04-13 05:01 by benjk -
Added line 13:
* should the [{}] binding be removed
2010-04-13 04:33 by benjk -
Changed lines 1-5 from:
As of April 12, 2010 the following issues are outstanding:

!!!!Grammar
* replacing @@IMMUTABLE@@ with @@CONST@@, using Oberon-2 semantics

to:
As of April 13, 2010 the following issues are outstanding:
Deleted line 11:
* should V-Type allow bindings to @@*@@ and @@/@@ or not
2010-04-13 03:06 by benjk -
Changed lines 28-29 from:
* finalise @@COMPLEX@@ and @@LONGCOMPLEX@@
to:
* finalise @@COMPLEX@@ and @@LONGCOMPLEX@@
* finalise IO library
2010-04-12 05:51 by benjk -
Added line 16:
* can matrices be handled using V-Type
2010-04-12 05:50 by benjk -
Changed lines 23-27 from:
* finalise procedures to convert to and from intermediate format for scalar values
to:
* finalise procedures to convert to and from intermediate format for scalar values

!!!!Library
* finalise @@BCD@@ and @@LONGBCD@@
* finalise @@COMPLEX@@ and @@LONGCOMPLEX@@
2010-04-12 05:48 by benjk -
Changed line 23 from:
*
to:
* finalise procedures to convert to and from intermediate format for scalar values
2010-04-12 05:47 by benjk -
Changed line 18 from:
* add [@fromCARD@], [@fromINT@], [@fromLONGCARD@], [@fromLONGINT@] conversion bindings
to:
* add [@fromCARD@], [@fromINT@], [@fromLONGCARD@], [@fromLONGINT@] to [@[::]@] bindings
2010-04-12 05:46 by benjk -
Changed lines 18-19 from:
to:
* add [@fromCARD@], [@fromINT@], [@fromLONGCARD@], [@fromLONGINT@] conversion bindings
Changed line 23 from:
*
to:
* 
2010-04-12 05:44 by benjk -
Added lines 3-5:
!!!!Grammar
* replacing @@IMMUTABLE@@ with @@CONST@@, using Oberon-2 semantics

Changed lines 17-22 from:
* should collection types be the default, if not, how to mark a type as a collection
to:
* should collection types be the default, if not, how to mark a type as a collection

!!!!Type Conversion
* introduction of a [@digitCapacity@] property for scalar types
* terminology for the intermediate format used to convert between scalars
*
2010-04-12 05:40 by benjk -
Changed lines 13-14 from:
* introduction of Collection type
* Collections are always opaque
to:
* introduction of bindings for collection types
* should collection types be the default, if not, how to mark a type as a collection
2010-04-12 05:38 by benjk -
Changed line 8 from:
* introduction of COUNT for enumerations and collections
to:
* introduction of @@COUNT@@ function for collections
2010-04-12 05:35 by benjk -
Added lines 3-6:
!!!!Types
* syntax for constructing bitsets
* introduction of builtin associative array

Changed lines 8-9 from:
* introduction of pervasive COUNT for enumerations and collections
to:
* introduction of COUNT for enumerations and collections
Changed lines 12-14 from:
* should V-Type allow bindings to @@*@@ and @@/@@ or not
to:
* should V-Type allow bindings to @@*@@ and @@/@@ or not
* introduction of Collection type
* Collections are always opaque
2010-04-12 05:31 by benjk -
Changed lines 7-8 from:
* introduction of V-Type, bindings for @@*@@ and @@/@@ or not
to:
* introduction of V-Type
* should V-Type allow bindings to @@*@@ and @@/@@ or not
2010-04-12 05:29 by benjk -
Added lines 1-7:
As of April 12, 2010 the following issues are outstanding:

!!!!Pervasives
* introduction of pervasive COUNT for enumerations and collections

!!!!Operator Bindings
* introduction of V-Type, bindings for @@*@@ and @@/@@ or not