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

	Commit message (Expand)	Author	Files	Lines
2019-04-18	Remove obsolete dhall_expr!() macro	Nadrieril	1	-8/+16
2019-04-14	Namespace deserialization functions in a `de` submodule	Nadrieril	1	-3/+3
2019-04-11	Thread lifetimes through other newtypes	Nadrieril	1	-1/+1
2019-04-10	Add SimpleType and SimpeStaticType. Derive the latter	Nadrieril	1	-18/+36
2019-04-08	Move spec tests into the relevant files	Nadrieril	4	-824/+0
2019-04-07	Restrict public API	Nadrieril	1	-16/+47
2019-04-07	Avoid constructing exprs manually when possible	Nadrieril	4	-1/+4
2019-04-07	Augment stack size for typecheck tests	Nadrieril	2	-8/+18
2019-04-07	Put a Cow in Type	Nadrieril	1	-3/+3
2019-04-06	Add Sort type universe	Nadrieril	1	-6/+6
2019-04-06	Move binary decoding to new API	Nadrieril	1	-14/+11
2019-04-06	Massage import loading into new API	Nadrieril	1	-2/+7
2019-04-06	Rename some modules	Nadrieril	1	-0/+0
2019-04-06	s/Type/StaticType/	Nadrieril	1	-7/+7
2019-04-06	s/DhallError/ImportError/	Nadrieril	1	-3/+3
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