summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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