summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-29Move envs to their own filesNadrieril11-241/+239
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril5-112/+3
2020-01-29s/QuoteEnv/VarEnv/Nadrieril3-43/+40
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril2-35/+23
2020-01-29Remove dead codeNadrieril10-1202/+31
2020-01-29Fix insufficient normalizationNadrieril3-10/+16
2020-01-29Use TyExpr in TypedNadrieril30-172/+158
2020-01-29Use Normalized in serde_dhallNadrieril1-52/+74
2020-01-29Fix more bugsNadrieril4-65/+58
2020-01-28Implement assert & merge and fix more bugsNadrieril3-104/+171
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril7-51/+95
2020-01-28Fix all sorts of variable shenanigansNadrieril4-117/+68
2020-01-27Start rewriting value comparisonNadrieril1-0/+107
2020-01-27Fix a bunch of bugs and more tckNadrieril9-57/+104
2020-01-25Moar typecheckNadrieril1-145/+342
2020-01-25More typecheckNadrieril3-58/+301
2020-01-25Make most type errors stringyNadrieril60-263/+159
2020-01-25Enable comparing Closures for equalityNadrieril3-14/+20
2020-01-25Typecheck more casesNadrieril5-62/+165
2020-01-24Implement basic typecheck with new approachNadrieril4-12/+166
2020-01-24Postpone fixing Foo/build builtinsNadrieril1-0/+7
2020-01-24Fix some variable shifting failuresNadrieril4-14/+53
2020-01-24Update type-errorsNadrieril45-47/+47
2020-01-24Disable runtime type checksNadrieril1-6/+7
2020-01-24Normalize more expressionsNadrieril2-9/+10
2020-01-24Restore all types in Value::to_tyexprNadrieril4-64/+101
2020-01-24Reuse normalize_one_layer in new eval flowNadrieril1-27/+41
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril6-111/+283
2020-01-21Prepare Value for reverse variablesNadrieril5-19/+49
2020-01-21Simplify type error typeNadrieril5-56/+31
2020-01-20Split TyEnv into two envsNadrieril1-102/+152
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril7-13/+432
2020-01-19Restore more types in value_to_tyexprNadrieril5-37/+93
2020-01-18fixup! Introduce intermediate representation that stores typed exprNadrieril1-65/+62
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril3-56/+52
2020-01-18Introduce intermediate representation that stores typed exprNadrieril8-129/+177
2020-01-17SimplifyNadrieril5-56/+34
2020-01-17Replace all bulk shifting by a single shiftNadrieril4-98/+8
2020-01-17Use alpha variables everywhereNadrieril3-27/+34
2020-01-17Implement bulk shiftingNadrieril5-67/+163
2020-01-17Tweak: handle empty lists in typeckNadrieril2-20/+14
2020-01-17Simplify a bitNadrieril3-33/+42
2020-01-17Remove Shift/Subst traitsNadrieril6-227/+115
2020-01-17Simplify Shift and Subst instancesNadrieril3-273/+39
2020-01-17Remove binder idsNadrieril5-156/+28
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril5-40/+75
2020-01-17Simplify Value::to_exprNadrieril2-78/+52
2020-01-17Use binder ids for Value equalityNadrieril2-8/+74
2020-01-17Store corresponding binder id in AlphaVarNadrieril2-11/+16
2020-01-17Assign a unique id to each binderNadrieril2-5/+25
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 16:21:15 +0000