language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

generalize

Browse source
This commit is contained in:
Folkert 2021-03-08 21:14:47 +01:00
parent 845307f94e
commit 8b9804adc2
1 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/parse/src/module.rs
View file

@ -406,7 +406,7 @@ fn provides_without_to_help<'a>() -> impl Parser<
), ),
collection_e!( collection_e!(
word1(b'[', EProvides::ListStart), word1(b'[', EProvides::ListStart),
exposes_entry(), exposes_entry(EProvides::Identifier),
word1(b',', EProvides::ListEnd), word1(b',', EProvides::ListEnd),
word1(b']', EProvides::ListEnd), word1(b']', EProvides::ListEnd),
min_indent, min_indent,
@ -416,9 +416,16 @@ fn provides_without_to_help<'a>() -> impl Parser<
) )
} }
fn exposes_entry<'a>() -> impl Parser<'a, Located<ExposesEntry<'a, &'a str>>, EProvides> { fn exposes_entry<'a, F, E>(
to_expectation: F,
) -> impl Parser<'a, Located<ExposesEntry<'a, &'a str>>, E>
where
F: Fn(crate::parser::Row, crate::parser::Col) -> E,
F: Copy,
E: 'a,
{
loc!(map!( loc!(map!(
specialize(|_, r, c| EProvides::Identifier(r, c), unqualified_ident()), specialize(|_, r, c| to_expectation(r, c), unqualified_ident()),
ExposesEntry::Exposed ExposesEntry::Exposed
)) ))
} }