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

	Commit message (Expand)	Author	Files	Lines
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
2020-04-05	Check code hashes in import	Nadrieril	2	-9/+38
2020-04-05	Fix clippy warnings	Nadrieril	2	-9/+6
2020-03-31	Reorganize API and internals of serde_dhall a bit	Nadrieril	1	-1/+1
2020-03-31	Introduce option builder	Nadrieril	2	-5/+11
2020-03-31	Move Value, SimpleValue and SimpleType to serde	Nadrieril	1	-4/+1
2020-03-31	Brutally make all of dhall pub	Nadrieril	16	-76/+76
2020-03-31	Nir::normalize isn't useful	Nadrieril	3	-89/+0
2020-03-31	Improve handling of builtin types in Nir	Nadrieril	4	-61/+55
2020-03-31	Move conversion to SimpleVal/Ty to simple module	Nadrieril	1	-81/+0
2020-03-31	Remove top-level Expr aliases	Nadrieril	5	-22/+16
2020-03-31	Rename LitKind to NumKind	Nadrieril	4	-72/+72
2020-03-31	Add new Value type in API	Nadrieril	1	-2/+2
2020-03-31	Add SimpleType to mirror SimpleValue	Nadrieril	1	-1/+47
2020-03-31	Add SimpleValue type to facilitate deserialization	Nadrieril	1	-0/+34
2020-03-17	Remove never_type feature	Nadrieril	2	-16/+15
2020-03-17	Run clippy	Nadrieril	9	-53/+54
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	2	-81/+139
2020-03-05	Implement remote `as Location` resolution	Nadrieril	1	-1/+12
2020-03-05	Implement `as Text` imports	Nadrieril	2	-4/+22
2020-03-05	Refactor resolve a bit	Nadrieril	1	-80/+76
2020-03-05	Implement `missing` and `env:VAR` imports	Nadrieril	1	-8/+16
2020-03-05	Implement `as Location` imports	Nadrieril	2	-30/+102
2020-03-05	Implement some normalization simplifications	Nadrieril	1	-76/+80
2020-03-02	Normalization for ProjectionByExpr	Basile Henry	1	-3/+34
2020-02-19	Expose fewer pub things	Nadrieril	1	-2/+5
2020-02-19	Avoid re-typechecking after import	Nadrieril	5	-14/+23
2020-02-18	Discard import headers while we don't use them	Nadrieril	2	-11/+8
2020-02-18	Remove useless `normalize` option from ToExprOptions	Nadrieril	2	-11/+2
2020-02-18	Borrow relevant Hir from Tir	Nadrieril	3	-33/+32
2020-02-17	Remove spans from Nir	Nadrieril	1	-15/+7
2020-02-17	Rename Value to Nir	Nadrieril	10	-381/+359
2020-02-17	Rename TyExpr to Tir	Nadrieril	4	-27/+27
2020-02-17	Factor out desugaring from resolve	Nadrieril	1	-22/+31
2020-02-17	Extract resolve-relevant envs together	Nadrieril	4	-112/+118
2020-02-17	Move hir and resolve into a module	Nadrieril	5	-2/+6