on eeeaad8 help sign in
all commits
6cc617bAdd line and column number for type errors and "non-exhaustive" errors.evancz 95364f3Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster.evancz