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

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