summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-09-10Rename various bits of the pest_consume APINadrieril1-3/+3
2019-09-10Use proc_macro_hack to avoid the need for the proc_macro_hygiene featureNadrieril1-1/+0
2019-09-10Allows using match_inputs outside of a make_parser implNadrieril1-18/+14
2019-09-10Implement parsing in PestConsumerNadrieril1-7/+7
2019-09-10Add dummy `entrypoint` attributeNadrieril1-0/+1
2019-09-10Use match_inputs for parser entrypointNadrieril1-7/+13
2019-09-10Rename parse_children to match_inputsNadrieril1-37/+37
2019-09-10Generalize parse_children and change its invocationNadrieril1-36/+36
2019-09-09Move pest_consume into its own crateNadrieril1-129/+3
2019-09-09Make ParseInput independent from dhall-specific typesNadrieril2-255/+261
2019-09-06Store Spans at every node when parsingNadrieril2-17/+51
2019-09-05Implement rule shortcutting, and cleanup make_parser codeNadrieril1-6/+17
2019-09-05Implement rule aliasing and simplify parser codeNadrieril1-246/+177
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril1-0/+46
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril5-225/+399
2019-09-03No need to change the type of Embed when resolving anymoreNadrieril2-14/+22
2019-09-03Upgrade rust toolchainNadrieril1-1/+0
2019-09-02Parse polymorphically in the Embed parameterNadrieril2-71/+78
2019-09-02We don't use the try_blocks feature anymoreNadrieril1-1/+0
2019-09-02Use proper hygiene for `Parsers` and `Rule`Nadrieril2-2/+8
2019-09-02Properly parse the argument of make_parser as an implNadrieril1-1/+3
2019-09-02Get rid of EntryPoint magicNadrieril1-43/+48
2019-09-02Avoid use of bind_by_move_pattern_guards featureNadrieril1-1/+0
2019-09-01Make make_parser into a proc_macro_attributeNadrieril1-1/+2
2019-09-01Change parser macros to use a function-like syntaxNadrieril2-748/+928
2019-09-01Rewrite the make_parser macro as a proc_macroNadrieril1-203/+6
2019-08-31Don't URL-decode path segmentsNadrieril2-22/+27
2019-08-31Implement parsing of `toMap` keywordNadrieril4-1/+23
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril4-72/+71
2019-08-27clippyNadrieril3-5/+5
2019-08-27s/token_rule/rule/Nadrieril1-20/+20
2019-08-27Rework parse macros to avoid the large ParsedValue enumNadrieril1-146/+139
2019-08-27Remove rule aliasingNadrieril1-107/+93
2019-08-26WordingNadrieril1-13/+13
2019-08-26Remove rule_group macroNadrieril1-22/+4
2019-08-26Match on rules in parser instead of on ParsedValuesNadrieril2-25/+129
2019-08-16Use `!` type instead of custom empty typeNadrieril4-15/+6
2019-08-15Include precedence parsing in parser macrosNadrieril2-133/+188
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 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 13:32:59 +0000