summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/value.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Use OnceCell to enable returning &ValKindNadrieril1-68/+53
2020-01-30Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril1-88/+71
2020-01-30Move Form::PartialExpr into ThunkNadrieril1-36/+46
2020-01-30Only the Form must be in a RefCellNadrieril1-61/+67
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril1-4/+2
2020-01-30Clarify normalization to ensure we only nze onceNadrieril1-35/+44
2020-01-30Move Thunk value into ValueInternalNadrieril1-34/+32
2020-01-30Prepare ValueInternal with new `Form`sNadrieril1-53/+50
2020-01-30Factor out text literals in ValueNadrieril1-9/+65
2020-01-30Remove type parameter from ValueKindNadrieril1-15/+12
2020-01-30Remove Value visitorNadrieril1-141/+87
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Move normalize under nzeNadrieril1-3/+1
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-2/+2
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 07:27:20 +0000