summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/mod.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Take Hir for typecheckNadrieril2020-02-091-0/+1
|
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-0/+2
|
* Move parse and resolve up a levelNadrieril2020-01-301-1/+2
|
* Move Value-related stuff under semantics::nzeNadrieril2020-01-301-2/+0
|
* Move builtins-related code to its own moduleNadrieril2020-01-301-0/+2
|
* Move envs to their own filesNadrieril2020-01-291-0/+1
|
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-0/+1
| | | | Inspired from dhall_haskell
* Introduce intermediate representation that stores typed exprNadrieril2020-01-181-1/+2
|
* Implement traverse_ref for ValueKindNadrieril2020-01-171-0/+1
|
* Move error module to root of crateNadrieril2019-12-201-1/+0
|
* Move out conversion from value back to ast to its own fileNadrieril2019-12-191-0/+1
|
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-0/+3