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

	Commit message (Expand)	Author	Files	Lines
2019-12-20	Reorganize printer	Nadrieril	1	-135/+132
2019-12-20	Use a named struct instead of a tuple in Expr	Nadrieril	1	-10/+19
2019-12-20	Remove an unused impl	Nadrieril	1	-7/+1
2019-12-20	Reorganize ast::expr	Nadrieril	1	-75/+76
2019-12-20	s/ExprF/ExprKind/	Nadrieril	11	-148/+156
2019-12-20	Move error module to root of crate	Nadrieril	12	-10/+10
2019-12-19	Move out conversion from value back to ast to its own file	Nadrieril	5	-91/+125
2019-12-19	Rename ValueF to ValueKind	Nadrieril	9	-513/+523
2019-12-19	Rename syntax::core to syntax::ast	Nadrieril	11	-14/+13
2019-12-19	Remove unused syntax::context module	Nadrieril	3	-82/+0
2019-12-17	Typo	Nadrieril	1	-1/+1
2019-12-17	Split binary decoding and encoding into separate files	Nadrieril	4	-319/+328
2019-12-17	Split syntax module between text and binary	Nadrieril	6	-4/+7
2019-12-17	Specialize parsing	Nadrieril	2	-87/+66
2019-12-17	Move binary encoding/decoding to syntax/	Nadrieril	4	-2/+3
2019-12-17	Move pest file generation to dhall/build.rs	Nadrieril	6	-3/+283
2019-12-15	Move contents of dhall_syntax to dhall	Nadrieril	14	-7/+3118
2019-12-15	Refer to semantics module properly	Nadrieril	12	-46/+44
2019-12-15	Avoid mention of `crate::` outside of top-level imports	Nadrieril	11	-74/+63
2019-12-15	fixup! Reexport dhall_syntax as a module in dhall	Nadrieril	2	-3/+5
2019-12-15	Move contents of dhall under a semantics submodule	Nadrieril	14	-3/+5
2019-12-15	Reexport dhall_syntax as a module in dhall	Nadrieril	12	-41/+45
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