search

microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.
Other
137 stars 19 forks source link

Empty statement not supported #19

Open jaylorch opened 3 years ago

jaylorch commented 3 years ago

Armada rejects programs with an empty statement (a bare semicolon). This makes it awkward to write macros, if one is using a preprocessor to generate Armada files.