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

	Commit message (Expand)	Author	Files	Lines
2019-08-31	Implement parsing of `toMap` keyword	Nadrieril	3	-0/+13
2019-08-30	Rework test harness to prepare for new types of tests	Nadrieril	1	-2/+11
2019-08-30	Cleanup conversion of `Value` to `Expr`	Nadrieril	1	-9/+22
2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	4	-48/+43
2019-08-27	clippy	Nadrieril	2	-4/+3
2019-08-26	Tweak tests to avoid double compilation	Nadrieril	1	-2/+0
2019-08-25	Remove now unnecessary VoVF enum	Nadrieril	1	-22/+24
2019-08-25	Rework apply_builtin to enforce preservation of type information	Nadrieril	1	-183/+156
2019-08-25	Enforce type information almost everywhere	Nadrieril	2	-29/+17
2019-08-25	Check consistency of type information	Nadrieril	1	-2/+2
2019-08-25	Keep type information through normalization	Nadrieril	2	-79/+142
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-20	Reduce API surface of dhall crate	Nadrieril	1	-3/+3
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	1	-90/+101
2019-08-20	Propagate type information in Value::app()	Nadrieril	2	-27/+18
2019-08-20	Track evaluation status alongside ValueF in VoVF	Nadrieril	1	-32/+40
2019-08-20	No need for Cow in return type of get_type	Nadrieril	2	-23/+21
2019-08-20	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2	-68/+90
2019-08-20	Naming tweaks	Nadrieril	2	-32/+25
2019-08-20	Add Value::from_builtin	Nadrieril	1	-25/+19
2019-08-20	Clarify conversion of Const/Builtin to Value	Nadrieril	1	-16/+27
2019-08-20	Cleanup	Nadrieril	3	-36/+59
2019-08-20	Standardize records of mixed kinds	Nadrieril	1	-51/+17
2019-08-20	Reuse work to avoid complicated recursion in record merging	Nadrieril	2	-150/+25
2019-08-20	Tweak Ok/Err handling in typecheck	Nadrieril	1	-157/+128
2019-08-19	Merge TypedValue and Value	Nadrieril	3	-166/+117
2019-08-19	Reduce untyped construction of Values	Nadrieril	2	-43/+62
2019-08-19	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	3	-262/+187
2019-08-19	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	3	-158/+149
2019-08-18	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	1	-8/+21
2019-08-17	s/Thunk/Value/	Nadrieril	3	-150/+152
2019-08-16	s/Value/ValueF/	Nadrieril	3	-184/+188
2019-08-16	Try to minimize untyped TypedThunks	Nadrieril	2	-25/+36
2019-08-16	Remove dead code	Nadrieril	3	-34/+6
2019-08-16	Typecheck before normalizing in tests	Nadrieril	1	-4/+1
2019-08-16	Avoid capture when typechecking union constructor	Nadrieril	1	-2/+1
2019-08-16	Reduce api surface of dhall crate	Nadrieril	6	-46/+41
2019-08-16	Use `!` type instead of custom empty type	Nadrieril	1	-3/+3
2019-08-15	Disable some unused unstable features	Nadrieril	3	-4/+3
2019-08-15	Remove special closures from Value	Nadrieril	1	-42/+55
2019-08-13	Implement inline headers parsing	Nadrieril	2	-35/+23
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	2	-3/+1
2019-08-13	Stop tracking the absence of Embed values at the type level	Nadrieril	3	-19/+17
2019-08-13	No need to track the absence of `Span`s at the type level	Nadrieril	4	-39/+36
2019-08-13	s/TypeThunk/TypedThunk/g	Nadrieril	3	-41/+49
2019-08-13	Swap Typed and TypeThunk	Nadrieril	1	-70/+25