crisp-errors 1.7.1

Fallibility analysis and CrispError enum synthesis (spec §9)
Documentation
1
2
3
4
5
6
type IoError = { message: str }
type ParseError = { line: int }

limited() -> str ! IoError = throw ParseError { line: 1 }

pub main() = print(limited())