summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/value.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove extra types stored in ValueNadrieril2020-02-091-9/+6
* Remove most TyExpr from normalizationNadrieril2020-02-091-65/+55
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-5/+5
* Remove move type propagation through ValueNadrieril2020-02-091-63/+21
* Remove most reliance on types stored in ValueNadrieril2020-02-091-24/+36
* Normalize toMapNadrieril2020-02-051-0/+6
* Use Spans consistently by valueNadrieril2020-02-021-3/+3
* More errorsNadrieril2020-02-021-0/+3
* More nice errors plus some refactorNadrieril2020-02-021-3/+0
* Implement once nice error using annotate_snippetsNadrieril2020-02-011-0/+4
* Factor out custom Lazy structNadrieril2020-01-311-35/+18
* Use Rc equality to shortcut Value equalityNadrieril2020-01-301-2/+1
* Tweak ConstantClosureNadrieril2020-01-301-13/+7
* Eval Thunk by moveNadrieril2020-01-301-4/+3
* Use OnceCell to enable returning &ValKindNadrieril2020-01-301-68/+53
* Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril2020-01-301-88/+71
* Move Form::PartialExpr into ThunkNadrieril2020-01-301-36/+46
* Only the Form must be in a RefCellNadrieril2020-01-301-61/+67
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-301-4/+2
* Clarify normalization to ensure we only nze onceNadrieril2020-01-301-35/+44
* Move Thunk value into ValueInternalNadrieril2020-01-301-34/+32
* Prepare ValueInternal with new `Form`sNadrieril2020-01-301-53/+50
* Factor out text literals in ValueNadrieril2020-01-301-9/+65
* Remove type parameter from ValueKindNadrieril2020-01-301-15/+12
* Remove Value visitorNadrieril2020-01-301-141/+87
* Move main API to lib.rsNadrieril2020-01-301-1/+1
* Move normalize under nzeNadrieril2020-01-301-3/+1
* Move Value-related stuff under semantics::nzeNadrieril2020-01-301-0/+698