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

	Commit message (Expand)	Author	Files	Lines
2019-04-07	Fix	Nadrieril	1	-0/+1
2019-04-07	Use macros in typecheck; much cleaner	Nadrieril	1	-132/+125
2019-04-07	Universe hierarchy is overkill	Nadrieril	2	-77/+63
2019-04-07	More typecheck	Nadrieril	1	-66/+89
2019-04-07	Avoid constructing exprs manually when possible	Nadrieril	5	-19/+24
2019-04-07	Store Normalized in type error	Nadrieril	1	-46/+66
2019-04-07	Augment stack size for typecheck tests	Nadrieril	3	-8/+30
2019-04-07	Handle universe error properly	Nadrieril	1	-35/+49
2019-04-07	Put a Cow in Type	Nadrieril	3	-76/+84
2019-04-07	More typecheck	Nadrieril	1	-78/+86
2019-04-06	More improvements to typecheck	Nadrieril	1	-133/+114
2019-04-06	Store the whole type hierarchy in a Type	Nadrieril	2	-110/+167
2019-04-06	Add Sort type universe	Nadrieril	2	-9/+12
2019-04-06	Start taking Typed seriously	Nadrieril	3	-111/+135
2019-04-06	Thread Typed through type_with	Nadrieril	3	-66/+67
2019-04-06	Move binary decoding to new API	Nadrieril	4	-32/+66
2019-04-06	Massage import loading into new API	Nadrieril	3	-51/+83
2019-04-06	Define some newtypes for Expr	Nadrieril	2	-8/+37
2019-04-06	Rename some modules	Nadrieril	3	-3/+3
2019-04-06	s/Type/StaticType/	Nadrieril	3	-20/+19
2019-04-06	s/DhallError/ImportError/	Nadrieril	2	-13/+13
2019-04-06	Factor out type equality checking	Nadrieril	1	-46/+50
2019-04-06	Move more cases after recursion	Nadrieril	1	-34/+34
2019-04-06	Loop through args when typechecking App	Nadrieril	1	-17/+24
2019-04-06	Factor out the recursion when possible in typecheck	Nadrieril	2	-127/+133
2019-04-06	Add type-inference tests	Nadrieril	2	-0/+149
2019-04-06	Normalize only as needed while typechecking	Nadrieril	1	-17/+17
2019-04-06	type_with always normalizes	Nadrieril	1	-49/+35
2019-04-06	Avoid early returns in type_with	Nadrieril	1	-41/+38
2019-04-06	Split dhall_expr!() into 2	Nadrieril	1	-0/+2
2019-04-06	Normalize output of type inference	Nadrieril	1	-4/+4
2019-04-06	Ensure all type errors carry normalized types	Nadrieril	1	-7/+4
2019-04-06	Remove an unnecessary normalization	Nadrieril	1	-2/+1
2019-04-06	Factor out shift/subst/shift dance	Nadrieril	2	-14/+4
2019-04-06	rustfmt	Nadrieril	1	-1/+3
2019-04-06	Give up on laziness and greatly simplify normalization	Nadrieril	2	-233/+206
2019-04-05	Remove some unused files	Nadrieril	1	-9/+0
2019-04-05	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-04-04	Get keyword rule from upstream	Nadrieril	1	-1/+1
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-04-01	Refactor and clarify various map methods	Nadrieril	1	-1/+1
2019-03-31	Make Expr generic in Label	Nadrieril	1	-1/+1
2019-03-31	Remove evil Deref impl	Nadrieril	2	-3/+3
2019-03-31	Move recursion out of Expr	Nadrieril	4	-9/+9
2019-03-31	rustfmt	Nadrieril	1	-4/+1
2019-03-31	Make SubExpr a newtype	Nadrieril	4	-78/+70
2019-03-31	Remove some redundant namespacing	Nadrieril	3	-47/+48
2019-03-27	Manually rustfmt like a nazi	Nadrieril	2	-4/+22
2019-03-26	Derive DhallType for anonymous structs and enums	Nadrieril	1	-0/+24