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

	Commit message (Expand)	Author	Files	Lines
2019-04-06	Factor out the recursion when possible in typecheck	Nadrieril	1	-2/+2
2019-04-06	Add type-inference tests	Nadrieril	2	-0/+149
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-03-31	Move recursion out of Expr	Nadrieril	1	-1/+1
2019-03-31	rustfmt	Nadrieril	1	-4/+1
2019-03-31	Remove some redundant namespacing	Nadrieril	1	-16/+16
2019-03-26	Derive DhallType for anonymous structs and enums	Nadrieril	1	-0/+24
2019-03-26	Derive DhallType for structs	Nadrieril	1	-10/+27
2019-03-26	Update dhall-lang submodule	Nadrieril	1	-5/+5
2019-03-24	Lay groundwork for DhallType deriving	Nadrieril	1	-0/+15
2019-03-24	Parse multiline strings correctly	Nadrieril	1	-8/+0
2019-03-24	Generate parser tests list automatically	Nadrieril	1	-67/+2
2019-03-24	Parser import hash and headers	Nadrieril	1	-1/+1
2019-03-24	Disallow builtins as bound variables	Nadrieril	1	-1/+1
2019-03-23	Handle merge and record projection	Nadrieril	1	-6/+6
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