summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/parser.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-16Use `!` type instead of custom empty typeNadrieril1-2/+2
2019-08-15Include precedence parsing in parser macrosNadrieril1-133/+187
2019-08-15No need for manual stack handling in parser anymoreNadrieril1-142/+96
2019-08-15Use precedence climbing to parse expressions with operatorsNadrieril1-119/+108
2019-08-13Implement inline headers parsingNadrieril1-14/+14
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-7/+7
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-35/+4
2019-08-08Add support for dependent typesNadrieril1-0/+12
2019-08-07Add truncated Natural subtractionNadrieril1-0/+1
2019-08-07Remove union literals from the languageNadrieril1-48/+3
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-2/+21
2019-08-07Sort labels in projection expressionsNadrieril1-3/+3
2019-08-06Generalize empty list annotationsNadrieril1-4/+6
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril1-1/+2
2019-08-06Add toMap keywordNadrieril1-0/+1
2019-08-06RFC3986 URLsNadrieril1-0/+7
2019-08-06Braced escape sequencesNadrieril1-4/+24
2019-08-06Remove old-style optional literalsNadrieril1-15/+3
2019-08-03Update dhall-lang submoduleNadrieril1-0/+1
2019-08-03Update dhall-lang submoduleNadrieril1-5/+13
2019-05-12clippyNadrieril1-2/+2
2019-05-12Implement binary encodingNadrieril1-7/+6
2019-05-10Write a custom map type that allows duplicatesNadrieril1-23/+14
2019-05-09Detect duplicate record fields in typecheckNadrieril1-14/+23
2019-05-09Update dhall-lang submoduleNadrieril1-27/+56
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-15/+9
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-9/+15
2019-05-04Thread Spans through the ASTNadrieril1-82/+80
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-1/+1
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_syntaxNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-1/+22
2019-05-02Update dhall-lang submoduleNadrieril1-71/+51
2019-05-02Update dhall-lang submoduleNadrieril1-3/+7
2019-05-02Update dhall-lang submoduleNadrieril1-22/+35
2019-04-20An empty optional value is purely semanticNadrieril1-1/+1
2019-04-20improved_slice_patterns now returns ownership on errorNadrieril1-1/+1
2019-04-19Make App() only store one argumentNadrieril1-2/+2
2019-04-18Deprecate some thingsNadrieril1-1/+1
2019-04-16rustfmtNadrieril1-1/+2
2019-04-16Update dhall-lang submoduleNadrieril1-6/+11
2019-04-16Tiny rename to save myself a lot of painNadrieril1-27/+27
2019-04-16Handle nullary union variantsNadrieril1-1/+8
2019-04-16Prepare for nullary union variantsNadrieril1-11/+11
2019-04-15Handle empty optionals correctlyNadrieril1-6/+2
2019-04-14clippyNadrieril1-1/+1
2019-04-14Rename iter_patterns to improved_slice_patternsNadrieril1-1/+1
2019-04-13Fix `let` parsingNadrieril1-1/+1