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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Merge pull request #107 from Nadrieril/rework-parser	Nadrieril Feneanar	2019-08-27	6	-224/+288
\|\
\| *	s/token_rule/rule/	Nadrieril	2019-08-27	1	-20/+20
\| *	Rework parse macros to avoid the large ParsedValue enum	Nadrieril	2019-08-27	4	-149/+140
\| *	Remove rule aliasing	Nadrieril	2019-08-27	3	-108/+95
\| *	Wording	Nadrieril	2019-08-26	1	-13/+13
\| *	Remove rule_group macro	Nadrieril	2019-08-26	1	-22/+4
\| *	Match on rules in parser instead of on ParsedValues	Nadrieril	2019-08-26	3	-26/+130
\|/
*	Merge pull request #106 from Nadrieril/dont-compile-twice	Nadrieril Feneanar	2019-08-26	3	-3/+7
\|\
\| *	Tweak tests to avoid double compilation	Nadrieril	2019-08-26	3	-3/+7
\|/
*	Merge pull request #105 from Nadrieril/keep-type-info	Nadrieril Feneanar	2019-08-26	9	-481/+521
\|\
\| *	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	3	-200/+173
\| *	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	4	-90/+173
\| *	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	3	-90/+26
\| *	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	2	-27/+40
\| *	Use Ret in apply_builtin	Nadrieril	2019-08-20	2	-96/+101
\| *	Propagate type information in Value::app()	Nadrieril	2019-08-20	4	-35/+34
\| *	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	5	-76/+153
\| *	Naming tweaks	Nadrieril	2019-08-20	5	-45/+35
\| *	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
*	Merge pull request #104 from Nadrieril/rework-value	Nadrieril Feneanar	2019-08-20	16	-1963/+1501
\|\
\| *	Cleanup	Nadrieril	2019-08-20	5	-52/+65
\| *	Standardize records of mixed kinds	Nadrieril	2019-08-20	3	-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	8	-372/+245
\| *	Reduce untyped construction of Values	Nadrieril	2019-08-19	6	-115/+115
\| *	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	9	-339/+260
\| *	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	5	-78/+86
\| *	s/Thunk/Value/	Nadrieril	2019-08-17	9	-933/+936
\| *	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	8	-339/+345
\| *	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	4	-41/+57
\| *	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