Garmelon/tada
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Turn strs into chars where possible

Browse source
This commit is contained in:
Joscha 2022-11-18 22:07:42 +01:00
parent 73e32252c4
commit 5466f7afbf
6 changed files with 24 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/parser/table_destr.rs
View file

@ -31,13 +31,13 @@ pub fn table_pattern() -> impl Parser<char, TablePattern, Error = Error> {
.then(space())
.map(|((s0, elem), s1)| (s0, elem, s1));
let trailing_comma = just(",").ignore_then(space()).or_not();
let trailing_comma = just(',').ignore_then(space()).or_not();
let elems = elem.separated_by(just(",")).then(trailing_comma);
let elems = elem.separated_by(just(',')).then(trailing_comma);
just("{")
just('{')
.ignore_then(elems)
.then_ignore(just("}"))
.then_ignore(just('}'))
.map_with_span(|(elems, trailing_comma), span| TablePattern {
elems,
trailing_comma,