summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core/value.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-698/+0
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-13/+58
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 structNadrieril1-25/+5
2020-01-30Move builtins-related code to its own moduleNadrieril1-9/+22
2020-01-29Cleanup variable handlingNadrieril1-6/+4
2020-01-29Move envs to their own filesNadrieril1-2/+2
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-72/+0
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+18
2020-01-29Remove dead codeNadrieril1-32/+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 closuresNadrieril1-6/+15
2020-01-28Fix all sorts of variable shenanigansNadrieril1-108/+10
2020-01-27Start rewriting value comparisonNadrieril1-0/+107
2020-01-25Enable comparing Closures for equalityNadrieril1-9/+11
2020-01-24Fix some variable shifting failuresNadrieril1-7/+11
2020-01-24Disable runtime type checksNadrieril1-6/+7
2020-01-24Normalize more expressionsNadrieril1-1/+5
2020-01-24Restore all types in Value::to_tyexprNadrieril1-48/+71
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-108/+159
2020-01-21Prepare Value for reverse variablesNadrieril1-14/+26
2020-01-21Simplify type error typeNadrieril1-2/+1
2020-01-19Restore more types in value_to_tyexprNadrieril1-23/+54
2020-01-18fixup! Introduce intermediate representation that stores typed exprNadrieril1-65/+62
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-8/+79
2020-01-17SimplifyNadrieril1-16/+10
2020-01-17Replace all bulk shifting by a single shiftNadrieril1-45/+0
2020-01-17Use alpha variables everywhereNadrieril1-1/+1
2020-01-17Implement bulk shiftingNadrieril1-21/+77
2020-01-17Simplify a bitNadrieril1-8/+18
2020-01-17Remove Shift/Subst traitsNadrieril1-80/+78
2020-01-17Simplify Shift and Subst instancesNadrieril1-127/+38
2020-01-17Remove binder idsNadrieril1-63/+4
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-21/+13
2020-01-17Simplify Value::to_exprNadrieril1-9/+9
2020-01-17Use binder ids for Value equalityNadrieril1-8/+68
2020-01-17Introduce a notion of binderNadrieril1-4/+4
2020-01-17Implement traverse_ref for ValueKindNadrieril1-0/+28
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-15/+18
2020-01-17Revert "Implement PartialEq manually for ValueKind"Nadrieril1-64/+1
2020-01-17Implement PartialEq manually for ValueKindNadrieril1-1/+64
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-4/+2
2019-12-24Ensure inferred type is always in normal formNadrieril1-0/+3
2019-12-20Move ValueKind into value.rsNadrieril1-6/+264
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 21:43:25 +0000