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

	Commit message (Expand)	Author	Files	Lines
2019-11-11	Add more detail to TypeMismatch error	Nadrieril	6	-3/+59
2019-11-11	rustfmt	Nadrieril	2	-3/+9
2019-11-11	Remove unused error texts	Nadrieril	34	-1765/+0
2019-11-11	typo	Nadrieril	1	-2/+2
2019-11-11	Parse projection by expression	Nadrieril	4	-22/+13
2019-11-11	Explain TypeError tests	Nadrieril	1	-0/+3
2019-11-11	Add a few more pretty errors	Nadrieril	11	-17/+45
2019-11-11	Propagate more spans	Nadrieril	2	-5/+9
2019-11-11	Move "Type error" error prefix	Nadrieril	4	-13/+17
2019-11-11	Update rust toolchain	Nadrieril	1	-1/+0
2019-11-11	Display first pretty type error	Nadrieril	6	-9/+47
2019-11-11	Store a `Span` in `Value`	Nadrieril	2	-8/+29
2019-11-11	Capture absence of span in Span itself	Nadrieril	3	-4/+15
2019-11-11	Implement basicest Display for TypeError	Nadrieril	88	-130/+105
2019-11-11	Test type error messages	Nadrieril	89	-8/+150
2019-11-11	Generate import tests automatically	Nadrieril	4	-64/+57
2019-11-11	Remove unused "typecheck" tests	Nadrieril	1	-21/+0
2019-11-11	Run `cargo fmt`	Nadrieril	3	-53/+65
2019-09-20	Update dhall-lang submodule	Nadrieril	1	-1/+7
2019-09-20	Update dhall-lang submodule	Nadrieril	1	-39/+13
2019-09-03	Add mapping functions to InterpolatedTextContents	Nadrieril	2	-26/+8
2019-09-03	Use map_mut in ValueF::normalize_mut	Nadrieril	2	-16/+2
2019-09-03	Resolve imports by mutating Expr instead of cloning it	Nadrieril	1	-19/+22
2019-09-03	Move Canonicalize into resolve.	Fintan Halpenny	2	-5/+75
2019-09-03	swp file accidentally checked in	Fintan Halpenny	1	-0/+0
2019-09-03	No need to change the type of Embed when resolving anymore	Nadrieril	1	-2/+2
2019-09-03	Upgrade rust toolchain	Nadrieril	3	-25/+18
2019-09-02	Remove the notion of Directory and have File be the vector of components	Fintan Halpenny	1	-13/+5
2019-08-31	Don't URL-decode path segments	Nadrieril	1	-0/+4
2019-08-31	Implement parsing of `toMap` keyword	Nadrieril	4	-9/+13
2019-08-30	Rework test harness to prepare for new types of tests	Nadrieril	3	-362/+457
2019-08-30	Cleanup conversion of `Value` to `Expr`	Nadrieril	3	-102/+66
2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	7	-59/+54
2019-08-27	clippy	Nadrieril	3	-5/+5
2019-08-26	Tweak tests to avoid double compilation	Nadrieril	3	-3/+7
2019-08-26	Check correctness of type info in a few more places	Nadrieril	1	-17/+43
2019-08-25	Remove now unnecessary VoVF enum	Nadrieril	3	-98/+53
2019-08-25	Rework apply_builtin to enforce preservation of type information	Nadrieril	2	-200/+171
2019-08-25	Enforce type information almost everywhere	Nadrieril	5	-63/+53
2019-08-25	Check consistency of type information	Nadrieril	2	-27/+30
2019-08-25	Keep type information through normalization	Nadrieril	3	-90/+170
2019-08-23	Clarify which syntax elements are completely handled in the tck phase	Nadrieril	2	-25/+24
2019-08-23	Keep type information after RecursiveRecordTypeMerge	Nadrieril	2	-89/+23
2019-08-21	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	1	-9/+18
2019-08-20	Reduce API surface of dhall crate	Nadrieril	3	-24/+10
2019-08-20	Move type construction fns from serde_dhall to dhall	Nadrieril	1	-1/+34
2019-08-20	Use Ret in apply_builtin	Nadrieril	2	-96/+101
2019-08-20	Propagate type information in Value::app()	Nadrieril	3	-35/+33
2019-08-20	Track evaluation status alongside ValueF in VoVF	Nadrieril	3	-68/+80
2019-08-20	No need for Cow in return type of get_type	Nadrieril	4	-27/+24