dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Expand)	Author	Files	Lines
2020-02-09	Move ui outputs to a sensible place	Nadrieril	101	-577/+0
2020-02-06	Add forgotten test outputs	Nadrieril	6	-0/+40
2020-02-04	Implement typechecking of toMap	Nadrieril	9	-0/+55
2020-02-04	Add basic pretty type errors to all errors	Nadrieril	80	-80/+405
2020-02-02	Tweak errors	Nadrieril	6	-13/+14
2020-02-02	Fix spans for unions and records	Nadrieril	2	-4/+4
2020-02-02	More errors	Nadrieril	6	-9/+31
2020-02-02	More nice errors plus some refactor	Nadrieril	8	-11/+38
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	3	-3/+24
2020-01-30	Remove debug output in type errors	Nadrieril	3	-85/+3
2020-01-29	Cleanup variable handling	Nadrieril	1	-2/+0
2020-01-29	Use TyExpr in Typed	Nadrieril	23	-48/+106
2020-01-25	Make most type errors stringy	Nadrieril	57	-110/+57
2020-01-24	Update type-errors	Nadrieril	45	-47/+47
2019-12-27	Update dhall-lang submodule	Nadrieril	2	-2/+2
2019-12-24	Extend merge to work on Optionals	Nadrieril	4	-4/+4
2019-12-24	Add debug output to unhandled type error message	Nadrieril	76	-76/+76
2019-12-22	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-12-22	Update dhall-lang submodule	Nadrieril	2	-0/+2
2019-11-11	Add more detail to TypeMismatch error	Nadrieril	4	-0/+38
2019-11-11	Add a few more pretty errors	Nadrieril	8	-8/+33
2019-11-11	Move "Type error" error prefix	Nadrieril	3	-6/+6
2019-11-11	Display first pretty type error	Nadrieril	3	-3/+18
2019-11-11	Implement basicest Display for TypeError	Nadrieril	84	-84/+84
2019-11-11	Test type error messages	Nadrieril	84	-0/+84