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

	Commit message (Expand)	Author	Age	Files	Lines
*	Defer name errors to typechecking	Nadrieril	2020-12-07	4	-5/+13
*	Avoid storing an import before we checked its hash	Nadrieril	2020-12-07	2	-23/+28
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	4	-30/+49
*	Pass import results via the global context	Nadrieril	2020-12-07	4	-13/+19
*	Thread cx everywhere else imports are read	Nadrieril	2020-12-07	5	-36/+53
*	Tag cx ids with the cx lifetime	Nadrieril	2020-12-07	2	-4/+4
*	Thread cx through normalization	Nadrieril	2020-12-07	10	-238/+287
*	Thread cx through typecheck	Nadrieril	2020-12-07	4	-17/+33
*	Improve ergonomics of `Ctxt`	Nadrieril	2020-12-07	1	-10/+9
*	Make global store of imports and import results	Nadrieril	2020-12-07	2	-62/+88
*	An import location is not independent from the import mode	Nadrieril	2020-12-06	2	-117/+107
*	Prepare `ImportLocation` for more fields	Nadrieril	2020-12-06	2	-38/+82
*	Remove NirInternal	Nadrieril	2020-11-03	2	-50/+23
*	Typecheck `with` using mutation	Nadrieril	2020-11-03	2	-2/+5
*	Normalize `with` by mutation.	Nadrieril	2020-11-03	3	-5/+42
*	Try to keep ownership of `Nir`s when convenient	Nadrieril	2020-11-03	1	-1/+1
*	Implement type checking for With op	Basile Henry	2020-11-01	1	-30/+2
*	fix: clippy	Nadrieril	2020-11-01	2	-21/+18
*	feat: add location to import error messages	Nadrieril	2020-11-01	1	-2/+10
*	Ensure that the hash always gets checked	Nadrieril	2020-11-01	2	-19/+40
*	Typed and TypedHir are the same	Nadrieril	2020-11-01	3	-33/+26
*	Untangle caching code	Nadrieril	2020-11-01	4	-653/+130
*	Store file cache in ImportEnv	Nadrieril	2020-11-01	3	-19/+20
*	Untangle ImportEnv::handle_import	Nadrieril	2020-11-01	2	-29/+37
*	Make reqwest an optional dependency	Basile Henry	2020-10-10	1	-1/+5
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	1	-2/+30
*	spec: allow unions with mixed kinds	Nadrieril	2020-06-25	1	-15/+5
*	fix: panic on remote import on wasm	Nadrieril	2020-06-24	1	-4/+2
*	Refactor cache path resolution	Nadrieril	2020-05-30	1	-62/+21
*	Fix cache path resolution on wasm	Nadrieril	2020-05-30	1	-0/+7
*	Make reqwest build on wasm	Nadrieril	2020-05-30	2	-5/+15
*	test: Add remaining tests for cache	fteychene	2020-05-15	1	-0/+398
*	fixup! test: Add some unit tests for cache	fteychene	2020-05-15	1	-30/+55
*	fixup! test: Add some unit tests for cache	fteychene	2020-05-15	1	-56/+32
*	fixup! fixup! Release serde_dhall version 0.5.2	fteychene	2020-05-15	1	-31/+55
*	test: Add some unit tests for cache	fteychene	2020-05-15	1	-12/+121
*	fixup! Release serde_dhall version 0.5.2	fteychene	2020-05-15	2	-54/+67
*	feat: Add cache resolution on resolve	fteychene	2020-05-15	3	-28/+182
*	Clippy	Nadrieril	2020-04-07	1	-3/+3
*	Move duplicate field checking to parser	Nadrieril	2020-04-07	2	-41/+24
*	Move BinOp and Builtin definitions in the relevant module	Nadrieril	2020-04-06	4	-12/+11
*	Move builtins module up a level	Nadrieril	2020-04-06	4	-501/+5
*	Extract operation-related code to a new module	Nadrieril	2020-04-06	5	-809/+18
*	Only need to store OpKind in Nir	Nadrieril	2020-04-06	2	-82/+77
*	Fix normalization bug	Nadrieril	2020-04-06	1	-49/+49
*	oops	Nadrieril	2020-04-06	1	-1/+1
*	Avoid a few allocations	Nadrieril	2020-04-06	2	-16/+20
*	Factor our operations in normalization	Nadrieril	2020-04-06	2	-300/+257
*	Factor out operations in typecheck	Nadrieril	2020-04-06	1	-415/+436
*	Split off operations from main expr enum	Nadrieril	2020-04-06	5	-141/+171