m2sf / m2bsk Goto Github PK

I've been using gnu modula-2 over vacation and enjoying it very much. I'm intrigued by some of the newer generic and object extensions mentioned on Rick Sutcliffe's excellent Modula-2: Abstractions for Data and Programming Structures but can't find a compiler that supports the full range of that document's content and am searching for a compiler that is up to the task.

Nowhere to be found in the repository.

• complete formal parameters section
• add section for scoping rules
• rename section type semantics to allocation, describe allocation for all types
• add section on convertibility of types
• add section on structured value constructors
• move pragma semantics to a pragma section somewhere towards the end

loose ends:

• explain rules for duplicate imports
• unqualified name for types whose identifiers equal that of their module
• dot notation procedure invocation for variables of module types
• state that indeterminate records can only be targets of pointer types
• array subscript notation can be used on instances of type address

m2c-0.7 is the only Modula 2 compiler I can get to work (after some tweaking) here on Linux.

Please do add instructions. It isn't even apparent which is the program (not used module) file!