summaryrefslogtreecommitdiff
path: root/dhall/src/core/valuef.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-323/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-2/+2
2019-11-11Capture absence of span in Span itselfNadrieril1-1/+2
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril1-16/+6
2019-09-03Use map_mut in ValueF::normalize_mutNadrieril1-5/+2
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril1-73/+30
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-3/+3
2019-08-25Remove now unnecessary VoVF enumNadrieril1-8/+2
2019-08-25Enforce type information almost everywhereNadrieril1-3/+0
2019-08-20Reduce API surface of dhall crateNadrieril1-13/+2
2019-08-20Use Ret in apply_builtinNadrieril1-6/+0
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril1-10/+22
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril1-3/+6
2019-08-20Naming tweaksNadrieril1-6/+5
2019-08-20Add Value::from_builtinNadrieril1-10/+0
2019-08-20CleanupNadrieril1-3/+3
2019-08-19Merge TypedValue and ValueNadrieril1-13/+13
2019-08-19Reduce untyped construction of ValuesNadrieril1-4/+10
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-3/+3
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-3/+4
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril1-21/+9
2019-08-17s/Thunk/Value/Nadrieril1-25/+25
2019-08-16Use generic Shift/Subst implsNadrieril1-128/+40
2019-08-16s/Value/ValueF/Nadrieril1-106/+106
2019-08-16Remove dead codeNadrieril1-1/+4
2019-08-16Reduce api surface of dhall crateNadrieril1-13/+6
2019-08-15rustfmtNadrieril1-2/+1
2019-08-15Fix variable substitutionNadrieril1-4/+2
2019-08-15Remove special closures from ValueNadrieril1-94/+1
2019-08-14Fix typo in normalizationNadrieril1-1/+1
2019-08-13Considerably simplify Embed handlingNadrieril1-5/+3
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-5/+5
2019-08-13s/TypeThunk/TypedThunk/gNadrieril1-12/+12
2019-08-10Remove dhall::expr!() macroNadrieril1-5/+45
2019-08-08Add support for dependent typesNadrieril1-1/+18
2019-08-07Remove union literals from the languageNadrieril1-12/+3
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril1-3/+5
2019-05-12clippyNadrieril1-1/+1
2019-05-09Make visibilities more consistentNadrieril1-13/+10
2019-05-09ExprF need not be generic in LabelNadrieril1-3/+1
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-53/+68
2019-05-09Detect duplicate record fields in typecheckNadrieril1-6/+6
2019-05-08Implement normalization of missing builtinsNadrieril1-2/+7
2019-05-07Promote shift and subst_shift to traitsNadrieril1-3/+7
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-103/+2
2019-05-07Small mistakeNadrieril1-1/+1
2019-05-07Document Value and ThunkNadrieril1-5/+16
2019-05-06Move main datatypes into their own modulesNadrieril1-0/+616
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 14:53:21 +0000