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

	Commit message (Expand)	Author	Files	Lines
2019-08-23	Clarify which syntax elements are completely handled in the tck phase	Nadrieril	2	-25/+24
2019-08-23	Keep type information after RecursiveRecordTypeMerge	Nadrieril	2	-89/+23
2019-08-21	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	1	-9/+18
2019-08-20	Reduce API surface of dhall crate	Nadrieril	3	-24/+10
2019-08-20	Move type construction fns from serde_dhall to dhall	Nadrieril	1	-1/+34
2019-08-20	Use Ret in apply_builtin	Nadrieril	2	-96/+101
2019-08-20	Propagate type information in Value::app()	Nadrieril	3	-35/+33
2019-08-20	Track evaluation status alongside ValueF in VoVF	Nadrieril	3	-68/+80
2019-08-20	No need for Cow in return type of get_type	Nadrieril	4	-27/+24
2019-08-20	Introduce a new enum to store either a Value or a ValueF	Nadrieril	4	-74/+147
2019-08-20	Naming tweaks	Nadrieril	4	-41/+33
2019-08-20	Add Value::from_builtin	Nadrieril	3	-37/+24
2019-08-20	Clarify conversion of Const/Builtin to Value	Nadrieril	2	-21/+29
2019-08-20	Cleanup	Nadrieril	5	-52/+65
2019-08-20	Standardize records of mixed kinds	Nadrieril	2	-53/+17
2019-08-20	Reuse work to avoid complicated recursion in record merging	Nadrieril	3	-151/+25
2019-08-20	Tweak Ok/Err handling in typecheck	Nadrieril	1	-157/+128
2019-08-19	Tweak Value API	Nadrieril	1	-28/+19
2019-08-19	Merge TypedValue and Value	Nadrieril	7	-354/+232
2019-08-19	Reduce untyped construction of Values	Nadrieril	5	-108/+113
2019-08-19	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	8	-334/+255
2019-08-19	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	7	-192/+182
2019-08-18	Merge ValueInternal and TypedValueInternal	Nadrieril	1	-111/+79
2019-08-18	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	3	-78/+84
2019-08-17	s/Thunk/Value/	Nadrieril	8	-925/+927
2019-08-16	Share type alongside the value in a thunk	Nadrieril	2	-40/+110
2019-08-16	Use generic Shift/Subst impls	Nadrieril	3	-192/+186
2019-08-16	Store type in Thunk	Nadrieril	2	-58/+71
2019-08-16	Remove Const-optimization for now	Nadrieril	1	-14/+5
2019-08-16	s/Value/ValueF/	Nadrieril	7	-337/+343
2019-08-16	Try to minimize untyped TypedThunks	Nadrieril	3	-32/+42
2019-08-16	fixup! No need for generic Context anymore	Nadrieril	1	-1/+1
2019-08-16	Free variables don't exist anymore	Nadrieril	1	-21/+13
2019-08-16	No need for generic Context anymore	Nadrieril	1	-75/+38
2019-08-16	Remove dead code	Nadrieril	7	-114/+27
2019-08-16	Typecheck before normalizing in tests	Nadrieril	2	-16/+17
2019-08-16	Avoid capture when typechecking union constructor	Nadrieril	1	-2/+1
2019-08-16	Reduce api surface of dhall crate	Nadrieril	10	-98/+86
2019-08-16	Use `!` type instead of custom empty type	Nadrieril	1	-3/+3
2019-08-15	rustfmt	Nadrieril	1	-2/+1
2019-08-15	Disable some unused unstable features	Nadrieril	5	-11/+4
2019-08-15	Fix variable substitution	Nadrieril	1	-4/+2
2019-08-15	Custom Debug impls to improve debug legibility	Nadrieril	2	-3/+37
2019-08-15	Remove special closures from Value	Nadrieril	3	-136/+62
2019-08-15	Fix bug in shifting contexts	Nadrieril	1	-1/+10
2019-08-14	Fix typo in normalization	Nadrieril	1	-1/+1
2019-08-13	Implement inline headers parsing	Nadrieril	3	-39/+27
2019-08-13	Implement Hash for ParsedSubExpr	Nadrieril	2	-23/+34
2019-08-13	Store Imports in their own node instead of in Embed	Nadrieril	4	-13/+25
2019-08-13	Considerably simplify Embed handling	Nadrieril	4	-10/+4