summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename Value to NirNadrieril2020-02-171-2/+2
* Extract resolve-relevant envs togetherNadrieril2020-02-171-54/+5
* Remove types from NzEnvNadrieril2020-02-091-7/+7
* Automate conversion between envsNadrieril2020-02-091-0/+6
* Take Hir for typecheckNadrieril2020-02-091-7/+5
* Remove most TyExpr from normalizationNadrieril2020-02-091-3/+3
* Remove most reliance on types stored in ValueNadrieril2020-02-091-4/+4
* More nice errors plus some refactorNadrieril2020-02-021-3/+3
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-301-1/+1
* No need for the current env to tck Foo/build closuresNadrieril2020-01-301-13/+0
* Cleanup variable handlingNadrieril2020-01-291-5/+5
* Move envs to their own filesNadrieril2020-01-291-0/+137