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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove obsolete dhall_expr!() macro	Nadrieril	2019-04-18	1	-8/+16
\|
*	Namespace deserialization functions in a `de` submodule	Nadrieril	2019-04-14	1	-3/+3
\| \| \| \|	Closes #73
*	Thread lifetimes through other newtypes	Nadrieril	2019-04-11	1	-1/+1
\| \| \| \|	Closes #55
*	Add SimpleType and SimpeStaticType. Derive the latter	Nadrieril	2019-04-10	1	-18/+36
\|
*	Move spec tests into the relevant files	Nadrieril	2019-04-08	4	-824/+0
\|
*	Restrict public API	Nadrieril	2019-04-07	1	-16/+47
\| \| \| \|	Closes #20
*	Avoid constructing exprs manually when possible	Nadrieril	2019-04-07	4	-1/+4
\|
*	Augment stack size for typecheck tests	Nadrieril	2019-04-07	2	-8/+18
\|
*	Put a Cow in Type	Nadrieril	2019-04-07	1	-3/+3
\|
*	Add Sort type universe	Nadrieril	2019-04-06	1	-6/+6
\|
*	Move binary decoding to new API	Nadrieril	2019-04-06	1	-14/+11
\|
*	Massage import loading into new API	Nadrieril	2019-04-06	1	-2/+7
\| \| \| \|	Closes #9
*	Rename some modules	Nadrieril	2019-04-06	1	-0/+0
\|
*	s/Type/StaticType/	Nadrieril	2019-04-06	1	-7/+7
\|
*	s/DhallError/ImportError/	Nadrieril	2019-04-06	1	-3/+3
\|
*	Factor out the recursion when possible in typecheck	Nadrieril	2019-04-06	1	-2/+2
\|
*	Add type-inference tests	Nadrieril	2019-04-06	2	-0/+149
\| \| \| \|	Closes #49
*	Update dhall-lang submodule	Nadrieril	2019-04-04	1	-36/+36
\|
*	Move recursion out of Expr	Nadrieril	2019-03-31	1	-1/+1
\|
*	rustfmt	Nadrieril	2019-03-31	1	-4/+1
\|
*	Remove some redundant namespacing	Nadrieril	2019-03-31	1	-16/+16
\|
*	Derive DhallType for anonymous structs and enums	Nadrieril	2019-03-26	1	-0/+24
\|
*	Derive DhallType for structs	Nadrieril	2019-03-26	1	-10/+27
\|
*	Update dhall-lang submodule	Nadrieril	2019-03-26	1	-5/+5
\|
*	Lay groundwork for DhallType deriving	Nadrieril	2019-03-24	1	-0/+15
\|
*	Parse multiline strings correctly	Nadrieril	2019-03-24	1	-8/+0
\| \| \| \|	Closes #24
*	Generate parser tests list automatically	Nadrieril	2019-03-24	1	-67/+2
\|
*	Parser import hash and headers	Nadrieril	2019-03-24	1	-1/+1
\|
*	Disallow builtins as bound variables	Nadrieril	2019-03-24	1	-1/+1
\|
*	Handle merge and record projection	Nadrieril	2019-03-23	1	-6/+6
\|
*	Update dhall-lang submodule	Nadrieril	2019-03-23	1	-2/+3
\|
*	Handle double overflows in parser	Nadrieril	2019-03-23	1	-2/+2
\|
*	Parse unicode escapes in string	Nadrieril	2019-03-23	1	-1/+1
\|
*	Handle quoted labels	Nadrieril	2019-03-22	1	-1/+1
\|
*	Parse a lot more of the import types	Nadrieril	2019-03-22	1	-7/+7
\|
*	Improve import handling in parser	Nadrieril	2019-03-21	2	-5/+10
\|
*	Follow the spec for handling Doubles	Nadrieril	2019-03-21	1	-1/+1
\|
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	1	-1/+1
\|
*	Make parser implementation non-recursive	Nadrieril	2019-03-20	1	-16/+1
\|
*	Cleanup parser code	Nadrieril	2019-03-20	1	-1/+1
\|
*	Obsolete old parser macros; performance is now dead	Nadrieril	2019-03-20	1	-1/+1
\|
*	Handle simple parsing cases with new macros	Nadrieril	2019-03-20	1	-1/+1
\|
*	rustfmt	Nadrieril	2019-03-19	1	-1/+1
\|
*	Test printer in parser tests	Nadrieril	2019-03-19	1	-0/+5
\| \| \| \|	Closes #30
*	Add travis integration	Nadrieril	2019-03-19	1	-11/+15
\|
*	Implement a few more primitives	Nadrieril	2019-03-18	1	-21/+21
\|
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	1	-3/+3
\|
*	Considerably simplify subst, shift and typechecking	Nadrieril	2019-03-18	1	-4/+1
\|
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	1	-9/+9
\|
*	Split different tests features into their own files	Nadrieril	2019-03-15	4	-238/+241
\|