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

	Commit message (Expand)	Author	Files	Lines
2019-04-28	Use PartiallyNormalized throughout typechecking	Nadrieril	3	-93/+95
2019-04-27	Move Pi to WHNF	Nadrieril	2	-36/+51
2019-04-27	Builtins	Nadrieril	2	-30/+11
2019-04-27	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	1	-23/+23
2019-04-27	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2	-32/+68
2019-04-27	Rework TypeInternal	Nadrieril	1	-83/+72
2019-04-27	Store thunks uniformly in WHNF	Nadrieril	1	-59/+42
2019-04-27	Abstract out thunks in type position	Nadrieril	1	-22/+64
2019-04-27	Rename Now to Thunk	Nadrieril	1	-45/+44
2019-04-27	Define new intermediate expression type	Nadrieril	2	-19/+43
2019-04-27	Using only shift0 was not such a great idea	Nadrieril	1	-23/+19
2019-04-26	Lists and Optionals	Nadrieril	1	-42/+94
2019-04-26	ensure_is_const is not that helpful	Nadrieril	1	-59/+35
2019-04-26	Union types	Nadrieril	1	-66/+117
2019-04-25	Respect import boundary in normalization	Nadrieril	1	-1/+3
2019-04-25	Fix shifting again	Nadrieril	1	-13/+9
2019-04-25	Now I can use TypeInternal::RecordType fully	Nadrieril	1	-11/+10
2019-04-25	Revert "Try property testing against reference implementation"	Nadrieril	2	-134/+0
2019-04-25	Try property testing against reference implementation	Nadrieril	2	-0/+134
2019-04-25	Correctly shift values before inserting into context	Nadrieril	1	-4/+7
2019-04-25	normalize_to_type can use the captured context	Nadrieril	1	-14/+14
2019-04-23	RecordTypes	Nadrieril	1	-62/+108
2019-04-23	Fix shifting under Pi	Nadrieril	1	-13/+29
2019-04-23	Silence warnings	Nadrieril	2	-0/+5
2019-04-23	Avoid duplicating TypeInternal in TypedImproved	Nadrieril	1	-44/+40
2019-04-23	Avoid constructing ExprF::Pi while typechecking	Nadrieril	1	-57/+93
2019-04-23	Avoid duplicating work when matching on Pi types	Nadrieril	5	-40/+118
2019-04-23	Pass TypedImproved directly to type_last_layer	Nadrieril	1	-40/+55
2019-04-22	Temporarily simplify functions depending on TypeInternal	Nadrieril	3	-41/+35
2019-04-22	Pass through new TypedImproved type	Nadrieril	1	-25/+92
2019-04-22	Store context in Typed	Nadrieril	3	-33/+39
2019-04-22	Avoid shift_subst in typecheck	Nadrieril	2	-32/+40
2019-04-21	Prepare for interop between two contexts	Nadrieril	3	-25/+91
2019-04-21	Factor out context handling	Nadrieril	2	-19/+34
2019-04-21	Embrace TypeInternal as a semantic value	Nadrieril	4	-9/+25
2019-04-20	Move TypeInternal to typecheck	Nadrieril	2	-23/+31
2019-04-20	Cleanup	Nadrieril	1	-3/+0
2019-04-20	Improve test failure ergonomics	Nadrieril	2	-10/+6
2019-04-20	An empty optional value is purely semantic	Nadrieril	3	-16/+7
2019-04-20	Implement more normalization simplifications	Nadrieril	1	-9/+16
2019-04-20	shift by mutable ref to avoid reallocations	Nadrieril	1	-80/+71
2019-04-20	Tweaks	Nadrieril	1	-5/+6
2019-04-20	AppliedBuiltin does not need a context	Nadrieril	1	-25/+23
2019-04-20	Avoid a lot of unnecessary cloning in apply_builtin	Nadrieril	2	-126/+184
2019-04-20	Cleanup	Nadrieril	1	-166/+144
2019-04-20	Swap import	Nadrieril	1	-62/+54
2019-04-20	Remove last remnant of expr building	Nadrieril	1	-12/+29
2019-04-20	Introduce special closures to avoid constructing exprs	Nadrieril	1	-34/+67
2019-04-20	Avoid a lot of slow Expr costruction	Nadrieril	1	-73/+52
2019-04-20	Formatting	Nadrieril	1	-153/+152