summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-25Keep type information through normalizationNadrieril3-90/+170
2019-08-23Clarify which syntax elements are completely handled in the tck phaseNadrieril2-25/+24
2019-08-23Keep type information after RecursiveRecordTypeMergeNadrieril2-89/+23
2019-08-21Don't use take_mut::take lightly since normalize_whnf might panicNadrieril1-9/+18
2019-08-20Reduce API surface of dhall crateNadrieril3-24/+10
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34
2019-08-20Use Ret in apply_builtinNadrieril2-96/+101
2019-08-20Propagate type information in Value::app()Nadrieril3-35/+33
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril3-68/+80
2019-08-20No need for Cow in return type of get_typeNadrieril4-27/+24
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril4-74/+147
2019-08-20Naming tweaksNadrieril4-41/+33
2019-08-20Add Value::from_builtinNadrieril3-37/+24
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril2-21/+29
2019-08-20CleanupNadrieril5-52/+65
2019-08-20Standardize records of mixed kindsNadrieril2-53/+17
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril3-151/+25
2019-08-20Tweak Ok/Err handling in typecheckNadrieril1-157/+128
2019-08-19Tweak Value APINadrieril1-28/+19
2019-08-19Merge TypedValue and ValueNadrieril7-354/+232
2019-08-19Reduce untyped construction of ValuesNadrieril5-108/+113
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril8-334/+255
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril7-192/+182
2019-08-18Merge ValueInternal and TypedValueInternalNadrieril1-111/+79
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril4-78/+85
2019-08-17s/Thunk/Value/Nadrieril8-925/+927
2019-08-16Share type alongside the value in a thunkNadrieril2-40/+110
2019-08-16Use generic Shift/Subst implsNadrieril3-192/+186
2019-08-16Store type in ThunkNadrieril2-58/+71
2019-08-16Remove Const-optimization for nowNadrieril1-14/+5
2019-08-16s/Value/ValueF/Nadrieril7-337/+343
2019-08-16Try to minimize untyped TypedThunksNadrieril3-32/+42
2019-08-16fixup! No need for generic Context anymoreNadrieril1-1/+1
2019-08-16Free variables don't exist anymoreNadrieril1-21/+13
2019-08-16No need for generic Context anymoreNadrieril1-75/+38
2019-08-16Remove dead codeNadrieril7-114/+27
2019-08-16Typecheck before normalizing in testsNadrieril3-17/+21
2019-08-16Avoid capture when typechecking union constructorNadrieril1-2/+1
2019-08-16Reduce api surface of dhall crateNadrieril10-98/+86
2019-08-16Use `!` type instead of custom empty typeNadrieril1-3/+3
2019-08-15rustfmtNadrieril1-2/+1
2019-08-15Disable some unused unstable featuresNadrieril5-11/+4
2019-08-15Fix variable substitutionNadrieril1-4/+2
2019-08-15Use precedence climbing to parse expressions with operatorsNadrieril1-2/+3
2019-08-15Custom Debug impls to improve debug legibilityNadrieril2-3/+37
2019-08-15Remove special closures from ValueNadrieril3-136/+62
2019-08-15Fix bug in shifting contextsNadrieril1-1/+10
2019-08-14Fix typo in normalizationNadrieril1-1/+1
2019-08-13Implement inline headers parsingNadrieril4-54/+28
2019-08-13Implement Hash for ParsedSubExprNadrieril2-23/+34