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

	Commit message (Expand)	Author	Files	Lines
2019-11-11	rustfmt	Nadrieril	1	-1/+3
2019-11-11	Parse projection by expression	Nadrieril	2	-0/+7
2019-11-11	Ensure spans are compatible in Span::union	Nadrieril	1	-5/+7
2019-11-11	Add a few more pretty errors	Nadrieril	1	-1/+1
2019-11-11	Clarify Span::union and add Span::merge	Nadrieril	1	-2/+14
2019-11-11	Propagate more spans	Nadrieril	1	-3/+0
2019-11-11	Display first pretty type error	Nadrieril	1	-0/+14
2019-11-11	Store a `Span` in `Value`	Nadrieril	1	-0/+3
2019-11-11	Capture absence of span in Span itself	Nadrieril	2	-16/+15
2019-11-11	Fix typo	Nadrieril	1	-1/+1
2019-11-11	Move Span definition to its own file	Nadrieril	3	-35/+46
2019-11-11	Remove unused function	Nadrieril	1	-4/+0
2019-09-09	Make ParseInput independent from dhall-specific types	Nadrieril	1	-6/+2
2019-09-06	Store Spans at every node when parsing	Nadrieril	1	-4/+14
2019-09-03	Add mapping functions to InterpolatedTextContents	Nadrieril	1	-0/+46
2019-09-03	Resolve imports by mutating Expr instead of cloning it	Nadrieril	5	-225/+399
2019-09-03	Move Canonicalize into resolve.	Fintan Halpenny	1	-72/+3
2019-09-03	No need for as_ref call	Fintan Halpenny	1	-1/+1
2019-09-03	No need to change the type of Embed when resolving anymore	Nadrieril	2	-14/+22
2019-09-02	Parse polymorphically in the Embed parameter	Nadrieril	1	-7/+2
2019-09-02	Remove the notion of Directory and have File be the vector of components	Fintan Halpenny	1	-36/+13
2019-08-31	Implement parsing of `toMap` keyword	Nadrieril	2	-0/+5
2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2	-37/+36
2019-08-27	clippy	Nadrieril	2	-2/+2
2019-08-16	Use `!` type instead of custom empty type	Nadrieril	2	-13/+3
2019-08-13	Implement inline headers parsing	Nadrieril	3	-20/+63
2019-08-13	Implement Hash for ParsedSubExpr	Nadrieril	2	-6/+24
2019-08-13	The syntax has very little sharing; no need for Rc anymore	Nadrieril	1	-11/+5
2019-08-13	Store Imports in their own node instead of in Embed	Nadrieril	2	-8/+18
2019-08-13	Cleanup visitor code	Nadrieril	1	-139/+54
2019-08-13	Considerably simplify Embed handling	Nadrieril	2	-127/+43
2019-08-13	Stop tracking the absence of Embed values at the type level	Nadrieril	3	-29/+4
2019-08-13	No need to track the absence of `Span`s at the type level	Nadrieril	2	-97/+74
2019-08-12	Refactor of File to be the combination of Directory and the file name,	FintanH	1	-2/+120
2019-08-08	Add support for dependent types	Nadrieril	2	-1/+6
2019-08-07	Add truncated Natural subtraction	Nadrieril	1	-0/+1
2019-08-07	Remove union literals from the language	Nadrieril	2	-5/+0
2019-08-07	Sort labels in projection expressions	Nadrieril	2	-2/+97
2019-08-06	Generalize empty list annotations	Nadrieril	1	-1/+1
2019-08-06	RFC3986 URLs	Nadrieril	1	-0/+1
2019-08-06	Add some new tests and implement import alternatives	Nadrieril	2	-0/+64
2019-08-06	Remove old-style optional literals	Nadrieril	2	-8/+0
2019-08-06	Inline headers	Nadrieril	1	-0/+1
2019-08-03	Update dhall-lang submodule	Nadrieril	1	-3/+2
2019-05-12	Tweak	Nadrieril	1	-12/+12
2019-05-12	clippy	Nadrieril	2	-3/+2
2019-05-12	Implement binary encoding	Nadrieril	3	-32/+82
2019-05-10	oops	Nadrieril	1	-0/+1
2019-05-10	Write a custom map type that allows duplicates	Nadrieril	4	-16/+201
2019-05-09	Small utility SubExpr::from_builtin	Nadrieril	1	-0/+4