summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-13Store Imports in their own node instead of in EmbedNadrieril4-13/+25
2019-08-13Considerably simplify Embed handlingNadrieril4-10/+4
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril5-30/+28
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril4-39/+36
2019-08-13TyposNadrieril1-2/+2
2019-08-13s/TypeThunk/TypedThunk/gNadrieril5-86/+96
2019-08-13Swap Typed and TypeThunkNadrieril2-91/+129
2019-08-13Add new error type for serde_dhallNadrieril2-13/+1
2019-08-13Move api into its own crateNadrieril8-505/+16
2019-08-12Remove ensure_... macros in typecheckNadrieril1-115/+89
2019-08-12Fix a testNadrieril1-2/+0
2019-08-10Remove dhall::expr!() macroNadrieril6-61/+137
2019-08-10Update dhall-lang submoduleNadrieril2-4/+22
2019-08-08Update dhall-lang submoduleNadrieril2-0/+4
2019-08-08Add support for dependent typesNadrieril8-27/+87
2019-08-07Update dhall-lang submoduleNadrieril2-0/+4
2019-08-07Flatten nested let bindingsNadrieril2-6/+43
2019-08-07Normalize field selection further by inspecting the argumentNadrieril1-0/+12
2019-08-07Remove an annoying redundancy in the test harnessNadrieril3-50/+33
2019-08-07Add binary-decode testsNadrieril3-3/+74
2019-08-07Add truncated Natural subtractionNadrieril2-0/+11
2019-08-07Remove union literals from the languageNadrieril4-37/+6
2019-08-07Various parsing tweaksNadrieril2-7/+3