summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/nir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Brutally make all of dhall pubNadrieril2020-03-311-21/+21
* Nir::normalize isn't usefulNadrieril2020-03-311-76/+0
* Improve handling of builtin types in NirNadrieril2020-03-311-8/+27
* Move conversion to SimpleVal/Ty to simple moduleNadrieril2020-03-311-81/+0
* Remove top-level Expr aliasesNadrieril2020-03-311-5/+5
* Rename LitKind to NumKindNadrieril2020-03-311-5/+5
* Add SimpleType to mirror SimpleValueNadrieril2020-03-311-1/+47
* Add SimpleValue type to facilitate deserializationNadrieril2020-03-311-0/+34
* Run clippyNadrieril2020-03-171-5/+5
* Remove useless `normalize` option from ToExprOptionsNadrieril2020-02-181-3/+0
* Remove spans from NirNadrieril2020-02-171-15/+7
* Rename Value to NirNadrieril2020-02-171-0/+521