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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	1	-0/+4
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	3	-194/+94
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-9/+13
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	3	-31/+37
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	2	-27/+68
\|
*	Rename the record combining operators internally	Nadrieril	2019-05-08	3	-11/+11
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-1/+12
\|
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	1	-1/+1
\|
*	Reorganize dhall_syntax	Nadrieril	2019-05-07	8	-8/+12
\|
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	2	-108/+16
\|
*	We actually don't need SubExpr::shift anymore	Nadrieril	2019-05-04	1	-81/+0
\|
*	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	2019-05-04	4	-218/+187
\| \| \| \|	This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
*	Revert "Recover arrow type detection"	Nadrieril	2019-05-04	2	-47/+19
\| \| \| \|	This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2.
*	Recover arrow type detection	Nadrieril	2019-05-04	2	-19/+47
\|
*	Make SubExpr generic in the variable labels type	Nadrieril	2019-05-04	4	-187/+218
\|
*	Thread Spans through the AST	Nadrieril	2019-05-04	3	-127/+139
\|
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	4	-235/+80
\|
*	Remove dummy lifetimes	Nadrieril	2019-05-04	1	-58/+55
\|
*	Replace pest::Span with a custom non-borrowing implementation	Nadrieril	2019-05-04	1	-25/+50
\|
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	9	-0/+3034