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