From Modula-2 Reloaded

WiP: Ideas

Lexis

• Hashbang
• SpecialSymbolsTable

Types

• System Types
• Associative Array Types

Predefined Identifiers

• Pervasive Macro WRITEF

Operators

• Dot Product Operator
• Exponentiation Operator

Operator Bindings

• Verification of Operator Bindings
• Verification of Operator Bindings: Static and Dynamic Types

Exceptions

• Local Exception Handling
• Exception Handling using Dispatch Table

Termination

• Termination Handling Library

Generics

• Template Based Generics

IO Formatting

• Universal WriteF
• Output Format for type OCTET
• Output Format for type BOOLEAN
• Output Formats for BITSET types
• Output Formats for SYSTEM types
• Output Formats for character based types?
• Output Formats for Numeric Types representing Cardinal Numbers
• Output Formats for Numeric Types representing Integer Numbers
• Output Formats for Numeric Types representing Real Numbers
• Output Formats for Numeric Types representing Complex Numbers
• Formatting Examples using Format Strings

IO Library

• One IO Module per Pervasive Type
• PervasiveIO as an Import Aggregator
• Format string constructor and parser