summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-08-15Custom Debug impls to improve debug legibilityNadrieril2-3/+37
2019-08-15Remove special closures from ValueNadrieril3-136/+62
Instead construct their values directly
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
They weren't worth it
2019-08-12Fix a testNadrieril1-2/+0
2019-08-10Remove dhall::expr!() macroNadrieril6-61/+137
It's a lot of hassle for not a lot of benefit
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
The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments.
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 23:32:22 +0000