summaryrefslogtreecommitdiff
path: root/dhall_syntax (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-13Implement inline headers parsingNadrieril5-44/+80
2019-08-13Implement Hash for ParsedSubExprNadrieril2-6/+24
2019-08-13The syntax has very little sharing; no need for Rc anymoreNadrieril1-11/+5
2019-08-13Store Imports in their own node instead of in EmbedNadrieril4-20/+36
2019-08-13Cleanup visitor codeNadrieril1-139/+54
2019-08-13Considerably simplify Embed handlingNadrieril3-128/+44
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril4-35/+4
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril4-138/+84
2019-08-08Add support for dependent typesNadrieril4-1/+22
2019-08-07Add truncated Natural subtractionNadrieril3-0/+3
2019-08-07Remove union literals from the languageNadrieril4-63/+3
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-2/+21
2019-08-07Sort labels in projection expressionsNadrieril3-5/+100
2019-08-06Generalize empty list annotationsNadrieril2-5/+7
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2-3/+3
2019-08-06Add toMap keywordNadrieril1-0/+1
2019-08-06RFC3986 URLsNadrieril3-0/+9
2019-08-06Braced escape sequencesNadrieril1-4/+24
2019-08-06Add some new tests and implement import alternativesNadrieril2-0/+64
2019-08-06Remove old-style optional literalsNadrieril4-31/+3
2019-08-06Inline headersNadrieril1-0/+1
2019-08-03Update dhall-lang submoduleNadrieril1-0/+1
2019-08-03Update dhall-lang submoduleNadrieril4-9/+19
2019-05-12TweakNadrieril1-12/+12
2019-05-12clippyNadrieril3-5/+4
2019-05-12Implement binary encodingNadrieril5-50/+106
2019-05-10oopsNadrieril1-0/+1
2019-05-10Write a custom map type that allows duplicatesNadrieril6-39/+217
2019-05-09Small utility SubExpr::from_builtinNadrieril1-0/+4
2019-05-09ExprF need not be generic in LabelNadrieril3-194/+94
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-9/+13
2019-05-09Detect duplicate record fields in typecheckNadrieril3-31/+37
2019-05-09Update dhall-lang submoduleNadrieril2-27/+68
2019-05-08Rename the record combining operators internallyNadrieril3-11/+11
2019-05-08Implement normalization of missing builtinsNadrieril1-1/+12
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-1/+1
2019-05-07Reorganize dhall_syntaxNadrieril8-8/+12
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril2-108/+16
2019-05-04We actually don't need SubExpr::shift anymoreNadrieril1-81/+0
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril4-218/+187
2019-05-04Revert "Recover arrow type detection"Nadrieril2-47/+19
2019-05-04Recover arrow type detectionNadrieril2-19/+47
2019-05-04Make SubExpr generic in the variable labels typeNadrieril4-187/+218
2019-05-04Thread Spans through the ASTNadrieril3-127/+139
2019-05-04Move `Note`s into the spine of the ASTNadrieril4-235/+80
2019-05-04Remove dummy lifetimesNadrieril1-58/+55
2019-05-04Replace pest::Span with a custom non-borrowing implementationNadrieril1-25/+50
2019-05-04Rename dhall_core to dhall_syntaxNadrieril10-0/+3050