-
pascal authored
The parser now accepts 'assert(e)' where 'e' is an arbitrary expression. The type checker verifies that 'e' evaluates to bool.
7878d091
The parser now accepts 'assert(e)' where 'e' is an arbitrary expression. The type checker verifies that 'e' evaluates to bool.