summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/env.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Thread cx through normalizationNadrieril1-8/+8
2020-12-07Thread cx through typecheckNadrieril1-4/+12
2020-04-05Fix clippy warningsNadrieril1-2/+2
2020-03-31Brutally make all of dhall pubNadrieril1-2/+2
2020-03-17Run clippyNadrieril1-6/+6
2020-02-17Rename Value to NirNadrieril1-2/+2
2020-02-17Extract resolve-relevant envs togetherNadrieril1-54/+5
2020-02-09Remove types from NzEnvNadrieril1-7/+7
2020-02-09Automate conversion between envsNadrieril1-0/+6
2020-02-09Take Hir for typecheckNadrieril1-7/+5
2020-02-09Remove most TyExpr from normalizationNadrieril1-3/+3
2020-02-09Remove most reliance on types stored in ValueNadrieril1-4/+4
2020-02-02More nice errors plus some refactorNadrieril1-3/+3
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril1-1/+1
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-13/+0
2020-01-29Cleanup variable handlingNadrieril1-5/+5
2020-01-29Move envs to their own filesNadrieril1-0/+137
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 11:40:09 +0000