summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Move Value-related stuff under semantics::nzeNadrieril5-908/+0
2020-01-30Introduce Thunks and normalize lazilyNadrieril2-13/+59
2020-01-30Remove NF marker; it was premature optimizationNadrieril1-22/+11
2020-01-30Increase encapsulation for ClosuresNadrieril1-7/+27
2020-01-30Make unnormalized Values unobservableNadrieril1-7/+2
2020-01-30s/as_whnf/kind/Nadrieril1-5/+5
2020-01-30TweakNadrieril1-9/+4
2020-01-30Remove use of take_mutNadrieril1-25/+22
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril2-32/+17
2020-01-30Move builtins-related code to its own moduleNadrieril1-9/+22
2020-01-29Cleanup variable handlingNadrieril3-38/+6
2020-01-29Move envs to their own filesNadrieril1-2/+2
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril2-82/+0
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+18
2020-01-29Remove dead codeNadrieril3-135/+0
2020-01-29Use TyExpr in TypedNadrieril1-6/+1
2020-01-28Implement assert & merge and fix more bugsNadrieril1-11/+36
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril2-9/+21
2020-01-28Fix all sorts of variable shenanigansNadrieril1-108/+10
2020-01-27Start rewriting value comparisonNadrieril1-0/+107
2020-01-27Fix a bunch of bugs and more tckNadrieril1-1/+7
2020-01-25Enable comparing Closures for equalityNadrieril1-9/+11
2020-01-24Implement basic typecheck with new approachNadrieril1-3/+2
2020-01-24Fix some variable shifting failuresNadrieril2-9/+26
2020-01-24Disable runtime type checksNadrieril1-6/+7
2020-01-24Normalize more expressionsNadrieril1-1/+5
2020-01-24Restore all types in Value::to_tyexprNadrieril2-54/+81
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril2-108/+177
2020-01-21Prepare Value for reverse variablesNadrieril3-17/+35
2020-01-21Simplify type error typeNadrieril1-2/+1
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-0/+3
2020-01-19Restore more types in value_to_tyexprNadrieril2-28/+63
2020-01-18fixup! Introduce intermediate representation that stores typed exprNadrieril1-65/+62
2020-01-18Introduce intermediate representation that stores typed exprNadrieril2-25/+80
2020-01-17SimplifyNadrieril3-40/+19
2020-01-17Replace all bulk shifting by a single shiftNadrieril3-72/+8
2020-01-17Use alpha variables everywhereNadrieril2-22/+10
2020-01-17Implement bulk shiftingNadrieril4-63/+134
2020-01-17Simplify a bitNadrieril3-33/+42
2020-01-17Remove Shift/Subst traitsNadrieril3-212/+114
2020-01-17Simplify Shift and Subst instancesNadrieril2-270/+39
2020-01-17Remove binder idsNadrieril3-136/+16
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril3-28/+49
2020-01-17Simplify Value::to_exprNadrieril1-9/+9
2020-01-17Use binder ids for Value equalityNadrieril2-8/+74
2020-01-17Store corresponding binder id in AlphaVarNadrieril1-10/+14
2020-01-17Assign a unique id to each binderNadrieril2-5/+25
2020-01-17Introduce a notion of binderNadrieril4-33/+42
2020-01-17Implement traverse_ref for ValueKindNadrieril3-0/+165
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-15/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 07:33:22 +0000