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

	Commit message (Collapse)	Author	Age	Files	Lines
*	No need for extra stack in tests anymore	Nadrieril	2019-05-03	1	-12/+6
\|
*	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	2019-05-02	1	-6/+3
\|
*	Store a Thunk in Typed	Nadrieril	2019-04-30	1	-2/+1
\|
*	Avoid duplicating work when matching on Pi types	Nadrieril	2019-04-23	1	-3/+6
\|
*	Embrace TypeInternal as a semantic value	Nadrieril	2019-04-21	1	-1/+1
\|
*	Improve test failure ergonomics	Nadrieril	2019-04-20	1	-10/+5
\|
*	Improve test error ergonomics	Nadrieril	2019-04-16	1	-2/+8
\|
*	Remove higher-kinded type noise in Type	Nadrieril	2019-04-16	1	-1/+1
\|
*	Handle empty optionals correctly	Nadrieril	2019-04-15	1	-1/+1
\| \| \| \|	Closes #78
*	Namespace deserialization functions in a `de` submodule	Nadrieril	2019-04-14	1	-1/+1
\| \| \| \|	Closes #73
*	clippy	Nadrieril	2019-04-14	1	-3/+1
\|
*	Add import tests	Nadrieril	2019-04-14	1	-0/+12
\| \| \| \|	Closes #71
*	Improve error display on test failure	Nadrieril	2019-04-13	1	-10/+20
\|
*	Restrict public API to its most minimal expression	Nadrieril	2019-04-12	1	-1/+1
\|
*	Add lifetime parameters to Parsed and Resolved	Nadrieril	2019-04-11	1	-1/+2
\| \| \| \|	Future-proofing
*	Abstract get_type() into a trait	Nadrieril	2019-04-11	1	-2/+3
\|
*	Handle untyped case differently from the type of Sort	Nadrieril	2019-04-11	1	-1/+1
\| \| \| \|	Closes #59
*	Simplify test harness	Nadrieril	2019-04-10	1	-114/+92
\|
*	Allow providing type for typechecking in API	Nadrieril	2019-04-10	1	-12/+11
\|
*	Mild cleanup imports	Nadrieril	2019-04-10	1	-4/+4
\|
*	Cleanup error handling	Nadrieril	2019-04-10	1	-12/+9
\| \| \| \|	Closes #41
*	s/load_from/parse/	Nadrieril	2019-04-10	1	-15/+15
\|
*	Limit public API	Nadrieril	2019-04-08	1	-2/+4
\| \| \| \|	Closes #53
*	Move spec tests into the relevant files	Nadrieril	2019-04-08	1	-0/+176