summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/value.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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