Track origins of types for better error reporting

evincarofautumn / kitten

A statically typed concatenative systems programming language.

http://kittenlang.org/

Other

1.09k stars 39 forks source link

Track origins of types for better error reporting #100

Closed strager closed 10 years ago

strager commented 10 years ago

'Origin' now replaces 'Location' in the constructors of'Type a'.

Known issues:

Builtin type variables don't have hints. (Builtins do have hints, though.)
type-error-3 is slightly confusing ('x's type is reported as 'Char').
Hints in the 'ToText' instance of 'Type a' are verbose.

evincarofautumn commented 10 years ago

Overall I like this quite a lot. It should improve usability considerably. Make what final improvements you see fit, and feel free to land this in master on your own.

strager commented 10 years ago

Did you review the second commit?

evincarofautumn commented 10 years ago

Yes, LGTM.