crisp-errors 1.8.1

Fallibility analysis and CrispError enum synthesis (spec §9)
Documentation 
1
2
3
4
5
6
7
8
9
10

type IoError = { message: str }

read_file(path) -> str ! IoError = throw IoError { message: "x" }

bad() -> () !never = {
    x := read_file("path")
    print(x)
}

pub main() = bad()