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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Reduce API surface of dhall crate	Nadrieril	2019-08-20	1	-3/+3
\|
*	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	1	-90/+101
\|
*	Propagate type information in Value::app()	Nadrieril	2019-08-20	2	-27/+18
\|
*	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	1	-32/+40
\|
*	No need for Cow in return type of get_type	Nadrieril	2019-08-20	2	-23/+21
\|
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	2	-68/+90
\|
*	Naming tweaks	Nadrieril	2019-08-20	2	-32/+25
\|
*	Add Value::from_builtin	Nadrieril	2019-08-20	1	-25/+19
\|
*	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	1	-16/+27
\|
*	Cleanup	Nadrieril	2019-08-20	3	-36/+59
\|
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	1	-51/+17
\|
*	Reuse work to avoid complicated recursion in record merging	Nadrieril	2019-08-20	2	-150/+25
\|
*	Tweak Ok/Err handling in typecheck	Nadrieril	2019-08-20	1	-157/+128
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	3	-166/+117
\|
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	2	-43/+62
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	3	-262/+187
\| \| \| \| \|	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	3	-158/+149
\|
*	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	2019-08-18	1	-8/+21
\|
*	s/Thunk/Value/	Nadrieril	2019-08-17	3	-150/+152
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	3	-184/+188
\|
*	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	2	-25/+36
\|
*	Remove dead code	Nadrieril	2019-08-16	3	-34/+6
\|
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	1	-4/+1
\|
*	Avoid capture when typechecking union constructor	Nadrieril	2019-08-16	1	-2/+1
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	6	-46/+41
\| \| \| \|	Helps detect unused code
*	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	1	-3/+3
\|
*	Disable some unused unstable features	Nadrieril	2019-08-15	3	-4/+3
\|
*	Remove special closures from Value	Nadrieril	2019-08-15	1	-42/+55
\| \| \| \|	Instead construct their values directly
*	Implement inline headers parsing	Nadrieril	2019-08-13	2	-35/+23
\|
*	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	2	-23/+34
\|
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	4	-13/+25
\|
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	2	-3/+1
\|
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	3	-19/+17
\|
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	4	-39/+36
\|
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	3	-41/+49
\|
*	Swap Typed and TypeThunk	Nadrieril	2019-08-13	1	-70/+25
\|
*	Remove ensure_... macros in typecheck	Nadrieril	2019-08-12	1	-115/+89
\| \| \| \|	They weren't worth it
*	Remove dhall::expr!() macro	Nadrieril	2019-08-10	2	-29/+81
\| \| \| \|	It's a lot of hassle for not a lot of benefit
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-0/+13
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+1
\|
*	Add support for dependent types	Nadrieril	2019-08-08	3	-23/+56
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+3
\|
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-6/+40
\|
*	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	1	-2/+2
\|
*	Add binary-decode tests	Nadrieril	2019-08-07	1	-0/+21
\|
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	2	-0/+11
\|
*	Remove union literals from the language	Nadrieril	2019-08-07	3	-25/+3
\|