summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-0/+2
2019-08-06Generalize empty list annotationsNadrieril2-2/+8
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril4-45/+71
2019-08-06rustfmtNadrieril1-1/+2
2019-08-06Add toMap keywordNadrieril1-0/+21
2019-08-06Auto-generate typechecking tests listNadrieril2-398/+33
2019-08-06Change URL parsingNadrieril1-0/+1
2019-08-06Change some testsNadrieril2-15/+18
2019-08-06RFC3986 URLsNadrieril2-3/+25
2019-08-06Add some testsNadrieril2-2/+28
2019-08-06Add some new tests and implement import alternativesNadrieril3-4/+4
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 headersNadrieril4-15/+29
2019-08-03rustfmtNadrieril2-26/+64
2019-08-03Update dhall-lang submoduleNadrieril1-5/+10
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.FintanH3-7/+120
2019-08-01Mark RecursiveRecordMerge as unreachableFintanH1-0/+1
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH3-8/+129
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
2019-07-31Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2-5/+48
2019-05-12Finish implementing binary encodingNadrieril2-8/+11
2019-05-12clippyNadrieril6-126/+118
2019-05-12Split-off printer and binary encoding tests from parser testsNadrieril2-37/+85