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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Display first pretty type error	Nadrieril	2019-11-11	6	-9/+47
*	Store a `Span` in `Value`	Nadrieril	2019-11-11	2	-8/+29
*	Capture absence of span in Span itself	Nadrieril	2019-11-11	3	-4/+15
*	Implement basicest Display for TypeError	Nadrieril	2019-11-11	88	-130/+105
*	Test type error messages	Nadrieril	2019-11-11	89	-8/+150
*	Update rust toolchain	Nadrieril	2019-11-11	1	-1/+0
*	Generate import tests automatically	Nadrieril	2019-11-11	4	-64/+57
*	Remove unused "typecheck" tests	Nadrieril	2019-11-11	1	-21/+0
*	Run `cargo fmt`	Nadrieril	2019-11-11	3	-53/+65
*	Merge branch 'master' into fintan/canonicalize	Nadrieril Feneanar	2019-10-12	1	-40/+20
\|\
\| *	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-1/+7
\| *	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-39/+13
* \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	Fintan Halpenny	2019-09-06	5	-62/+33
\|\\|
\| *	Add mapping functions to InterpolatedTextContents	Nadrieril	2019-09-03	2	-26/+8
\| *	Use map_mut in ValueF::normalize_mut	Nadrieril	2019-09-03	2	-16/+2
\| *	Resolve imports by mutating Expr instead of cloning it	Nadrieril	2019-09-03	1	-19/+22
\| *	No need to change the type of Embed when resolving anymore	Nadrieril	2019-09-03	1	-2/+2
* \|	Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...	Fintan Halpenny	2019-09-06	4	-26/+18
\|\ \
\| * \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	Nadrieril	2019-09-03	4	-26/+18
\| \|\\|
\| \| *	Upgrade rust toolchain	Nadrieril	2019-09-03	3	-25/+18
* \| \|	Move Canonicalize into resolve.	Fintan Halpenny	2019-09-03	2	-5/+75
* \| \|	swp file accidentally checked in	Fintan Halpenny	2019-09-03	1	-0/+0
\|/ /
* \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	Fintan Halpenny	2019-09-02	22	-3183/+2327
\|\\|
\| *	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-0/+4
\| *	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	4	-9/+13
\| *	Rework test harness to prepare for new types of tests	Nadrieril	2019-08-30	3	-362/+457
\| *	Cleanup conversion of `Value` to `Expr`	Nadrieril	2019-08-30	3	-102/+66
\| *	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	7	-59/+54
\| *	clippy	Nadrieril	2019-08-27	3	-5/+5
\| *	Tweak tests to avoid double compilation	Nadrieril	2019-08-26	3	-3/+7
\| *	Check correctness of type info in a few more places	Nadrieril	2019-08-26	1	-17/+43
\| *	Remove now unnecessary VoVF enum	Nadrieril	2019-08-25	3	-98/+53
\| *	Rework apply_builtin to enforce preservation of type information	Nadrieril	2019-08-25	2	-200/+171
\| *	Enforce type information almost everywhere	Nadrieril	2019-08-25	5	-63/+53
\| *	Check consistency of type information	Nadrieril	2019-08-25	2	-27/+30
\| *	Keep type information through normalization	Nadrieril	2019-08-25	3	-90/+170
\| *	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
\| *	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	2019-08-21	1	-9/+18
\| *	Reduce API surface of dhall crate	Nadrieril	2019-08-20	3	-24/+10
\| *	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	2	-96/+101
\| *	Propagate type information in Value::app()	Nadrieril	2019-08-20	3	-35/+33
\| *	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	3	-68/+80
\| *	No need for Cow in return type of get_type	Nadrieril	2019-08-20	4	-27/+24
\| *	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	4	-74/+147
\| *	Naming tweaks	Nadrieril	2019-08-20	4	-41/+33
\| *	Add Value::from_builtin	Nadrieril	2019-08-20	3	-37/+24
\| *	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	2	-21/+29
\| *	Cleanup	Nadrieril	2019-08-20	5	-52/+65