summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Expand)AuthorFilesLines
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-20Reduce API surface of dhall crateNadrieril1-3/+3
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34
2019-08-20Use Ret in apply_builtinNadrieril1-90/+101
2019-08-20Propagate type information in Value::app()Nadrieril2-27/+18
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril1-32/+40
2019-08-20No need for Cow in return type of get_typeNadrieril2-23/+21
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril2-68/+90
2019-08-20Naming tweaksNadrieril2-32/+25
2019-08-20Add Value::from_builtinNadrieril1-25/+19
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril1-16/+27
2019-08-20CleanupNadrieril3-36/+59
2019-08-20Standardize records of mixed kindsNadrieril1-51/+17
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril2-150/+25
2019-08-20Tweak Ok/Err handling in typecheckNadrieril1-157/+128
2019-08-19Merge TypedValue and ValueNadrieril3-166/+117
2019-08-19Reduce untyped construction of ValuesNadrieril2-43/+62
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril3-262/+187
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril3-158/+149
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril1-8/+21
2019-08-17s/Thunk/Value/Nadrieril3-150/+152
2019-08-16s/Value/ValueF/Nadrieril3-184/+188
2019-08-16Try to minimize untyped TypedThunksNadrieril2-25/+36
2019-08-16Remove dead codeNadrieril3-34/+6
2019-08-16Typecheck before normalizing in testsNadrieril1-4/+1
2019-08-16Avoid capture when typechecking union constructorNadrieril1-2/+1
2019-08-16Reduce api surface of dhall crateNadrieril6-46/+41
2019-08-16Use `!` type instead of custom empty typeNadrieril1-3/+3
2019-08-15Disable some unused unstable featuresNadrieril3-4/+3
2019-08-15Remove special closures from ValueNadrieril1-42/+55
2019-08-13Implement inline headers parsingNadrieril2-35/+23
2019-08-13Implement Hash for ParsedSubExprNadrieril2-23/+34
2019-08-13Store Imports in their own node instead of in EmbedNadrieril4-13/+25
2019-08-13Considerably simplify Embed handlingNadrieril2-3/+1
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril3-19/+17
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril4-39/+36
2019-08-13s/TypeThunk/TypedThunk/gNadrieril3-41/+49
2019-08-13Swap Typed and TypeThunkNadrieril1-70/+25
2019-08-12Remove ensure_... macros in typecheckNadrieril1-115/+89
2019-08-10Remove dhall::expr!() macroNadrieril2-29/+81
2019-08-10Update dhall-lang submoduleNadrieril1-0/+13
2019-08-08Update dhall-lang submoduleNadrieril1-0/+1
2019-08-08Add support for dependent typesNadrieril3-23/+56
2019-08-07Update dhall-lang submoduleNadrieril1-0/+3
2019-08-07Flatten nested let bindingsNadrieril1-6/+40
2019-08-07Remove an annoying redundancy in the test harnessNadrieril1-2/+2
2019-08-07Add binary-decode testsNadrieril1-0/+21
2019-08-07Add truncated Natural subtractionNadrieril2-0/+11
2019-08-07Remove union literals from the languageNadrieril3-25/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-07 22:26:20 +0000