summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Revert "Implement PartialEq manually for ValueKind"Nadrieril2020-01-171-64/+1
* Implement PartialEq manually for ValueKindNadrieril2020-01-171-1/+64
* Construct T/Build closures in Expr spaceNadrieril2020-01-171-6/+0
* s/TypecheckContext/TyCtx/Nadrieril2020-01-172-10/+8
* Make TypecheckContext a named structNadrieril2020-01-171-9/+11
* TypecheckContext doesn't need RcNadrieril2020-01-171-14/+18
* TypecheckContext doesn't need PartialEqNadrieril2020-01-171-9/+0
* Ensure inferred type is always in normal formNadrieril2019-12-241-0/+3
* Move ValueKind into value.rsNadrieril2019-12-204-275/+265
* Reorder value.rsNadrieril2019-12-201-81/+81
* s/ExprF/ExprKind/Nadrieril2019-12-202-5/+5
* Move error module to root of crateNadrieril2019-12-202-2/+2
* Move out conversion from value back to ast to its own fileNadrieril2019-12-192-90/+17
* Rename ValueF to ValueKindNadrieril2019-12-196-362/+372
* Refer to semantics module properlyNadrieril2019-12-153-15/+15
* Avoid mention of `crate::` outside of top-level importsNadrieril2019-12-154-15/+13
* Move contents of dhall under a semantics submoduleNadrieril2019-12-155-0/+1105