language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix 'implements' variable in types

Browse source
This commit is contained in:
Joshua Warner 2024-12-15 16:32:03 -08:00
parent cc611533e0
commit d6d396b887
No known key found for this signature in database
GPG key ID: 89AD497003F93FDD
5 changed files with 61 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -0,0 +1,2 @@
N := e -> (implements)
I

51
crates/compiler/test_syntax/tests/snapshots/pass/sneaky_implements_in_opaque_fn_type.expr.result-ast Normal file
View file

@ -0,0 +1,51 @@
@0-20 SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(0),
],
regions: [
@0-18,
],
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: [
Opaque {
header: TypeHeader {
name: @0-1 "N",
vars: [],
},
typ: @3-17 Function(
[
@3-4 BoundVariable(
"e",
),
],
Pure,
@7-17 BoundVariable(
"implements",
),
),
derived: None,
},
],
value_defs: [],
},
@19-20 SpaceBefore(
Tag(
"I",
),
[
Newline,
],
),
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
N:=e->(implements)
I

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

@ -655,6 +655,7 @@ mod test_snapshots {
pass/single_arg_closure.expr,
pass/single_arg_with_underscore_closure.expr,
pass/single_underscore_closure.expr,
pass/sneaky_implements_in_opaque_fn_type.expr,
pass/space_before_colon.full,
pass/space_before_parens_space_after.expr,
pass/space_only_after_minus.expr,