summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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