summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/nir.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Run clippyNadrieril2020-03-171-5/+5
|
* Remove useless `normalize` option from ToExprOptionsNadrieril2020-02-181-3/+0
|
* Remove spans from NirNadrieril2020-02-171-15/+7
| | | | | That info was too unreliable: we need clean tracking mechanisms if we want to improve error messages
* Rename Value to NirNadrieril2020-02-171-0/+521