As of June 12, 2010 the following issues are outstanding:
Bindings
- should
SXF and VAL primitives be pervasives or in module COMPILER ?
Types
- should type constructor
SET OF only be followed by namedType ?
Library
- finalise semantics for
Exceptions
- complete the
Pathnames module
- TO DO: pseudo module
COROUTINES
Review and Confirm
- confirm that single line comment prefix is
//
- review and confirm convertibility rules for
SYSTEM types
Documentation
- detailed description for initialisation order (wiki)
Keep-in-mind items
- binding concatenation to
+ for string ADTs would be nice to have
- binding dot product to
+ for vector ADTs would be nice to have
- define constant for the meta-data (non-digit) overhead in an SXF string, probably in
COMPILER