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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Run clippy	Nadrieril	2020-03-17	1	-2/+5
\|
*	Circumvent weird rustfmt inconsistency	Nadrieril	2020-03-17	1	-2/+5
\|
*	Upstream the `with` grammar tweak	Nadrieril	2020-03-12	1	-13/+0
\|
*	Upstream all local tests	Nadrieril	2020-03-10	1	-5/+3
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/933
*	Add support for `with` keyword	Nadrieril	2020-03-10	1	-1/+14
\|
*	Implement conservative sanity checking	Nadrieril	2020-03-05	1	-2/+0
\|
*	Cache imports correctly	Nadrieril	2020-03-05	1	-3/+0
\|
*	Implement remote imports and cleanup import chaining	Nadrieril	2020-03-05	1	-5/+2
\|
*	Implement remote `as Location` resolution	Nadrieril	2020-03-05	1	-5/+10
\|
*	Implement `as Text` imports	Nadrieril	2020-03-05	1	-11/+7
\|
*	Implement `missing` and `env:VAR` imports	Nadrieril	2020-03-05	1	-11/+2
\|
*	Add a lot of import tests	Nadrieril	2020-03-05	1	-1/+15
\|
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-0/+1
\|
*	Add a bunch of `as Location` unit tests	Nadrieril	2020-03-05	1	-0/+2
\|
*	Allow some slow tests to only be run in release mode	Nadrieril	2020-03-05	1	-25/+36
\|
*	Implement some normalization simplifications	Nadrieril	2020-03-05	1	-9/+2
\|
*	Enable ProjectionByType tests	Basile Henry	2020-03-02	1	-8/+1
\|
*	Update dhall-lang submodule	Nadrieril	2020-02-20	1	-0/+3
\|
*	Add support for dotted field syntax	Nadrieril	2020-02-20	1	-20/+0
\|
*	Add support for duplicate record fields	Nadrieril	2020-02-20	1	-0/+20
\|
*	Desugar Completion during resolution	Nadrieril	2020-02-15	1	-3/+0
\|
*	Track error output of parsing and binary decoding tests	Nadrieril	2020-02-09	1	-2/+2
\|
*	Remove distinction between failure and error tests	Nadrieril	2020-02-09	1	-28/+0
\|
*	Move ui outputs to a sensible place	Nadrieril	2020-02-09	1	-8/+8
\|
*	Massively deduplicate test harness	Nadrieril	2020-02-09	1	-19/+44
\|
*	Track output of import errors	Nadrieril	2020-02-09	1	-0/+16
\|
*	Implement some record simplifications	Nadrieril	2020-02-06	1	-11/+6
\|
*	Normalize toMap	Nadrieril	2020-02-05	1	-4/+0
\|
*	Typecheck record completion	Nadrieril	2020-02-05	1	-13/+0
\|
*	Typecheck projection by type	Nadrieril	2020-02-05	1	-10/+0
\|
*	Implement typechecking of toMap	Nadrieril	2020-02-04	1	-25/+0
\|
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-46/+56
\|
*	Move parser files to syntax/	Nadrieril	2020-01-30	1	-2/+2
\|
*	Fix more bugs	Nadrieril	2020-01-29	1	-0/+4
\|
*	Thread env through nztion to fix Foo/build closures	Nadrieril	2020-01-28	1	-7/+0
\|
*	Postpone fixing Foo/build builtins	Nadrieril	2020-01-24	1	-0/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-27	1	-13/+0
\|
*	Ensure normalization respects var names on the nose	Nadrieril	2019-12-24	1	-0/+1
\|
*	Note waiting for release of abnf	Nadrieril	2019-12-24	1	-1/+1
\|
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	1	-3/+13
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+8
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-1/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+13
\|
*	Update abnf dependency in the hopes of fixing a bug	Nadrieril	2019-12-22	1	-6/+4
\|
*	Implement parsing for record completion	Nadrieril	2019-12-22	1	-0/+16
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-6/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+3
\|
*	Put test builders in a vec	Nadrieril	2019-12-22	1	-79/+33
\|
*	Generate parser manually to make the crate publishable	Nadrieril	2019-12-21	1	-2/+26
\|
*	Move pest file generation to dhall/build.rs	Nadrieril	2019-12-17	1	-2/+96
\|