summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-17Run clippyNadrieril1-21/+22
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-17Rename Value to NirNadrieril1-128/+115
2020-02-16Start requiring Universe to build a TypeNadrieril1-1/+1
2020-02-15Desugar Completion during resolutionNadrieril1-11/+9
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril1-1/+1
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-41/+45
2020-02-11Remove the Embed variant from ExprKindNadrieril1-4/+2
2020-02-09Remove types from NzEnvNadrieril1-1/+1
2020-02-09Remove extra types stored in ValueNadrieril1-16/+8
2020-02-09Remove most TyExpr from normalizationNadrieril1-11/+10
2020-02-09Add Hir as untyped alternative to TyExprNadrieril1-2/+2
2020-02-09Remove move type propagation through ValueNadrieril1-91/+33
2020-02-09Remove most reliance on types stored in ValueNadrieril1-4/+4
2020-02-06Implement some record simplificationsNadrieril1-2/+92
2020-02-05Normalize toMapNadrieril1-5/+44
2020-01-30Get rid of all the manual Ref borrowsNadrieril1-115/+55
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril1-12/+9
2020-01-30Clarify normalization to ensure we only nze onceNadrieril1-18/+7
2020-01-30Move Thunk value into ValueInternalNadrieril1-1/+0
2020-01-30Factor out text literals in ValueNadrieril1-30/+22
2020-01-30Remove type parameter from ValueKindNadrieril1-7/+4
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Move normalize under nzeNadrieril1-0/+0
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-5/+6
2020-01-30s/as_whnf/kind/Nadrieril1-13/+13
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-20/+11
2020-01-30Move builtins-related code to its own moduleNadrieril1-367/+6
2020-01-29Move envs to their own filesNadrieril1-60/+2
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-5/+3
2020-01-29Remove dead codeNadrieril1-7/+0
2020-01-29Fix more bugsNadrieril1-28/+4
2020-01-28Implement assert & merge and fix more bugsNadrieril1-3/+17
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-25/+45
2020-01-27Fix a bunch of bugs and more tckNadrieril1-1/+4
2020-01-25More typecheckNadrieril1-2/+17
2020-01-25Enable comparing Closures for equalityNadrieril1-4/+7
2020-01-25Typecheck more casesNadrieril1-3/+10
2020-01-24Implement basic typecheck with new approachNadrieril1-0/+1
2020-01-24Fix some variable shifting failuresNadrieril1-5/+19
2020-01-24Normalize more expressionsNadrieril1-8/+5
2020-01-24Restore all types in Value::to_tyexprNadrieril1-5/+13
2020-01-24Reuse normalize_one_layer in new eval flowNadrieril1-27/+41
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-1/+84
2020-01-19Restore more types in value_to_tyexprNadrieril1-8/+15
2020-01-17SimplifyNadrieril1-5/+4
2020-01-17Tweak: handle empty lists in typeckNadrieril1-16/+4
2020-01-17Remove Shift/Subst traitsNadrieril1-1/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:51:21 +0000