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

	Commit message (Expand)	Author	Files	Lines
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	Parse a lot more of the import types	Nadrieril	1	-7/+7
2019-03-21	Improve import handling in parser	Nadrieril	2	-5/+10
2019-03-21	Follow the spec for handling Doubles	Nadrieril	1	-1/+1
2019-03-21	Reorganize dhall_core a bit	Nadrieril	1	-1/+1
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	1	-1/+1
2019-03-19	Test printer in parser tests	Nadrieril	1	-0/+5
2019-03-19	Add travis integration	Nadrieril	1	-11/+15
2019-03-18	Implement a few more primitives	Nadrieril	1	-21/+21
2019-03-18	Split List literal between empty and non-empty	Nadrieril	1	-3/+3
2019-03-18	Considerably simplify subst, shift and typechecking	Nadrieril	1	-4/+1
2019-03-17	Use Rc consistently everywhere	Nadrieril	1	-9/+9
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	2	-8/+10
2019-03-14	Implement binary decoding	Nadrieril	2	-11/+21
2019-03-12	Handle Some and None builtins	Nadrieril	1	-32/+32
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	1	-12/+10
2019-03-11	Update dhall-lang and reactivate prelude tests	Nadrieril	1	-127/+127
2019-03-09	Add typecheck tests	Nadrieril	2	-0/+178
2019-03-09	Remove the pervasive Label type parameter	Nadrieril	1	-3/+1
2019-03-09	Use new Label type everywhere	Nadrieril	1	-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	1	-51/+52
2019-03-09	First import works !	Nadrieril	1	-23/+8
2019-03-08	Rename Expr back to its true name	Nadrieril	1	-1/+1
2019-03-08	Finally get rid of all the &'i str	Nadrieril	1	-2/+3
2019-03-08	rustfmt	Nadrieril	1	-4/+8
2019-03-08	Slowly propagate the new type parameter throughout the codebase	Nadrieril	1	-3/+3
2019-03-07	Make test harness less macro-y	Nadrieril	1	-59/+80
2019-03-06	Finally get rid of old parser	Nadrieril	1	-7/+2
2019-03-06	Start parsing imports	Nadrieril	1	-1/+1
2019-03-06	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	1	-1/+0
2019-03-06	Simplify normalization using dhall! macro	Nadrieril	1	-1/+1
2019-03-06	Split-off normalization into its own crate	Nadrieril	1	-0/+1
2019-03-06	Split-off core into its own crate	Nadrieril	1	-0/+1
2019-03-06	rustfmt	Nadrieril	1	-20/+35
2019-03-06	Implement normalization for some more builtins	Nadrieril	2	-10/+40
2019-03-05	Update test list	Nadrieril	2	-22/+22
2019-03-05	Allow branching in match_children! macro	Nadrieril	1	-0/+1