Closed eldesh closed 10 months ago
Extend the parser to accept effect annotations.
Here is an example of what it will be able to accept.
foo (f: Unit -> a can GiveInt) : a = ... foo () : Unit can Throw FileError, Throw ParseError, Throw BarError = ... foo () can Throw FileError, Throw ParseError, Throw BarError = ...
No semantic analysis is done, just parsing.
169
Extend the parser to accept effect annotations.
Here is an example of what it will be able to accept.
No semantic analysis is done, just parsing.