summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/value.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+18
2020-01-29Remove dead codeNadrieril1-32/+0
2020-01-29Use TyExpr in TypedNadrieril1-6/+1
2020-01-28Implement assert & merge and fix more bugsNadrieril1-11/+36
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-6/+15
2020-01-28Fix all sorts of variable shenanigansNadrieril1-108/+10
2020-01-27Start rewriting value comparisonNadrieril1-0/+107
2020-01-25Enable comparing Closures for equalityNadrieril1-9/+11
2020-01-24Fix some variable shifting failuresNadrieril1-7/+11
2020-01-24Disable runtime type checksNadrieril1-6/+7
2020-01-24Normalize more expressionsNadrieril1-1/+5
2020-01-24Restore all types in Value::to_tyexprNadrieril1-48/+71
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-108/+159
2020-01-21Prepare Value for reverse variablesNadrieril1-14/+26
2020-01-21Simplify type error typeNadrieril1-2/+1
2020-01-19Restore more types in value_to_tyexprNadrieril1-23/+54
2020-01-18fixup! Introduce intermediate representation that stores typed exprNadrieril1-65/+62
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-8/+79
2020-01-17SimplifyNadrieril1-16/+10
2020-01-17Replace all bulk shifting by a single shiftNadrieril1-45/+0
2020-01-17Use alpha variables everywhereNadrieril1-1/+1
2020-01-17Implement bulk shiftingNadrieril1-21/+77
2020-01-17Simplify a bitNadrieril1-8/+18
2020-01-17Remove Shift/Subst traitsNadrieril1-80/+78
2020-01-17Simplify Shift and Subst instancesNadrieril1-127/+38
2020-01-17Remove binder idsNadrieril1-63/+4
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-21/+13
2020-01-17Simplify Value::to_exprNadrieril1-9/+9
2020-01-17Use binder ids for Value equalityNadrieril1-8/+68
2020-01-17Introduce a notion of binderNadrieril1-4/+4
2020-01-17Implement traverse_ref for ValueKindNadrieril1-0/+28
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-15/+18
2020-01-17Revert "Implement PartialEq manually for ValueKind"Nadrieril1-64/+1
2020-01-17Implement PartialEq manually for ValueKindNadrieril1-1/+64
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-4/+2
2019-12-24Ensure inferred type is always in normal formNadrieril1-0/+3
2019-12-20Move ValueKind into value.rsNadrieril1-6/+264
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-19Move out conversion from value back to ast to its own fileNadrieril1-16/+9
2019-12-19Rename ValueF to ValueKindNadrieril1-35/+35
2019-12-15Refer to semantics module properlyNadrieril1-7/+7
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-2/+1
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-1/+1
2019-11-11Add a few more pretty errorsNadrieril1-0/+3
2019-11-11Propagate more spansNadrieril1-2/+6
2019-11-11Store a `Span` in `Value`Nadrieril1-4/+19
2019-09-03Use map_mut in ValueF::normalize_mutNadrieril1-11/+0
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril1-20/+14
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:39:30 +0000