summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Move normalize under nzeNadrieril2-508/+0
2020-01-30Introduce Thunks and normalize lazilyNadrieril2-6/+7
2020-01-30s/as_whnf/kind/Nadrieril1-13/+13
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-20/+11
2020-01-30Remove old typecheck moduleNadrieril3-21/+5
2020-01-30Move builtins-related code to its own moduleNadrieril2-544/+6
2020-01-29Move envs to their own filesNadrieril2-62/+3
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-5/+3
2020-01-29Remove dead codeNadrieril2-629/+2
2020-01-29Fix insufficient normalizationNadrieril1-3/+1
2020-01-29Use TyExpr in TypedNadrieril2-44/+27
2020-01-29Use Normalized in serde_dhallNadrieril1-52/+74
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 closuresNadrieril2-32/+58
2020-01-27Fix a bunch of bugs and more tckNadrieril4-13/+31
2020-01-25More typecheckNadrieril2-50/+70
2020-01-25Make most type errors stringyNadrieril1-98/+53
2020-01-25Enable comparing Closures for equalityNadrieril1-4/+7
2020-01-25Typecheck more casesNadrieril2-5/+19
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_tyexprNadrieril2-10/+20
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-21Simplify type error typeNadrieril1-30/+12
2020-01-19Restore more types in value_to_tyexprNadrieril1-8/+15
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-1/+9
2020-01-17SimplifyNadrieril2-16/+15
2020-01-17Tweak: handle empty lists in typeckNadrieril2-20/+14
2020-01-17Remove Shift/Subst traitsNadrieril3-15/+1
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-7/+1
2020-01-17Store corresponding binder id in AlphaVarNadrieril1-1/+2
2020-01-17Introduce a notion of binderNadrieril1-13/+14
2020-01-17Parameterize ValueKind by its subnodesNadrieril2-7/+10
2020-01-17Construct T/Build closures in Expr spaceNadrieril2-58/+58
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-14/+8
2019-12-24Ensure normalization respects var names on the noseNadrieril1-8/+8
2019-12-24Ensure inferred type is always in normal formNadrieril2-2/+14
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril1-7/+7
2019-12-24Extend merge to work on OptionalsNadrieril2-4/+36
2019-12-23Add two new Integer builtinsNadrieril2-0/+14
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22Implement parsing for record completionNadrieril2-0/+2
2019-12-22Update dhall-lang submoduleNadrieril1-1/+9
2019-12-20Move ValueKind into value.rsNadrieril3-3/+3
2019-12-20Fix some commentsNadrieril1-9/+2
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-3/+3