summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir.
* 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
| | | | This allows encapsulating invariants properly and reducing clutter
* 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