summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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