language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Combine bounds

Browse source
This commit is contained in:
Joshua Warner 2022-11-05 17:41:02 -04:00
parent 5d5b71a083
commit ac5aa8d8ee
No known key found for this signature in database
GPG key ID: 89AD497003F93FDD
1 changed files with 11 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

33
crates/compiler/parse/src/blankspace.rs
View file

@ -14,10 +14,8 @@ pub fn space0_around_ee<'a, P, S, E>(
indent_after_problem: fn(Position) -> E, indent_after_problem: fn(Position) -> E,
) -> impl Parser<'a, Loc<S>, E> ) -> impl Parser<'a, Loc<S>, E>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a, P: 'a + Parser<'a, Loc<S>, E>,
P: Parser<'a, Loc<S>, E>,
P: 'a,
E: 'a + SpaceProblem, E: 'a + SpaceProblem,
{ {
parser::map_with_arena( parser::map_with_arena(
@ -34,10 +32,8 @@ pub fn space0_around_e_no_after_indent_check<'a, P, S, E>(
indent_before_problem: fn(Position) -> E, indent_before_problem: fn(Position) -> E,
) -> impl Parser<'a, Loc<S>, E> ) -> impl Parser<'a, Loc<S>, E>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a, P: 'a + Parser<'a, Loc<S>, E>,
P: Parser<'a, Loc<S>, E>,
P: 'a,
E: 'a + SpaceProblem, E: 'a + SpaceProblem,
{ {
parser::map_with_arena( parser::map_with_arena(
@ -55,10 +51,8 @@ pub fn space0_before_optional_after<'a, P, S, E>(
indent_after_problem: fn(Position) -> E, indent_after_problem: fn(Position) -> E,
) -> impl Parser<'a, Loc<S>, E> ) -> impl Parser<'a, Loc<S>, E>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a, P: 'a + Parser<'a, Loc<S>, E>,
P: Parser<'a, Loc<S>, E>,
P: 'a,
E: 'a + SpaceProblem, E: 'a + SpaceProblem,
{ {
parser::map_with_arena( parser::map_with_arena(
@ -84,8 +78,7 @@ fn spaces_around_help<'a, S>(
), ),
) -> Loc<S> ) -> Loc<S>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a,
{ {
let (spaces_before, (loc_val, spaces_after)) = tuples; let (spaces_before, (loc_val, spaces_after)) = tuples;
@ -117,10 +110,8 @@ pub fn space0_before_e<'a, P, S, E>(
indent_problem: fn(Position) -> E, indent_problem: fn(Position) -> E,
) -> impl Parser<'a, Loc<S>, E> ) -> impl Parser<'a, Loc<S>, E>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a, P: 'a + Parser<'a, Loc<S>, E>,
P: Parser<'a, Loc<S>, E>,
P: 'a,
E: 'a + SpaceProblem, E: 'a + SpaceProblem,
{ {
parser::map_with_arena( parser::map_with_arena(
@ -142,10 +133,8 @@ pub fn space0_after_e<'a, P, S, E>(
indent_problem: fn(Position) -> E, indent_problem: fn(Position) -> E,
) -> impl Parser<'a, Loc<S>, E> ) -> impl Parser<'a, Loc<S>, E>
where where
S: Spaceable<'a>, S: 'a + Spaceable<'a>,
S: 'a, P: 'a + Parser<'a, Loc<S>, E>,
P: Parser<'a, Loc<S>, E>,
P: 'a,
E: 'a + SpaceProblem, E: 'a + SpaceProblem,
{ {
parser::map_with_arena( parser::map_with_arena(