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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rework test harness to prepare for new types of tests	Nadrieril	2019-08-30	3	-362/+457
\|
*	Cleanup conversion of `Value` to `Expr`	Nadrieril	2019-08-30	3	-102/+66
\|
*	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	7	-59/+54
\| \| \| \|	For clarity, and consistency with Value
*	clippy	Nadrieril	2019-08-27	3	-5/+5
\|
*	Tweak tests to avoid double compilation	Nadrieril	2019-08-26	3	-3/+7
\|
*	Check correctness of type info in a few more places	Nadrieril	2019-08-26	1	-17/+43
\|
*	Remove now unnecessary VoVF enum	Nadrieril	2019-08-25	3	-98/+53
\|
*	Rework apply_builtin to enforce preservation of type information	Nadrieril	2019-08-25	2	-200/+171
\|
*	Enforce type information almost everywhere	Nadrieril	2019-08-25	5	-63/+53
\|
*	Check consistency of type information	Nadrieril	2019-08-25	2	-27/+30
\|
*	Keep type information through normalization	Nadrieril	2019-08-25	3	-90/+170
\|
*	Clarify which syntax elements are completely handled in the tck phase	Nadrieril	2019-08-23	2	-25/+24
\|
*	Keep type information after RecursiveRecordTypeMerge	Nadrieril	2019-08-23	2	-89/+23
\|
*	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	2019-08-21	1	-9/+18
\|
*	Reduce API surface of dhall crate	Nadrieril	2019-08-20	3	-24/+10
\|
*	Move type construction fns from serde_dhall to dhall	Nadrieril	2019-08-20	1	-1/+34
\|
*	Use Ret in apply_builtin	Nadrieril	2019-08-20	2	-96/+101
\|
*	Propagate type information in Value::app()	Nadrieril	2019-08-20	3	-35/+33
\|
*	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	3	-68/+80
\|
*	No need for Cow in return type of get_type	Nadrieril	2019-08-20	4	-27/+24
\|
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	4	-74/+147
\|
*	Naming tweaks	Nadrieril	2019-08-20	4	-41/+33
\|
*	Add Value::from_builtin	Nadrieril	2019-08-20	3	-37/+24
\|
*	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	2	-21/+29
\|
*	Cleanup	Nadrieril	2019-08-20	5	-52/+65
\|
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	2	-53/+17
\|
*	Reuse work to avoid complicated recursion in record merging	Nadrieril	2019-08-20	3	-151/+25
\|
*	Tweak Ok/Err handling in typecheck	Nadrieril	2019-08-20	1	-157/+128
\|
*	Tweak Value API	Nadrieril	2019-08-19	1	-28/+19
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	7	-354/+232
\|
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	5	-108/+113
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	8	-334/+255
\| \| \| \| \|	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
*	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	2019-08-19	7	-192/+182
\|
*	Merge ValueInternal and TypedValueInternal	Nadrieril	2019-08-18	1	-111/+79
\|
*	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	2019-08-18	4	-78/+85
\|
*	s/Thunk/Value/	Nadrieril	2019-08-17	8	-925/+927
\|
*	Share type alongside the value in a thunk	Nadrieril	2019-08-16	2	-40/+110
\|
*	Use generic Shift/Subst impls	Nadrieril	2019-08-16	3	-192/+186
\|
*	Store type in Thunk	Nadrieril	2019-08-16	2	-58/+71
\|
*	Remove Const-optimization for now	Nadrieril	2019-08-16	1	-14/+5
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	7	-337/+343
\|
*	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	3	-32/+42
\|
*	fixup! No need for generic Context anymore	Nadrieril	2019-08-16	1	-1/+1
\|
*	Free variables don't exist anymore	Nadrieril	2019-08-16	1	-21/+13
\|
*	No need for generic Context anymore	Nadrieril	2019-08-16	1	-75/+38
\|
*	Remove dead code	Nadrieril	2019-08-16	7	-114/+27
\|
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	3	-17/+21
\|
*	Avoid capture when typechecking union constructor	Nadrieril	2019-08-16	1	-2/+1
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	10	-98/+86
\| \| \| \|	Helps detect unused code
*	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	1	-3/+3
\|