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

Fix where precedence vs apply

Browse source
This commit is contained in:
Joshua Warner 2025-01-01 13:52:37 -05:00
parent ea7d856e16
commit 6fcc367af4
No known key found for this signature in database
GPG key ID: 89AD497003F93FDD
5 changed files with 67 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/fmt/src/annotation.rs
View file

@ -1191,7 +1191,7 @@ impl<'a> Nodify<'a> for TypeAnnotation<'a> {
}, },
after: last_after, after: last_after,
needs_indent, needs_indent,
prec: Prec::Term, prec: Prec::AsType,
} }
} }
} }

2
crates/compiler/test_syntax/tests/snapshots/pass/where_in_tuple_plain.expr.formatted.roc Normal file
View file

@ -0,0 +1,2 @@
1 : A (* where e implements J) *
l

61
crates/compiler/test_syntax/tests/snapshots/pass/where_in_tuple_plain.expr.result-ast Normal file
View file

@ -0,0 +1,61 @@
@0-30 SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-28,
],
space_before: [
Slice<roc_parse::ast::CommentOrNewline> { start: 0, length: 0 },
],
space_after: [
Slice<roc_parse::ast::CommentOrNewline> { start: 0, length: 0 },
],
spaces: [],
type_defs: [],
value_defs: [
Annotation(
@0-1 NumLiteral(
"1",
),
@2-28 Apply(
"",
"A",
[
@4-25 Where(
@4-5 Wildcard,
[
@11-25 ImplementsClause {
var: @11-12 "e",
abilities: [
@24-25 Apply(
"",
"J",
[],
),
],
},
],
),
@27-28 Wildcard,
],
),
),
],
},
@29-30 SpaceBefore(
Var {
module_name: "",
ident: "l",
},
[
Newline,
],
),
),
[
Newline,
],
)

2
crates/compiler/test_syntax/tests/snapshots/pass/where_in_tuple_plain.expr.roc Normal file
View file

@ -0,0 +1,2 @@
1:A(*where e implements J) *
l

1
crates/compiler/test_syntax/tests/test_snapshots.rs
View file

@ -783,6 +783,7 @@ mod test_snapshots {
pass/where_clause_on_newline.expr, pass/where_clause_on_newline.expr,
pass/where_ident.expr, pass/where_ident.expr,
pass/where_in_tuple_after_comment.expr, pass/where_in_tuple_after_comment.expr,
pass/where_in_tuple_plain.expr,
pass/zero_float.expr, pass/zero_float.expr,
pass/zero_int.expr, pass/zero_int.expr,
// END SNAPSHOTS (for automatic test detection via `env ROC_SNAPSHOT_TEST_OVERWRITE=1 cargo test`) // END SNAPSHOTS (for automatic test detection via `env ROC_SNAPSHOT_TEST_OVERWRITE=1 cargo test`)