Features

Warning: This list is outdated and incomplete

Feature status

Supported:

• Integer types
  • User-defined ranges
  • Range checks
  • Overflow checks
• Float Type
  • Currently only literally the Float type, support for additional float types will be added when needed
• Basic record types
• If-then-else
• While loops
• Unbounded loops
• Functions and procedures (in-parameters only, no default initialisers)
• Recursive functions
• Division checks
• Parameter and local variable namespacing
• Pointers
• Out- and inout-parameters

Upcoming (in rough order of intended implementation):

• Arrays
• Discriminated records
• Variant records
• Tagged records
• Dynamic dispatch