summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-02Remove shift0Nadrieril1-18/+21
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-25/+25
2019-05-02Store Thunk in NormalizedNadrieril1-5/+10
2019-05-02TweaksNadrieril1-45/+39
2019-04-30Fix NF tracking errorNadrieril1-2/+3
2019-04-30Fix shifting. This completely destroys sharing so performance is dead.Nadrieril1-3/+7
2019-04-30Lazily process unnormalizable expressionNadrieril1-9/+36
2019-04-30Avoid some rewrapping of thunksNadrieril1-34/+49
2019-04-30Mutate thunk contents directly if sole ownerNadrieril1-2/+8
2019-04-30Normalize mutablyNadrieril1-30/+120
2019-04-30Don't borrow from thunk more than necessaryNadrieril1-0/+4
2019-04-30Pass references when possibleNadrieril1-64/+87
2019-04-30Merge Typed and PartiallyNormalizedNadrieril1-42/+32
2019-04-30Store a Thunk in TypedNadrieril1-19/+5
2019-04-30Store thunks in the normalization contextNadrieril1-12/+13
2019-04-30Store thunks behind Rc<RefCell<_>> to ensure minimal computationNadrieril1-77/+159
2019-04-29Remove NF/WHNF distinction at runtimeNadrieril1-93/+72
2019-04-29Make NF and WHNF custom types instead of aliasesNadrieril1-3/+5
2019-04-29Don't shift by mutable refNadrieril1-93/+106
2019-04-29Store thunk in Value::LambdaNadrieril1-19/+17
2019-04-29Allow representing normal form as a semantic valueNadrieril1-226/+340
2019-04-29Properly substitute when typing AppNadrieril1-12/+173
2019-04-28Use PartiallyNormalized throughout typecheckingNadrieril1-4/+8
2019-04-27Move Pi to WHNFNadrieril1-0/+10
2019-04-27Replace TypeInternal::RecordType with WHNF::RecordTypeNadrieril1-4/+17
2019-04-27Store thunks uniformly in WHNFNadrieril1-59/+42
2019-04-27Abstract out thunks in type positionNadrieril1-22/+64
2019-04-27Rename Now to ThunkNadrieril1-45/+44
2019-04-27Define new intermediate expression typeNadrieril1-19/+36
2019-04-27Using only shift0 was not such a great ideaNadrieril1-23/+19
2019-04-25Respect import boundary in normalizationNadrieril1-1/+3
2019-04-22Store context in TypedNadrieril1-14/+7
2019-04-22Avoid shift_subst in typecheckNadrieril1-1/+15
2019-04-21Prepare for interop between two contextsNadrieril1-17/+37
2019-04-21Embrace TypeInternal as a semantic valueNadrieril1-0/+1
2019-04-20An empty optional value is purely semanticNadrieril1-8/+5
2019-04-20Implement more normalization simplificationsNadrieril1-9/+16
2019-04-20shift by mutable ref to avoid reallocationsNadrieril1-80/+71
2019-04-20TweaksNadrieril1-5/+6
2019-04-20AppliedBuiltin does not need a contextNadrieril1-25/+23
2019-04-20Avoid a lot of unnecessary cloning in apply_builtinNadrieril1-126/+183
2019-04-20CleanupNadrieril1-166/+144
2019-04-20Swap importNadrieril1-62/+54
2019-04-20Remove last remnant of expr buildingNadrieril1-12/+29
2019-04-20Introduce special closures to avoid constructing exprsNadrieril1-34/+67
2019-04-20Avoid a lot of slow Expr costructionNadrieril1-73/+52
2019-04-20FormattingNadrieril1-153/+152
2019-04-20Remove WHNF/Closure distinctionNadrieril1-132/+113
2019-04-20Refcount contexts to avoid clonesNadrieril1-40/+40
2019-04-20Rewrite apply_builtin to work on WHNFsNadrieril1-152/+160