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

	Commit message (Expand)	Author	Files	Lines
2020-02-09	Remove most TyExpr from normalization	Nadrieril	9	-18/+18
2020-02-09	Track error output of parsing and binary decoding tests	Nadrieril	61	-0/+316
2020-02-09	Move ui outputs to a sensible place	Nadrieril	107	-0/+0
2020-02-09	Track output of import errors	Nadrieril	2	-0/+2
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	82	-82/+412
2020-02-02	Add local test files on top of dhall-lang tests	Nadrieril	2	-0/+2
2020-02-02	Tweak errors	Nadrieril	7	-15/+17
2020-02-02	Fix spans for unions and records	Nadrieril	2	-4/+4
2020-02-02	More errors	Nadrieril	7	-11/+33
2020-02-02	More nice errors plus some refactor	Nadrieril	9	-13/+40
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	4	-4/+38
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	25	-50/+108
2020-01-25	Make most type errors stringy	Nadrieril	58	-118/+58
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	78	-78/+78
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	5	-0/+45
2019-11-11	Add a few more pretty errors	Nadrieril	9	-9/+34
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	87	-87/+87
2019-11-11	Test type error messages	Nadrieril	87	-0/+87
2019-08-13	Move api into its own crate	Nadrieril	1	-68/+0
2019-08-10	Remove dhall::expr!() macro	Nadrieril	1	-19/+11
2019-05-09	Rewrite the StaticType trait and everything around it	Nadrieril	1	-35/+32
2019-05-07	Fix derive	Nadrieril	1	-1/+1
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	1	-2/+2
2019-05-04	Make SubExpr generic in the variable labels type	Nadrieril	1	-2/+2
2019-05-04	Remove dummy lifetimes	Nadrieril	1	-1/+1
2019-05-04	rustfmt	Nadrieril	1	-1/+1
2019-05-04	Rename dhall_generator to dhall_proc_macros	Nadrieril	1	-8/+8
2019-05-04	Rename dhall_core to dhall_syntax	Nadrieril	1	-1/+1
2019-04-18	Remove obsolete dhall_expr!() macro	Nadrieril	1	-8/+16
2019-04-14	Namespace deserialization functions in a `de` submodule	Nadrieril	1	-3/+3
2019-04-11	Thread lifetimes through other newtypes	Nadrieril	1	-1/+1
2019-04-10	Add SimpleType and SimpeStaticType. Derive the latter	Nadrieril	1	-18/+36
2019-04-08	Move spec tests into the relevant files	Nadrieril	4	-824/+0
2019-04-07	Restrict public API	Nadrieril	1	-16/+47
2019-04-07	Avoid constructing exprs manually when possible	Nadrieril	4	-1/+4
2019-04-07	Augment stack size for typecheck tests	Nadrieril	2	-8/+18
2019-04-07	Put a Cow in Type	Nadrieril	1	-3/+3
2019-04-06	Add Sort type universe	Nadrieril	1	-6/+6
2019-04-06	Move binary decoding to new API	Nadrieril	1	-14/+11