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

	Commit message (Collapse)	Author	Age	Files	Lines
*	More errors	Nadrieril	2020-02-02	6	-9/+31
\|
*	More nice errors plus some refactor	Nadrieril	2020-02-02	8	-11/+38
\|
*	Implement once nice error using annotate_snippets	Nadrieril	2020-02-01	3	-3/+24
\|
*	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	23	-48/+106
\|
*	Make most type errors stringy	Nadrieril	2020-01-25	57	-110/+57
\|
*	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	76	-76/+76
\|
*	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	4	-0/+38
\|
*	Add a few more pretty errors	Nadrieril	2019-11-11	8	-8/+33
\|
*	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	84	-84/+84
\|
*	Test type error messages	Nadrieril	2019-11-11	84	-0/+84