From 06dc438038e3a57ea261f5e62adc926518ea72a7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guilhem=20Faur=C3=A9?= Date: Wed, 26 Apr 2023 15:04:58 +0200 Subject: [PATCH] higher priority for separators over pure text --- spip2md/spip.lark | 4 ++-- test/1.spip | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/spip2md/spip.lark b/spip2md/spip.lark index d6ac84b..a272964 100644 --- a/spip2md/spip.lark +++ b/spip2md/spip.lark @@ -9,7 +9,7 @@ start: _N? block ( _N+ block )+ _N* heading: "{{{" ( TEXT | link | nested_italic | nested_bold ) "}}}" -> h2 -SEPARATOR: "----" "-"* +SEPARATOR.9: "----" "-"* unordered_list: ( "-*" list_element _N )+ -> ul ordered_list: ( "-#" list_element _N )+ -> ol @@ -53,4 +53,4 @@ wikipedia_query: TEXT -> query // Pure text : // - Never contains line breaks // - Never contains curly braces -TEXT: /[^\r\n\{\}]/+ +TEXT.0: /[^\r\n\{\}]/+ diff --git a/test/1.spip b/test/1.spip index 78d7b67..2cda3bb 100644 --- a/test/1.spip +++ b/test/1.spip @@ -14,7 +14,8 @@ Un lien [lark->https://lark-parser.readthedocs.io] [lark->https://lark-parser.readthedocs.io] ----- --- +---- +--- {{{Short CV}}}