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

	Commit message (Expand)	Author	Files	Lines
2019-04-04	Get keyword rule from upstream	Nadrieril	1	-1/+1
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-03-31	Remove some redundant namespacing	Nadrieril	3	-47/+48
2019-03-27	Manually rustfmt like a nazi	Nadrieril	2	-4/+22
2019-03-26	Derive DhallType for anonymous structs and enums	Nadrieril	1	-0/+24
2019-03-26	Derive DhallType for structs	Nadrieril	3	-10/+106
2019-03-26	Update dhall-lang submodule	Nadrieril	1	-5/+5
2019-03-24	Lay groundwork for DhallType deriving	Nadrieril	2	-1/+15
2019-03-24	Correctly namespace interpolations in dhall_expr!()	Nadrieril	2	-3/+0
2019-03-24	Improve decoder errors on unknown inputs	Nadrieril	1	-6/+2
2019-03-24	Parse multiline strings correctly	Nadrieril	3	-23/+25
2019-03-24	Generate parser tests list automatically	Nadrieril	3	-67/+45
2019-03-24	Parser import hash and headers	Nadrieril	3	-7/+32
2019-03-24	Disallow builtins as bound variables	Nadrieril	1	-1/+1
2019-03-23	Handle merge and record projection	Nadrieril	2	-11/+42
2019-03-23	Update dhall-lang submodule	Nadrieril	1	-2/+3
2019-03-23	Handle double overflows in parser	Nadrieril	1	-2/+2
2019-03-23	Parse unicode escapes in string	Nadrieril	1	-1/+1
2019-03-22	Handle quoted labels	Nadrieril	1	-1/+1
2019-03-22	oops	Nadrieril	1	-7/+7
2019-03-22	Parse a lot more of the import types	Nadrieril	3	-17/+91
2019-03-22	Improve binary decoding errors	Nadrieril	1	-14/+25
2019-03-21	Improve import handling in parser	Nadrieril	5	-6/+44
2019-03-21	rustfmt	Nadrieril	1	-11/+3
2019-03-21	Follow the spec for handling Doubles	Nadrieril	2	-2/+2
2019-03-21	Represent Optional literals more faithfully	Nadrieril	3	-39/+20
2019-03-21	Rename Record/Union to RecordType/UnionType	Nadrieril	2	-7/+7
2019-03-21	Reorganize dhall_core a bit	Nadrieril	4	-7/+7
2019-03-20	Make parser implementation non-recursive	Nadrieril	1	-16/+1
2019-03-20	Cleanup parser code	Nadrieril	1	-1/+1
2019-03-20	Obsolete old parser macros; performance is now dead	Nadrieril	1	-1/+1
2019-03-20	Handle simple parsing cases with new macros	Nadrieril	1	-1/+1
2019-03-19	rustfmt	Nadrieril	2	-15/+21
2019-03-19	Test printer in parser tests	Nadrieril	1	-0/+5
2019-03-19	Add travis integration	Nadrieril	2	-11/+18
2019-03-18	Implement a few more primitives	Nadrieril	3	-38/+65
2019-03-18	Split List literal between empty and non-empty	Nadrieril	4	-32/+41
2019-03-18	tweaks	Nadrieril	1	-4/+14
2019-03-18	Split off builtin application normalization for clarity	Nadrieril	1	-168/+149
2019-03-18	Improve normalization ergonomics	Nadrieril	1	-145/+150
2019-03-18	Improve ergonomics of typechecking	Nadrieril	1	-354/+248
2019-03-18	Considerably simplify subst, shift and typechecking	Nadrieril	4	-241/+88
2019-03-17	Clean up some mess relating to Clone bounds	Nadrieril	2	-13/+13
2019-03-17	Use Rc consistently everywhere	Nadrieril	5	-436/+554
2019-03-16	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	3	-7/+10
2019-03-16	Use Box more uniformly in AST	Nadrieril	3	-102/+107
2019-03-16	Store an Option in OptionalLit instead of a vec	Nadrieril	3	-31/+24
2019-03-15	rustfmt	Nadrieril	1	-26/+24
2019-03-15	Get rid of box patterns	Nadrieril	2	-14/+13
2019-03-15	Store a vec in App	Nadrieril	3	-161/+147