summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Thread cx through normalizationNadrieril2020-12-071-8/+8
* Thread cx through typecheckNadrieril2020-12-071-4/+12
* Fix clippy warningsNadrieril2020-04-051-2/+2
* Brutally make all of dhall pubNadrieril2020-03-311-2/+2
* Run clippyNadrieril2020-03-171-6/+6
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 06:54:59 +0000