summaryrefslogtreecommitdiff
path: root/dhall/src/operations (follow)
Commit message (Collapse)AuthorAgeFilesLines
* chore: fix clippy warningsNadrieril2021-01-221-4/+2
|
* Thread cx through normalizationNadrieril2020-12-072-35/+43
|
* Thread cx through typecheckNadrieril2020-12-071-4/+4
|
* If can return a typeBasile Henry2020-11-271-2/+2
|
* Typecheck `with` using mutationNadrieril2020-11-031-43/+20
|
* Normalize `with` by mutation.Nadrieril2020-11-031-52/+24
| | | | | This is Cow-style mutation: we clone only what's shared and then mutate it. This it more legible and more efficient than the immutable version.
* Try to keep ownership of `Nir`s when convenientNadrieril2020-11-031-54/+51
| | | | | The goal is that we might avoid cloning internals in the common case where a value is not shared
* Handle record type properlyBasile Henry2020-11-021-1/+1
|
* Inline helper functionBasile Henry2020-11-021-8/+4
|
* Refactor following PR reviewBasile Henry2020-11-022-29/+20
|
* Handle partially abstract withBasile Henry2020-11-011-8/+29
|
* Implement normalization for With opBasile Henry2020-11-011-2/+43
|
* Implement type checking for With opBasile Henry2020-11-011-1/+50
|
* spec: Enable `with` optimizationsNadrieril2020-09-143-2/+5
|
* spec: fix precedence of `===` and `with`Nadrieril2020-06-251-2/+2
|
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-102-5/+5
|
* Split operations module into submodulesNadrieril2020-04-074-0/+919