summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Split off operations from main expr enumNadrieril2020-04-061-14/+14
* Introduce option builderNadrieril2020-03-311-3/+3
* Brutally make all of dhall pubNadrieril2020-03-311-3/+3
* Nir::normalize isn't usefulNadrieril2020-03-311-7/+0
* Improve handling of builtin types in NirNadrieril2020-03-311-14/+17
* Remove top-level Expr aliasesNadrieril2020-03-311-2/+1
* Rename LitKind to NumKindNadrieril2020-03-311-27/+27
* Run clippyNadrieril2020-03-171-3/+3
* Rename Value to NirNadrieril2020-02-171-59/+59
* Introduce LitKind to factor out common enum nodesNadrieril2020-02-111-56/+63
* Remove the Embed variant from ExprKindNadrieril2020-02-111-1/+1
* Remove types from NzEnvNadrieril2020-02-091-2/+5
* Remove all types from ValueNadrieril2020-02-091-11/+3
* Take Hir for typecheckNadrieril2020-02-091-5/+7
* Remove extra types stored in ValueNadrieril2020-02-091-22/+6
* Remove most TyExpr from normalizationNadrieril2020-02-091-9/+5
* Remove move type propagation through ValueNadrieril2020-02-091-31/+10
* Normalize toMapNadrieril2020-02-051-10/+5
* Use OnceCell to enable returning &ValKindNadrieril2020-01-301-3/+3
* Clarify normalization to ensure we only nze onceNadrieril2020-01-301-4/+3
* Factor out text literals in ValueNadrieril2020-01-301-44/+23
* Remove type parameter from ValueKindNadrieril2020-01-301-9/+4
* Move main API to lib.rsNadrieril2020-01-301-1/+1
* Introduce Thunks and normalize lazilyNadrieril2020-01-301-1/+1
* s/as_whnf/kind/Nadrieril2020-01-301-20/+20
* Encapsulate partially applied builtin in a separate structNadrieril2020-01-301-3/+77
* No need for the current env to tck Foo/build closuresNadrieril2020-01-301-5/+1
* Clean importsNadrieril2020-01-301-7/+8
* Actually, no need for keeping extra args in apply_builtinNadrieril2020-01-301-25/+10
* Move builtins-related code to its own moduleNadrieril2020-01-301-0/+511