summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-31Move conversion to SimpleVal/Ty to simple moduleNadrieril1-81/+0
2020-03-31Remove top-level Expr aliasesNadrieril1-5/+5
2020-03-31Rename LitKind to NumKindNadrieril2-40/+40
2020-03-31Add SimpleType to mirror SimpleValueNadrieril1-1/+47
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril1-0/+34
2020-03-17Remove never_type featureNadrieril1-13/+14
2020-03-17Run clippyNadrieril3-28/+29
2020-03-05Implement some normalization simplificationsNadrieril1-76/+80
2020-03-02Normalization for ProjectionByExprBasile Henry1-3/+34
2020-02-19Avoid re-typechecking after importNadrieril1-0/+1
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril1-3/+0
2020-02-17Remove spans from NirNadrieril1-15/+7
2020-02-17Rename Value to NirNadrieril5-257/+239
2020-02-16Avoid recomputing universes in tckNadrieril1-3/+3
2020-02-16Start requiring Universe to build a TypeNadrieril1-1/+1
2020-02-15Introduce proper Type structNadrieril1-1/+4
2020-02-15Desugar Completion during resolutionNadrieril1-11/+9
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril2-3/+3
2020-02-13Simplify conversions to/from TyExprNadrieril1-17/+3
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril2-57/+50
2020-02-11Remove the Embed variant from ExprKindNadrieril2-15/+7
2020-02-10Remove need for EmbedNadrieril1-0/+6
2020-02-09Remove types from NzEnvNadrieril3-30/+32
2020-02-09Remove all types from ValueNadrieril2-74/+9
2020-02-09Take Hir for typecheckNadrieril1-2/+5
2020-02-09Remove extra types stored in ValueNadrieril2-25/+14
2020-02-09Remove most TyExpr from normalizationNadrieril2-76/+65
2020-02-09Add Hir as untyped alternative to TyExprNadrieril2-7/+7
2020-02-09Remove move type propagation through ValueNadrieril2-154/+54
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