summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-09Remove most reliance on types stored in ValueNadrieril3-38/+53
2020-02-06Implement some record simplificationsNadrieril1-2/+92
2020-02-05Normalize toMapNadrieril2-5/+50
2020-02-02Use Spans consistently by valueNadrieril1-3/+3
2020-02-02More errorsNadrieril1-0/+3
2020-02-02More nice errors plus some refactorNadrieril1-3/+0
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-0/+4
2020-01-31Factor out custom Lazy structNadrieril3-35/+83
2020-01-30Use Rc equality to shortcut Value equalityNadrieril1-2/+1
2020-01-30Tweak ConstantClosureNadrieril1-13/+7
2020-01-30Eval Thunk by moveNadrieril1-4/+3
2020-01-30Get rid of all the manual Ref borrowsNadrieril1-115/+55
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`sNadrieril3-22/+21
2020-01-30Clarify normalization to ensure we only nze onceNadrieril3-54/+52
2020-01-30Move Thunk value into ValueInternalNadrieril2-35/+32
2020-01-30Prepare ValueInternal with new `Form`sNadrieril1-53/+50
2020-01-30Factor out text literals in ValueNadrieril2-39/+87
2020-01-30Remove type parameter from ValueKindNadrieril2-22/+16
2020-01-30Remove Value visitorNadrieril3-309/+87
2020-01-30Move main API to lib.rsNadrieril2-2/+2
2020-01-30Move normalize under nzeNadrieril3-3/+510
2020-01-30Move Value-related stuff under semantics::nzeNadrieril4-0/+906
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-8/+0
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-9/+2
2020-01-29Cleanup variable handlingNadrieril1-1/+1
2020-01-29Move envs to their own filesNadrieril3-118/+89
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-3/+0
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-7/+6
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril1-17/+14
2020-01-29Remove dead codeNadrieril1-396/+15
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-0/+5
2020-01-28Fix all sorts of variable shenanigansNadrieril1-8/+26
2020-01-27Fix a bunch of bugs and more tckNadrieril1-7/+17
2020-01-24Fix some variable shifting failuresNadrieril1-0/+8
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-0/+2
2020-01-21Prepare Value for reverse variablesNadrieril2-2/+14
2020-01-20Split TyEnv into two envsNadrieril1-102/+152
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril2-0/+401