diff options
author | Nadrieril | 2019-09-18 22:37:30 +0200 |
---|---|---|
committer | Nadrieril | 2019-09-18 22:37:30 +0200 |
commit | bf417fadb206d6d2351a13cd7c6988977a46dd33 (patch) | |
tree | 06effc0f10795a208e929bdf9fdbbbfa6d94cc31 /pest_consume/examples/csv/csv.pest | |
parent | f8341503c778db92f46fa9f6f368a2013e4c0c1a (diff) |
Extract pest_consume into its own crate
Diffstat (limited to '')
-rw-r--r-- | pest_consume/examples/csv/csv.pest | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/pest_consume/examples/csv/csv.pest b/pest_consume/examples/csv/csv.pest deleted file mode 100644 index a67af8c..0000000 --- a/pest_consume/examples/csv/csv.pest +++ /dev/null @@ -1,15 +0,0 @@ -WHITESPACE = _{ " "+ } -newline = _{ "\r\n" | "\n" } -number = { "-"? ~ (ASCII_DIGIT | ".")+ } -string = { (!"'" ~ ASCII)* } -field = ${ - number - | "'" ~ string ~ "'" -} -record = { - field ~ ("," ~ field)* - | "" -} -file = { - SOI ~ record ~ (newline ~ record)* ~ newline? ~ EOI -} |