summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-07Various parsing tweaksNadrieril1-3/+3
2019-08-06Generalize empty list annotationsNadrieril1-2/+6
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril3-42/+66
2019-08-06rustfmtNadrieril1-1/+2
2019-08-06Auto-generate typechecking tests listNadrieril1-395/+0
2019-08-06Change some testsNadrieril1-0/+5
2019-08-06RFC3986 URLsNadrieril1-1/+7
2019-08-06Add some testsNadrieril1-0/+10
2019-08-06Add some new tests and implement import alternativesNadrieril2-3/+3
2019-08-06rustfmtNadrieril1-7/+10
2019-08-06Update dhall-lang submoduleNadrieril1-0/+2
2019-08-06Remove old-style optional literalsNadrieril3-37/+16
2019-08-06Inline headersNadrieril3-15/+21
2019-08-03rustfmtNadrieril2-26/+64
2019-08-03Update dhall-lang submoduleNadrieril1-12/+12
2019-08-03Update dhall-lang submoduleNadrieril1-2/+2
2019-08-03Simplify Const checking logicFintanH1-11/+7
2019-08-01Add typechecking for RecursiveRecordTypeMerge.FintanH2-7/+117
2019-08-01Mark RecursiveRecordMerge as unreachableFintanH1-0/+1
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH2-8/+126
2019-07-31Add unreachable call for RightBasedRecordMerge caseFintanH1-0/+1
2019-07-31Reuse the merge_maps function to implement the right-biased unionFintanH2-7/+7