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

	Commit message (Expand)	Author	Files	Lines
2019-08-27	s/token_rule/rule/	Nadrieril	1	-20/+20
2019-08-27	Rework parse macros to avoid the large ParsedValue enum	Nadrieril	2	-147/+139
2019-08-27	Remove rule aliasing	Nadrieril	1	-107/+93
2019-08-26	Wording	Nadrieril	1	-13/+13
2019-08-26	Remove rule_group macro	Nadrieril	1	-22/+4
2019-08-26	Match on rules in parser instead of on ParsedValues	Nadrieril	2	-25/+129
2019-08-16	Use `!` type instead of custom empty type	Nadrieril	4	-15/+6
2019-08-15	Include precedence parsing in parser macros	Nadrieril	2	-133/+188
2019-08-15	No need for manual stack handling in parser anymore	Nadrieril	1	-142/+96
2019-08-15	Use precedence climbing to parse expressions with operators	Nadrieril	1	-119/+108
2019-08-13	Implement inline headers parsing	Nadrieril	5	-44/+80
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	4	-20/+36
2019-08-13	Cleanup visitor code	Nadrieril	1	-139/+54
2019-08-13	Considerably simplify Embed handling	Nadrieril	3	-128/+44
2019-08-13	Stop tracking the absence of Embed values at the type level	Nadrieril	4	-35/+4
2019-08-13	No need to track the absence of `Span`s at the type level	Nadrieril	4	-138/+84
2019-08-08	Add support for dependent types	Nadrieril	4	-1/+22
2019-08-07	Add truncated Natural subtraction	Nadrieril	3	-0/+3
2019-08-07	Remove union literals from the language	Nadrieril	4	-63/+3
2019-08-07	Forbid surrogate pairs and non-characters	Nadrieril	1	-2/+21
2019-08-07	Sort labels in projection expressions	Nadrieril	3	-5/+100
2019-08-06	Generalize empty list annotations	Nadrieril	2	-5/+7
2019-08-06	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2	-3/+3
2019-08-06	Add toMap keyword	Nadrieril	1	-0/+1
2019-08-06	RFC3986 URLs	Nadrieril	3	-0/+9
2019-08-06	Braced escape sequences	Nadrieril	1	-4/+24
2019-08-06	Add some new tests and implement import alternatives	Nadrieril	2	-0/+64
2019-08-06	Remove old-style optional literals	Nadrieril	4	-31/+3
2019-08-06	Inline headers	Nadrieril	1	-0/+1
2019-08-03	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-08-03	Update dhall-lang submodule	Nadrieril	4	-9/+19
2019-05-12	Tweak	Nadrieril	1	-12/+12
2019-05-12	clippy	Nadrieril	3	-5/+4
2019-05-12	Implement binary encoding	Nadrieril	5	-50/+106
2019-05-10	oops	Nadrieril	1	-0/+1
2019-05-10	Write a custom map type that allows duplicates	Nadrieril	6	-39/+217
2019-05-09	Small utility SubExpr::from_builtin	Nadrieril	1	-0/+4
2019-05-09	ExprF need not be generic in Label	Nadrieril	3	-194/+94
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	1	-9/+13
2019-05-09	Detect duplicate record fields in typecheck	Nadrieril	3	-31/+37
2019-05-09	Update dhall-lang submodule	Nadrieril	2	-27/+68
2019-05-08	Rename the record combining operators internally	Nadrieril	3	-11/+11
2019-05-08	Implement normalization of missing builtins	Nadrieril	1	-1/+12
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	1	-1/+1
2019-05-07	Reorganize dhall_syntax	Nadrieril	8	-8/+12
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	2	-108/+16
2019-05-04	We actually don't need SubExpr::shift anymore	Nadrieril	1	-81/+0
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	4	-218/+187