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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Avoid constructing ExprF::Pi while typechecking	Nadrieril	2019-04-23	1	-57/+93
\|
*	Avoid duplicating work when matching on Pi types	Nadrieril	2019-04-23	5	-40/+118
\|
*	Pass TypedImproved directly to type_last_layer	Nadrieril	2019-04-23	1	-40/+55
\|
*	Temporarily simplify functions depending on TypeInternal	Nadrieril	2019-04-22	3	-41/+35
\|
*	Pass through new TypedImproved type	Nadrieril	2019-04-22	1	-25/+92
\|
*	Store context in Typed	Nadrieril	2019-04-22	3	-33/+39
\|
*	Remove now obsolete subst_shift	Nadrieril	2019-04-22	1	-42/+1
\|
*	Avoid shift_subst in typecheck	Nadrieril	2019-04-22	2	-32/+40
\|
*	Prepare for interop between two contexts	Nadrieril	2019-04-21	4	-38/+112
\|
*	Factor out context handling	Nadrieril	2019-04-21	2	-19/+34
\|
*	Embrace TypeInternal as a semantic value	Nadrieril	2019-04-21	4	-9/+25
\|
*	Move TypeInternal to typecheck	Nadrieril	2019-04-20	2	-23/+31
\|
*	Cleanup	Nadrieril	2019-04-20	1	-3/+0
\|
*	Improve test failure ergonomics	Nadrieril	2019-04-20	3	-10/+37
\|
*	Update readme completion counters	Nadrieril	2019-04-20	1	-3/+3
\|
*	Merge branch 'whnf'	Nadrieril	2019-04-20	18	-492/+973
\|\ \| \| \| \| \| \| \| \| \| \| \| \|	Massive normalization rewrite, for greatly improved flexibility and performance. Closes #84
\| *	An empty optional value is purely semantic	Nadrieril	2019-04-20	8	-35/+15
\| \|
\| *	Implement more normalization simplifications	Nadrieril	2019-04-20	2	-36/+40
\| \|
\| *	shift by mutable ref to avoid reallocations	Nadrieril	2019-04-20	1	-80/+71
\| \|
\| *	Tweaks	Nadrieril	2019-04-20	1	-5/+6
\| \|
\| *	AppliedBuiltin does not need a context	Nadrieril	2019-04-20	1	-25/+23
\| \|
\| *	Avoid a lot of unnecessary cloning in apply_builtin	Nadrieril	2019-04-20	2	-126/+184
\| \|
\| *	improved_slice_patterns now returns ownership on error	Nadrieril	2019-04-20	6	-13/+35
\| \|
\| *	Cleanup	Nadrieril	2019-04-20	1	-166/+144
\| \|
\| *	Swap import	Nadrieril	2019-04-20	1	-62/+54
\| \|
\| *	Remove last remnant of expr building	Nadrieril	2019-04-20	1	-12/+29
\| \|
\| *	Introduce special closures to avoid constructing exprs	Nadrieril	2019-04-20	1	-34/+67
\| \|
\| *	Avoid a lot of slow Expr costruction	Nadrieril	2019-04-20	1	-73/+52
\| \|
\| *	Formatting	Nadrieril	2019-04-20	1	-153/+152
\| \|
\| *	Remove WHNF/Closure distinction	Nadrieril	2019-04-20	1	-132/+113
\| \|
\| *	Refcount contexts to avoid clones	Nadrieril	2019-04-20	1	-40/+40
\| \|
\| *	Rewrite apply_builtin to work on WHNFs	Nadrieril	2019-04-20	1	-152/+160
\| \|
\| *	More cleanup	Nadrieril	2019-04-20	1	-125/+51
\| \|
\| *	Cleanup leftover normalization code	Nadrieril	2019-04-20	1	-58/+10
\| \|
\| *	Text interpolation	Nadrieril	2019-04-20	2	-19/+35
\| \|
\| *	Text literals	Nadrieril	2019-04-20	2	-3/+66
\| \|
\| *	Improve WHNF ergonomics	Nadrieril	2019-04-20	1	-104/+135
\| \| \| \| \| \| \| \|	This will be needed for the apply_builtin rewrite anyways
\| *	Simplify apply_builtin	Nadrieril	2019-04-20	1	-111/+69
\| \|
\| *	Optionals and unions	Nadrieril	2019-04-20	1	-24/+96
\| \|
\| *	Natural literals and simplifications	Nadrieril	2019-04-19	1	-14/+32
\| \|
\| *	Implement boolean simplifications	Nadrieril	2019-04-19	1	-24/+31
\| \|
\| *	Boolean literals	Nadrieril	2019-04-19	1	-10/+34
\| \|
\| *	List literals	Nadrieril	2019-04-19	1	-7/+47
\| \|
\| *	Embrace WHNF	Nadrieril	2019-04-19	1	-79/+77
\| \|
\| *	Handle RecordLits fully semantically	Nadrieril	2019-04-19	1	-16/+28
\| \|
\| *	Split function in two phases	Nadrieril	2019-04-19	1	-12/+24
\| \|
\| *	Values carry their evaluation context	Nadrieril	2019-04-19	1	-28/+20
\| \|
\| *	A union constructor is a purely semantic value	Nadrieril	2019-04-19	4	-47/+123
\| \|
\| *	Store Values in the context	Nadrieril	2019-04-19	1	-10/+36
\| \|
\| *	Introduce closures	Nadrieril	2019-04-19	1	-62/+120
\| \|