summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Revert "Implement PartialEq manually for ValueKind"Nadrieril1-64/+1
2020-01-17Implement PartialEq manually for ValueKindNadrieril1-1/+64
2020-01-17Construct T/Build closures in Expr spaceNadrieril1-6/+0
2020-01-17s/TypecheckContext/TyCtx/Nadrieril2-10/+8
2020-01-17Make TypecheckContext a named structNadrieril1-9/+11
2020-01-17TypecheckContext doesn't need RcNadrieril1-14/+18
2020-01-17TypecheckContext doesn't need PartialEqNadrieril1-9/+0
2019-12-24Ensure inferred type is always in normal formNadrieril1-0/+3
2019-12-20Move ValueKind into value.rsNadrieril4-275/+265
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20s/ExprF/ExprKind/Nadrieril2-5/+5
2019-12-20Move error module to root of crateNadrieril2-2/+2
2019-12-19Move out conversion from value back to ast to its own fileNadrieril2-90/+17
2019-12-19Rename ValueF to ValueKindNadrieril6-362/+372
2019-12-15Refer to semantics module properlyNadrieril3-15/+15
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril4-15/+13
2019-12-15Move contents of dhall under a semantics submoduleNadrieril5-0/+1105
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 00:09:51 +0000