Skip to content

Features

Jump to bottom
Hannes Steffenhagen edited this page Nov 13, 2018 · 3 revisions

Feature status

Supported:

  • Integer types
    • User-defined ranges
    • Range checks
    • Overflow checks
  • 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
Clone this wiki locally