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

	Commit message (Expand)	Author	Files	Lines
2019-04-30	Remove now useless TypedOrType type	Nadrieril	1	-86/+34
2019-04-30	Avoid some rewrapping of thunks	Nadrieril	1	-2/+2
2019-04-30	Don't borrow from thunk more than necessary	Nadrieril	1	-37/+58
2019-04-30	Pass references when possible	Nadrieril	1	-26/+33
2019-04-30	Merge Typed and PartiallyNormalized	Nadrieril	1	-75/+62
2019-04-30	Store a Thunk in Typed	Nadrieril	1	-6/+11
2019-04-30	Store thunks behind Rc<RefCell<_>> to ensure minimal computation	Nadrieril	1	-4/+1
2019-04-29	Remove NF/WHNF distinction at runtime	Nadrieril	1	-6/+6
2019-04-29	Allow representing normal form as a semantic value	Nadrieril	1	-22/+27
2019-04-29	Don't need to store original expression in TypeError	Nadrieril	1	-48/+14
2019-04-29	Properly substitute when typing App	Nadrieril	1	-45/+45
2019-04-28	Use PartiallyNormalized throughout typechecking	Nadrieril	1	-86/+87
2019-04-27	Move Pi to WHNF	Nadrieril	1	-36/+41
2019-04-27	Builtins	Nadrieril	1	-15/+11
2019-04-27	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	1	-23/+23
2019-04-27	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	1	-28/+51
2019-04-27	Rework TypeInternal	Nadrieril	1	-83/+72
2019-04-26	Lists and Optionals	Nadrieril	1	-42/+94
2019-04-26	ensure_is_const is not that helpful	Nadrieril	1	-59/+35
2019-04-26	Union types	Nadrieril	1	-66/+117
2019-04-25	Fix shifting again	Nadrieril	1	-13/+9
2019-04-25	Now I can use TypeInternal::RecordType fully	Nadrieril	1	-11/+10
2019-04-25	Revert "Try property testing against reference implementation"	Nadrieril	1	-133/+0
2019-04-25	Try property testing against reference implementation	Nadrieril	1	-0/+133
2019-04-25	Correctly shift values before inserting into context	Nadrieril	1	-4/+7
2019-04-25	normalize_to_type can use the captured context	Nadrieril	1	-14/+14
2019-04-23	RecordTypes	Nadrieril	1	-62/+108
2019-04-23	Fix shifting under Pi	Nadrieril	1	-13/+29
2019-04-23	Avoid duplicating TypeInternal in TypedImproved	Nadrieril	1	-44/+40
2019-04-23	Avoid constructing ExprF::Pi while typechecking	Nadrieril	1	-57/+93
2019-04-23	Avoid duplicating work when matching on Pi types	Nadrieril	1	-35/+100
2019-04-23	Pass TypedImproved directly to type_last_layer	Nadrieril	1	-40/+55
2019-04-22	Temporarily simplify functions depending on TypeInternal	Nadrieril	1	-26/+14
2019-04-22	Pass through new TypedImproved type	Nadrieril	1	-25/+92
2019-04-22	Store context in Typed	Nadrieril	1	-13/+18
2019-04-22	Avoid shift_subst in typecheck	Nadrieril	1	-31/+25
2019-04-21	Prepare for interop between two contexts	Nadrieril	1	-8/+53
2019-04-21	Factor out context handling	Nadrieril	1	-14/+28
2019-04-21	Embrace TypeInternal as a semantic value	Nadrieril	1	-8/+14
2019-04-20	Move TypeInternal to typecheck	Nadrieril	1	-9/+29
2019-04-20	An empty optional value is purely semantic	Nadrieril	1	-7/+1
2019-04-19	Make App() only store one argument	Nadrieril	1	-46/+18
2019-04-18	Label is redundant in EnvItem::Skip	Nadrieril	1	-2/+3
2019-04-18	subst_shift in a single pass	Nadrieril	1	-10/+7
2019-04-18	Remove more duplication	Nadrieril	1	-3/+3
2019-04-16	Add typecheck failure tests	Nadrieril	1	-7/+82
2019-04-16	Handle nullary union variants	Nadrieril	1	-1/+1
2019-04-16	Prepare for nullary union variants	Nadrieril	1	-8/+38
2019-04-16	Fix union constructor typechecking	Nadrieril	1	-17/+24
2019-04-16	Typecheck union constructor	Nadrieril	1	-6/+15