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

	Commit message (Expand)	Author	Files	Lines
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
2019-03-15	Split different tests features into their own files	Nadrieril	4	-238/+241
2019-03-15	Rework test harness	Nadrieril	2	-591/+594
2019-03-15	Update spec submodule and add new tests	Nadrieril	1	-1/+172
2019-03-14	Handle and parse interpolated strings	Nadrieril	5	-13/+30
2019-03-14	Implement binary decoding	Nadrieril	5	-11/+237
2019-03-12	rustfmt	Nadrieril	1	-2/+10
2019-03-12	Handle Some and None builtins	Nadrieril	2	-33/+42
2019-03-12	Greatly reduce parser stack usage	Nadrieril	1	-1/+1
2019-03-11	Fix stack overflows in prelude tests	Nadrieril	1	-4/+4
2019-03-11	Fix List/fold implementation	Nadrieril	2	-16/+14
2019-03-11	Update dhall-lang and reactivate prelude tests	Nadrieril	1	-127/+127
2019-03-11	Normalize lazily	Nadrieril	1	-166/+212
2019-03-09	Considerably simplify typecheck using dhall_expr!()	Nadrieril	1	-96/+50
2019-03-09	Add typecheck tests	Nadrieril	2	-0/+178
2019-03-09	Obey clippy lints	Nadrieril	5	-6/+10
2019-03-09	Remove the pervasive Label type parameter	Nadrieril	5	-93/+65
2019-03-09	Use new Label type everywhere	Nadrieril	5	-88/+64
2019-03-09	Use new Label type instead of &str in parser	Nadrieril	2	-3/+3
2019-03-09	Disable Prelude tests for now	Nadrieril	1	-127/+134
2019-03-09	A whole new bunch of tests now pass !	Nadrieril	3	-52/+54
2019-03-09	Rename dhall! to dhall_expr! for clarity	Nadrieril	1	-5/+5
2019-03-09	Recursive imports work !	Nadrieril	1	-2/+2
2019-03-09	rustfmt	Nadrieril	1	-16/+34