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

	Commit message (Expand)	Author	Age	Files	Lines
*	Move ui outputs to a sensible place	Nadrieril	2020-02-09	105	-600/+0
*	Add forgotten test outputs	Nadrieril	2020-02-06	6	-0/+40
*	Implement typechecking of toMap	Nadrieril	2020-02-04	9	-0/+55
*	Add basic pretty type errors to all errors	Nadrieril	2020-02-04	82	-82/+412
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-0/+1
*	Tweak errors	Nadrieril	2020-02-02	7	-15/+17
*	Fix spans for unions and records	Nadrieril	2020-02-02	2	-4/+4
*	More errors	Nadrieril	2020-02-02	7	-11/+33
*	More nice errors plus some refactor	Nadrieril	2020-02-02	9	-13/+40
*	Implement once nice error using annotate_snippets	Nadrieril	2020-02-01	4	-4/+38
*	Remove debug output in type errors	Nadrieril	2020-01-30	3	-85/+3
*	Cleanup variable handling	Nadrieril	2020-01-29	1	-2/+0
*	Use TyExpr in Typed	Nadrieril	2020-01-29	25	-50/+108
*	Make most type errors stringy	Nadrieril	2020-01-25	58	-118/+58
*	Update type-errors	Nadrieril	2020-01-24	45	-47/+47
*	Update dhall-lang submodule	Nadrieril	2019-12-27	2	-2/+2
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	4	-4/+4
*	Add debug output to unhandled type error message	Nadrieril	2019-12-24	78	-78/+78
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+1
*	Update dhall-lang submodule	Nadrieril	2019-12-22	2	-0/+2
*	Add more detail to TypeMismatch error	Nadrieril	2019-11-11	5	-0/+45
*	Add a few more pretty errors	Nadrieril	2019-11-11	9	-9/+34
*	Move "Type error" error prefix	Nadrieril	2019-11-11	3	-6/+6
*	Display first pretty type error	Nadrieril	2019-11-11	3	-3/+18
*	Implement basicest Display for TypeError	Nadrieril	2019-11-11	87	-87/+87
*	Test type error messages	Nadrieril	2019-11-11	87	-0/+87