search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 62 forks source link

[asl] Fixes to lexing and parsing #944

Closed Roman-Manevich closed 2 months ago

Roman-Manevich commented 2 months ago
  1. Removed "EOR" from the lexer.
  2. Removed single use of "EOR" in stdlib.asl.
  3. Added the list of reserved keywords to Lexer.mll.
  4. Removed alt_delim to allow only => and adjusted some tests accordingly.
  5. Made "begin" mandatory for subprogram decalrations.
  6. Removed "type signal of integer" from implementations.asl - signal is a reserved identifier.