evincarofautumn/kitten — pull request #100 by strager (2013-10-26 04:13:14+00:00)
Title: [RFC] Track origins of types for better error reporting

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

TODO

* Deduplicate type hints of nested types ('[Char (input to
baq)] (input to baq)').

* Type hints for builtins (especially 'if', etc. and '@').

* type-error-3 is slightly confusing ('x's type is 'Char'???).

* Unit tests?