summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core/value.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-4/+4
2019-08-26Check correctness of type info in a few more placesNadrieril1-17/+43
2019-08-25Remove now unnecessary VoVF enumNadrieril1-68/+27
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril1-17/+15
2019-08-25Enforce type information almost everywhereNadrieril1-30/+36
2019-08-25Check consistency of type informationNadrieril1-25/+28
2019-08-25Keep type information through normalizationNadrieril1-11/+28
2019-08-21Don't use take_mut::take lightly since normalize_whnf might panicNadrieril1-9/+18
2019-08-20Reduce API surface of dhall crateNadrieril1-8/+5
2019-08-20Propagate type information in Value::app()Nadrieril1-8/+15
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril1-26/+18
2019-08-20No need for Cow in return type of get_typeNadrieril1-3/+2
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril1-3/+51
2019-08-20Naming tweaksNadrieril1-3/+3
2019-08-20Add Value::from_builtinNadrieril1-2/+5
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril1-5/+2
2019-08-20CleanupNadrieril1-13/+3
2019-08-19Tweak Value APINadrieril1-28/+19
2019-08-19Merge TypedValue and ValueNadrieril1-129/+63
2019-08-19Reduce untyped construction of ValuesNadrieril1-40/+28
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-28/+20
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-20/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-26 03:52:31 +0000