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

	Commit message (Expand)	Author	Files	Lines
2020-12-07	Defer name errors to typechecking	Nadrieril	2	-5/+7
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	3	-28/+47
2020-12-07	Pass import results via the global context	Nadrieril	2	-11/+11
2020-12-07	Thread cx everywhere else imports are read	Nadrieril	4	-34/+51
2020-12-07	Tag cx ids with the cx lifetime	Nadrieril	2	-4/+4
2020-12-07	Thread cx through normalization	Nadrieril	4	-42/+69
2020-12-07	Thread cx through typecheck	Nadrieril	2	-6/+9
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	1	-102/+100
2020-12-06	Prepare `ImportLocation` for more fields	Nadrieril	1	-32/+69
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	3	-648/+128
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-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	1	-3/+13
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	Move duplicate field checking to parser	Nadrieril	1	-2/+2
2020-04-06	Move BinOp and Builtin definitions in the relevant module	Nadrieril	1	-3/+4
2020-04-06	Extract operation-related code to a new module	Nadrieril	1	-1/+2
2020-04-06	Split off operations from main expr enum	Nadrieril	1	-10/+11
2020-04-05	Fix import bug	Nadrieril	1	-9/+11
2020-04-05	Check code hashes in import	Nadrieril	2	-9/+38
2020-04-05	Fix clippy warnings	Nadrieril	1	-7/+4
2020-03-31	Reorganize API and internals of serde_dhall a bit	Nadrieril	1	-1/+1
2020-03-31	Introduce option builder	Nadrieril	1	-2/+8
2020-03-31	Brutally make all of dhall pub	Nadrieril	4	-16/+16
2020-03-31	Nir::normalize isn't useful	Nadrieril	1	-6/+0
2020-03-31	Remove top-level Expr aliases	Nadrieril	2	-11/+7
2020-03-17	Run clippy	Nadrieril	3	-15/+15
2020-03-05	Implement conservative sanity checking	Nadrieril	2	-56/+76
2020-03-05	Cache imports correctly	Nadrieril	2	-19/+19
2020-03-05	Implement remote imports and cleanup import chaining	Nadrieril	1	-76/+126
2020-03-05	Implement remote `as Location` resolution	Nadrieril	1	-1/+12