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

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