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

	Commit message (Expand)	Author	Files	Lines
2019-05-02	Update dhall-lang submodule	Nadrieril	1	-1/+1
2019-05-02	Typecheck text interpolation	Nadrieril	1	-3/+16
2019-05-02	Typecheck missing builtin cases	Nadrieril	1	-29/+47
2019-05-02	Remove shift0	Nadrieril	2	-32/+26
2019-05-02	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	7	-242/+282
2019-05-02	Store Thunk in Normalized	Nadrieril	5	-41/+44
2019-05-02	Tweaks	Nadrieril	3	-76/+78
2019-04-30	Remove now useless TypedOrType type	Nadrieril	1	-86/+34
2019-04-30	Fix NF tracking error	Nadrieril	1	-2/+3
2019-04-30	Fix shifting. This completely destroys sharing so performance is dead.	Nadrieril	1	-3/+7
2019-04-30	Lazily process unnormalizable expression	Nadrieril	1	-9/+36
2019-04-30	Avoid some rewrapping of thunks	Nadrieril	2	-36/+51
2019-04-30	Mutate thunk contents directly if sole owner	Nadrieril	1	-2/+8
2019-04-30	Normalize mutably	Nadrieril	1	-30/+120
2019-04-30	Don't borrow from thunk more than necessary	Nadrieril	2	-37/+62
2019-04-30	Pass references when possible	Nadrieril	3	-90/+121
2019-04-30	Merge Typed and PartiallyNormalized	Nadrieril	3	-124/+94
2019-04-30	Store a Thunk in Typed	Nadrieril	4	-40/+22
2019-04-30	Store thunks in the normalization context	Nadrieril	1	-12/+13
2019-04-30	Store thunks behind Rc<RefCell<_>> to ensure minimal computation	Nadrieril	2	-81/+160
2019-04-29	Remove NF/WHNF distinction at runtime	Nadrieril	3	-100/+79
2019-04-29	Make NF and WHNF custom types instead of aliases	Nadrieril	1	-3/+5
2019-04-29	Don't shift by mutable ref	Nadrieril	1	-93/+106
2019-04-29	Store thunk in Value::Lambda	Nadrieril	1	-19/+17
2019-04-29	Allow representing normal form as a semantic value	Nadrieril	3	-249/+368
2019-04-29	Don't need to store original expression in TypeError	Nadrieril	2	-59/+14
2019-04-29	Properly substitute when typing App	Nadrieril	2	-57/+218
2019-04-28	Use PartiallyNormalized throughout typechecking	Nadrieril	3	-93/+95
2019-04-27	Move Pi to WHNF	Nadrieril	2	-36/+51
2019-04-27	Builtins	Nadrieril	2	-30/+11
2019-04-27	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	1	-23/+23
2019-04-27	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2	-32/+68
2019-04-27	Rework TypeInternal	Nadrieril	1	-83/+72
2019-04-27	Store thunks uniformly in WHNF	Nadrieril	1	-59/+42
2019-04-27	Abstract out thunks in type position	Nadrieril	1	-22/+64
2019-04-27	Rename Now to Thunk	Nadrieril	1	-45/+44
2019-04-27	Define new intermediate expression type	Nadrieril	2	-19/+43
2019-04-27	Using only shift0 was not such a great idea	Nadrieril	1	-23/+19
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	Respect import boundary in normalization	Nadrieril	1	-1/+3
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