summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Increase encapsulation for ClosuresNadrieril1-5/+5
2020-01-30Make unnormalized Values unobservableNadrieril1-3/+1
2020-01-30s/as_whnf/kind/Nadrieril1-17/+15
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-11/+15
2020-01-30Remove debug output in type errorsNadrieril1-12/+3
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-13/+0
2020-01-30Move builtins-related code to its own moduleNadrieril3-15/+12
2020-01-29Cleanup variable handlingNadrieril2-11/+25
2020-01-29Move envs to their own filesNadrieril4-59/+144
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+16
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril1-18/+9
2020-01-29Remove dead codeNadrieril2-27/+8
2020-01-29Fix insufficient normalizationNadrieril2-7/+15
2020-01-29Use TyExpr in TypedNadrieril1-1/+8
2020-01-29Fix more bugsNadrieril1-33/+36
2020-01-28Implement assert & merge and fix more bugsNadrieril1-90/+118
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-3/+11
2020-01-28Fix all sorts of variable shenanigansNadrieril1-1/+14
2020-01-27Fix a bunch of bugs and more tckNadrieril2-29/+45
2020-01-25Moar typecheckNadrieril1-145/+342
2020-01-25More typecheckNadrieril1-8/+231
2020-01-25Enable comparing Closures for equalityNadrieril1-1/+2
2020-01-25Typecheck more casesNadrieril1-53/+134
2020-01-24Implement basic typecheck with new approachNadrieril1-0/+147
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-0/+8
2020-01-21Simplify type error typeNadrieril1-2/+1
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-7/+9
2020-01-19Restore more types in value_to_tyexprNadrieril2-1/+15
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril1-10/+12
2020-01-18Introduce intermediate representation that stores typed exprNadrieril2-0/+85