summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-11/+15
2020-01-30Remove debug output in type errorsNadrieril1-12/+3
2020-01-30Move builtins-related code to its own moduleNadrieril1-12/+10
2020-01-29Move envs to their own filesNadrieril1-55/+3
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+16
2020-01-29Remove dead codeNadrieril1-22/+8
2020-01-29Fix insufficient normalizationNadrieril1-6/+6
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-27Fix a bunch of bugs and more tckNadrieril1-29/+35
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 08:50:37 +0000