summaryrefslogtreecommitdiff
path: root/dhall/src/builtins.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril1-43/+0
2020-04-07Move duplicate field checking to parserNadrieril1-4/+4
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-4/+118
2020-04-06Move builtins module up a levelNadrieril1-0/+0
2020-04-06Extract operation-related code to a new moduleNadrieril1-2/+3
2020-04-06Split off operations from main expr enumNadrieril1-14/+14
2020-03-31Introduce option builderNadrieril1-3/+3
2020-03-31Brutally make all of dhall pubNadrieril1-3/+3
2020-03-31Nir::normalize isn't usefulNadrieril1-7/+0
2020-03-31Improve handling of builtin types in NirNadrieril1-14/+17
2020-03-31Remove top-level Expr aliasesNadrieril1-2/+1
2020-03-31Rename LitKind to NumKindNadrieril1-27/+27
2020-03-17Run clippyNadrieril1-3/+3
2020-02-17Rename Value to NirNadrieril1-59/+59
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-56/+63
2020-02-11Remove the Embed variant from ExprKindNadrieril1-1/+1
2020-02-09Remove types from NzEnvNadrieril1-2/+5
2020-02-09Remove all types from ValueNadrieril1-11/+3
2020-02-09Take Hir for typecheckNadrieril1-5/+7
2020-02-09Remove extra types stored in ValueNadrieril1-22/+6
2020-02-09Remove most TyExpr from normalizationNadrieril1-9/+5
2020-02-09Remove move type propagation through ValueNadrieril1-31/+10
2020-02-05Normalize toMapNadrieril1-10/+5
2020-01-30Use OnceCell to enable returning &ValKindNadrieril1-3/+3
2020-01-30Clarify normalization to ensure we only nze onceNadrieril1-4/+3
2020-01-30Factor out text literals in ValueNadrieril1-44/+23
2020-01-30Remove type parameter from ValueKindNadrieril1-9/+4
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-1/+1
2020-01-30s/as_whnf/kind/Nadrieril1-20/+20
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-3/+77
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-5/+1
2020-01-30Clean importsNadrieril1-7/+8
2020-01-30Actually, no need for keeping extra args in apply_builtinNadrieril1-25/+10
2020-01-30Move builtins-related code to its own moduleNadrieril1-0/+511