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

	Commit message (Expand)	Author	Files	Lines
2019-04-06	Rename some modules	Nadrieril	2	-3/+3
2019-04-06	s/Type/StaticType/	Nadrieril	2	-13/+12
2019-04-06	s/DhallError/ImportError/	Nadrieril	1	-10/+10
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	1	-125/+131
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	Give up on laziness and greatly simplify normalization	Nadrieril	2	-233/+206
2019-04-04	Get keyword rule from upstream	Nadrieril	1	-1/+1
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	3	-8/+8
2019-03-31	Make SubExpr a newtype	Nadrieril	4	-78/+70
2019-03-31	Remove some redundant namespacing	Nadrieril	2	-31/+32
2019-03-27	Manually rustfmt like a nazi	Nadrieril	1	-2/+12
2019-03-26	Derive DhallType for structs	Nadrieril	2	-0/+79
2019-03-24	Lay groundwork for DhallType deriving	Nadrieril	1	-1/+0
2019-03-24	Correctly namespace interpolations in dhall_expr!()	Nadrieril	2	-3/+0
2019-03-24	Improve decoder errors on unknown inputs	Nadrieril	1	-6/+2
2019-03-24	Parser import hash and headers	Nadrieril	2	-6/+31
2019-03-23	Handle merge and record projection	Nadrieril	1	-5/+36
2019-03-22	oops	Nadrieril	1	-7/+7
2019-03-22	Parse a lot more of the import types	Nadrieril	2	-10/+84
2019-03-22	Improve binary decoding errors	Nadrieril	1	-14/+25
2019-03-21	Improve import handling in parser	Nadrieril	3	-1/+34
2019-03-21	rustfmt	Nadrieril	1	-11/+3
2019-03-21	Follow the spec for handling Doubles	Nadrieril	1	-1/+1
2019-03-21	Represent Optional literals more faithfully	Nadrieril	3	-39/+20
2019-03-21	Rename Record/Union to RecordType/UnionType	Nadrieril	2	-7/+7
2019-03-21	Reorganize dhall_core a bit	Nadrieril	3	-6/+6
2019-03-19	rustfmt	Nadrieril	1	-14/+20
2019-03-18	Implement a few more primitives	Nadrieril	2	-17/+44
2019-03-18	Split List literal between empty and non-empty	Nadrieril	3	-29/+38
2019-03-18	tweaks	Nadrieril	1	-4/+14
2019-03-18	Split off builtin application normalization for clarity	Nadrieril	1	-168/+149
2019-03-18	Improve normalization ergonomics	Nadrieril	1	-145/+150
2019-03-18	Improve ergonomics of typechecking	Nadrieril	1	-354/+248
2019-03-18	Considerably simplify subst, shift and typechecking	Nadrieril	3	-237/+87
2019-03-17	Clean up some mess relating to Clone bounds	Nadrieril	2	-13/+13
2019-03-17	Use Rc consistently everywhere	Nadrieril	4	-427/+545
2019-03-16	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	3	-7/+10