summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/nir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Normalize `with` by mutation.Nadrieril2020-11-031-0/+24
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-061-4/+3
* Move builtins module up a levelNadrieril2020-04-061-2/+3
* Extract operation-related code to a new moduleNadrieril2020-04-061-1/+2
* Only need to store OpKind in NirNadrieril2020-04-061-9/+12
* Avoid a few allocationsNadrieril2020-04-061-3/+5
* Factor our operations in normalizationNadrieril2020-04-061-2/+2
* Split off operations from main expr enumNadrieril2020-04-061-22/+24
* 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