summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril5-109/+271
2020-01-21Prepare Value for reverse variablesNadrieril5-19/+49
2020-01-21Simplify type error typeNadrieril3-34/+14
2020-01-20Split TyEnv into two envsNadrieril1-102/+152
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril5-7/+414
2020-01-19Restore more types in value_to_tyexprNadrieril5-37/+93
2020-01-18fixup! Introduce intermediate representation that stores typed exprNadrieril1-65/+62
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril1-10/+12
2020-01-18Introduce intermediate representation that stores typed exprNadrieril7-128/+176
2020-01-17SimplifyNadrieril5-56/+34
2020-01-17Replace all bulk shifting by a single shiftNadrieril3-72/+8
2020-01-17Use alpha variables everywhereNadrieril3-27/+34
2020-01-17Implement bulk shiftingNadrieril4-63/+134
2020-01-17Tweak: handle empty lists in typeckNadrieril2-20/+14
2020-01-17Simplify a bitNadrieril3-33/+42
2020-01-17Remove Shift/Subst traitsNadrieril6-227/+115
2020-01-17Simplify Shift and Subst instancesNadrieril2-270/+39
2020-01-17Remove binder idsNadrieril4-156/+19
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril5-40/+75
2020-01-17Simplify Value::to_exprNadrieril2-78/+52
2020-01-17Use binder ids for Value equalityNadrieril2-8/+74
2020-01-17Store corresponding binder id in AlphaVarNadrieril2-11/+16
2020-01-17Assign a unique id to each binderNadrieril2-5/+25
2020-01-17Introduce a notion of binderNadrieril5-46/+56
2020-01-17Implement traverse_ref for ValueKindNadrieril4-0/+166
2020-01-17Parameterize ValueKind by its subnodesNadrieril4-23/+29
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 spaceNadrieril3-64/+58
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril3-24/+16
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 normalization respects var names on the noseNadrieril1-8/+8
2019-12-24Ensure inferred type is always in normal formNadrieril3-2/+17
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril1-7/+7
2019-12-24Extend merge to work on OptionalsNadrieril2-4/+36
2019-12-23Add two new Integer builtinsNadrieril2-0/+14
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22Implement parsing for record completionNadrieril2-0/+2
2019-12-22Update dhall-lang submoduleNadrieril1-1/+9
2019-12-20Move ValueKind into value.rsNadrieril8-279/+269
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20Fix some commentsNadrieril1-9/+2
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-3/+3
2019-12-20s/ExprF/ExprKind/Nadrieril5-90/+95
2019-12-20Move error module to root of crateNadrieril8-185/+6
2019-12-19Move out conversion from value back to ast to its own fileNadrieril5-91/+125
2019-12-19Rename ValueF to ValueKindNadrieril9-513/+523