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

	Commit message (Expand)	Author	Files	Lines
2020-03-12	Upstream the `with` grammar tweak	Nadrieril	2	-2/+2
2020-03-11	Implement record puns	Nadrieril	2	-1/+7
2020-03-10	Upstream all local tests	Nadrieril	147	-196/+0
2020-03-10	Add support for `with` keyword	Nadrieril	4	-2/+10
2020-03-05	Forgot to commit test output	Nadrieril	1	-0/+1
2020-03-05	Cache imports correctly	Nadrieril	1	-1/+1
2020-03-05	Implement remote imports and cleanup import chaining	Nadrieril	2	-0/+4
2020-03-05	Implement remote `as Location` resolution	Nadrieril	21	-5/+29
2020-03-05	Implement `as Text` imports	Nadrieril	4	-1/+4
2020-03-05	Implement `missing` and `env:VAR` imports	Nadrieril	2	-0/+2
2020-03-05	Add a lot of import tests	Nadrieril	51	-0/+80
2020-03-05	Run tests from repo root as specified in spec	Nadrieril	10	-10/+10
2020-03-05	Implement `as Location` imports	Nadrieril	1	-1/+1
2020-03-05	Run tests from dhall dir	Nadrieril	10	-10/+10
2020-03-05	Add a bunch of `as Location` unit tests	Nadrieril	34	-0/+48
2020-03-05	Update dhall-lang submodule	Nadrieril	3	-3/+15
2020-03-05	Add a bunch of tests	Nadrieril	49	-0/+70
2020-02-21	Oops	Nadrieril	1	-0/+6
2020-02-20	Add support for dotted field syntax	Nadrieril	2	-2/+2
2020-02-20	Disallow Natural literals with leading zeros	Nadrieril	1	-0/+6
2020-02-20	Add support for duplicate record fields	Nadrieril	6	-10/+7
2020-02-16	Avoid recomputing universes in tck	Nadrieril	4	-4/+24
2020-02-16	Start requiring Universe to build a Type	Nadrieril	2	-4/+4
2020-02-13	Rework annotation and Sort handling	Nadrieril	14	-18/+38
2020-02-13	Simplify conversions to/from TyExpr	Nadrieril	4	-0/+20
2020-02-09	Resolve variables alongside import resolution	Nadrieril	2	-2/+8
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