language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-11-01 21:40:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add some currently-passing tests

Browse source
This commit is contained in:
Joshua Warner 2024-12-01 10:24:22 -08:00
parent 085c5e2fe7
commit cfd83ffcdf
No known key found for this signature in database
GPG key ID: 89AD497003F93FDD
84 changed files with 1487 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

47
crates/compiler/test_syntax/tests/snapshots/pass/all_the_bangs.expr.result-ast Normal file
View file

@ -0,0 +1,47 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-1,
],
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: [
Stmt(
@0-1 Var {
module_name: "",
ident: "p",
},
),
],
},
@2-8 SpaceBefore(
UnaryOp(
@4-7 SpaceBefore(
TrySuffix {
target: Task,
expr: AccessorFunction(
RecordField(
"p!",
),
),
},
[
Newline,
],
),
@2-3 Not,
),
[
Newline,
],
),
)

3
crates/compiler/test_syntax/tests/snapshots/pass/all_the_bangs.expr.roc Normal file
View file

@ -0,0 +1,3 @@
p
!
.p!!

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

@ -0,0 +1,2 @@
A p : e
A

46
crates/compiler/test_syntax/tests/snapshots/pass/annotation_apply_newlines.expr.result-ast Normal file
View file

@ -0,0 +1,46 @@
Defs(
Defs {
tags: [
EitherIndex(0),
],
regions: [
@0-7,
],
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: [
Alias {
header: TypeHeader {
name: @0-1 "A",
vars: [
@3-4 SpaceBefore(
Identifier {
ident: "p",
},
[
Newline,
],
),
],
},
ann: @6-7 BoundVariable(
"e",
),
},
],
value_defs: [],
},
@8-9 SpaceBefore(
Tag(
"A",
),
[
Newline,
],
),
)

4
crates/compiler/test_syntax/tests/snapshots/pass/annotation_apply_newlines.expr.roc Normal file
View file

@ -0,0 +1,4 @@
A
p:
e
A

3
crates/compiler/test_syntax/tests/snapshots/pass/annotation_comment_before_colon.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
A e # g
: A
AA

55
crates/compiler/test_syntax/tests/snapshots/pass/annotation_comment_before_colon.expr.result-ast Normal file
View file

@ -0,0 +1,55 @@
Defs(
Defs {
tags: [
EitherIndex(0),
],
regions: [
@0-9,
],
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: [
Alias {
header: TypeHeader {
name: @0-1 "A",
vars: [
@3-4 SpaceAfter(
SpaceBefore(
Identifier {
ident: "e",
},
[
Newline,
],
),
[
LineComment(
"g",
),
],
),
],
},
ann: @8-9 Apply(
"",
"A",
[],
),
},
],
value_defs: [],
},
@10-12 SpaceBefore(
Tag(
"AA",
),
[
Newline,
],
),
)

4
crates/compiler/test_syntax/tests/snapshots/pass/annotation_comment_before_colon.expr.roc Normal file
View file

@ -0,0 +1,4 @@
A
e#g
:A
AA

3
crates/compiler/test_syntax/tests/snapshots/pass/applies_in_binop.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
Str.getUnsafe haystack haystackIndex
==
Str.getUnsafe needle needleIndex

56
crates/compiler/test_syntax/tests/snapshots/pass/applies_in_binop.expr.result-ast Normal file
View file

@ -0,0 +1,56 @@
SpaceAfter(
BinOps(
[
(
@0-36 SpaceAfter(
Apply(
@0-13 Var {
module_name: "Str",
ident: "getUnsafe",
},
[
@14-22 Var {
module_name: "",
ident: "haystack",
},
@23-36 Var {
module_name: "",
ident: "haystackIndex",
},
],
Space,
),
[
Newline,
],
),
@37-39 Equals,
),
],
@40-72 Apply(
@40-53 SpaceBefore(
Var {
module_name: "Str",
ident: "getUnsafe",
},
[
Newline,
],
),
[
@54-60 Var {
module_name: "",
ident: "needle",
},
@61-72 Var {
module_name: "",
ident: "needleIndex",
},
],
Space,
),
),
[
Newline,
],
)

3
crates/compiler/test_syntax/tests/snapshots/pass/applies_in_binop.expr.roc Normal file
View file

@ -0,0 +1,3 @@
Str.getUnsafe haystack haystackIndex
==
Str.getUnsafe needle needleIndex

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

@ -0,0 +1,2 @@
foo
|> Dict.keepIf \(k, _v) -> List.contains keysToDelete k |> Bool.not

72
crates/compiler/test_syntax/tests/snapshots/pass/apply_closure_pizza.expr.result-ast Normal file
View file

@ -0,0 +1,72 @@
SpaceAfter(
BinOps(
[
(
@0-3 SpaceAfter(
Var {
module_name: "",
ident: "foo",
},
[
Newline,
],
),
@4-6 Pizza,
),
],
@7-71 Apply(
@7-18 Var {
module_name: "Dict",
ident: "keepIf",
},
[
@19-71 Closure(
[
@20-27 Tuple(
[
@21-22 Identifier {
ident: "k",
},
@24-26 Underscore(
"v",
),
],
),
],
@31-71 BinOps(
[
(
@31-59 Apply(
@31-44 Var {
module_name: "List",
ident: "contains",
},
[
@45-57 Var {
module_name: "",
ident: "keysToDelete",
},
@58-59 Var {
module_name: "",
ident: "k",
},
],
Space,
),
@60-62 Pizza,
),
],
@63-71 Var {
module_name: "Bool",
ident: "not",
},
),
),
],
Space,
),
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
foo
|> Dict.keepIf \(k, _v) -> List.contains keysToDelete k |> Bool.not

1
crates/compiler/test_syntax/tests/snapshots/pass/binop_apply_complex.expr.formatted.roc Normal file
View file

@ -0,0 +1 @@
N < l (r * N)

40
crates/compiler/test_syntax/tests/snapshots/pass/binop_apply_complex.expr.result-ast Normal file
View file

@ -0,0 +1,40 @@
SpaceAfter(
BinOps(
[
(
@0-1 Tag(
"N",
),
@1-2 LessThan,
),
],
@2-7 Apply(
@2-3 Var {
module_name: "",
ident: "l",
},
[
@4-7 ParensAround(
BinOps(
[
(
@4-5 Var {
module_name: "",
ident: "r",
},
@5-6 Star,
),
],
@6-7 Tag(
"N",
),
),
),
],
Space,
),
),
[
Newline,
],
)

1
crates/compiler/test_syntax/tests/snapshots/pass/binop_apply_complex.expr.roc Normal file
View file

@ -0,0 +1 @@
N<l(r*N)

3
crates/compiler/test_syntax/tests/snapshots/pass/comment_before_pat_in_parens.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
#
6 : s
h

50
crates/compiler/test_syntax/tests/snapshots/pass/comment_before_pat_in_parens.expr.result-ast Normal file
View file

@ -0,0 +1,50 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-8,
],
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(
@4-5 SpaceBefore(
NumLiteral(
"6",
),
[
Newline,
LineComment(
"",
),
],
),
@7-8 BoundVariable(
"s",
),
),
],
},
@9-10 SpaceBefore(
Var {
module_name: "",
ident: "h",
},
[
Newline,
],
),
),
[
Newline,
],
)

4
crates/compiler/test_syntax/tests/snapshots/pass/comment_before_pat_in_parens.expr.roc Normal file
View file

@ -0,0 +1,4 @@
(
#
6):s
h

4
crates/compiler/test_syntax/tests/snapshots/pass/compare_apply_record.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
x
>
x {}
< r

46
crates/compiler/test_syntax/tests/snapshots/pass/compare_apply_record.expr.result-ast Normal file
View file

@ -0,0 +1,46 @@
SpaceAfter(
BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "x",
},
@1-2 GreaterThan,
),
(
@3-8 Apply(
@3-4 SpaceBefore(
Var {
module_name: "",
ident: "x",
},
[
Newline,
],
),
[
@4-8 Record(
Collection {
items: [],
final_comments: [
Newline,
Newline,
],
},
),
],
Space,
),
@8-9 LessThan,
),
],
@9-10 Var {
module_name: "",
ident: "r",
},
),
[
Newline,
],
)

4
crates/compiler/test_syntax/tests/snapshots/pass/compare_apply_record.expr.roc Normal file
View file

@ -0,0 +1,4 @@
x>
x{
}<r

3
crates/compiler/test_syntax/tests/snapshots/pass/crazy_pat_ann.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
0 #
f : f
t

57
crates/compiler/test_syntax/tests/snapshots/pass/crazy_pat_ann.expr.result-ast Normal file
View file

@ -0,0 +1,57 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-15,
],
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(
@1-11 Apply(
@1-11 SpaceAfter(
NumLiteral(
"0",
),
[
Newline,
LineComment(
"",
),
],
),
[
@12-13 Identifier {
ident: "f",
},
],
),
@14-15 BoundVariable(
"f",
),
),
],
},
@16-17 SpaceBefore(
Var {
module_name: "",
ident: "t",
},
[
Newline,
],
),
),
[
Newline,
],
)

4
crates/compiler/test_syntax/tests/snapshots/pass/crazy_pat_ann.expr.roc Normal file
View file

@ -0,0 +1,4 @@
((((0)
)#
))f:f
t

4
crates/compiler/test_syntax/tests/snapshots/pass/list_comma_newlines.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
[
s,
]

18
crates/compiler/test_syntax/tests/snapshots/pass/list_comma_newlines.expr.result-ast Normal file
View file

@ -0,0 +1,18 @@
List(
Collection {
items: [
@1-2 SpaceAfter(
Var {
module_name: "",
ident: "s",
},
[
Newline,
],
),
],
final_comments: [
Newline,
],
},
)

3
crates/compiler/test_syntax/tests/snapshots/pass/list_comma_newlines.expr.roc Normal file
View file

@ -0,0 +1,3 @@
[s
,
]

8
crates/compiler/test_syntax/tests/snapshots/pass/min_parens_number.expr.result-ast Normal file
View file

@ -0,0 +1,8 @@
UnaryOp(
@2-3 ParensAround(
Num(
"8",
),
),
@0-1 Negate,
)

1
crates/compiler/test_syntax/tests/snapshots/pass/min_parens_number.expr.roc Normal file
View file

@ -0,0 +1 @@
-(8)

1
crates/compiler/test_syntax/tests/snapshots/pass/minus_minus_six.expr.formatted.roc Normal file
View file

@ -0,0 +1 @@
-(-6)

10
crates/compiler/test_syntax/tests/snapshots/pass/minus_minus_six.expr.result-ast Normal file
View file

@ -0,0 +1,10 @@
ParensAround(
UnaryOp(
@3-5 ParensAround(
Num(
"-6",
),
),
@1-2 Negate,
),
)

1
crates/compiler/test_syntax/tests/snapshots/pass/minus_minus_six.expr.roc Normal file
View file

@ -0,0 +1 @@
(-(-6))

3
crates/compiler/test_syntax/tests/snapshots/pass/minus_newline_minus_minus.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
p
- -t
- 1

34
crates/compiler/test_syntax/tests/snapshots/pass/minus_newline_minus_minus.expr.result-ast Normal file
View file

@ -0,0 +1,34 @@
SpaceAfter(
BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "p",
},
@1-2 Minus,
),
(
@4-6 SpaceBefore(
UnaryOp(
@5-6 Var {
module_name: "",
ident: "t",
},
@4-5 Negate,
),
[
Newline,
],
),
@6-7 Minus,
),
],
@7-8 Num(
"1",
),
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
p-
-t-1

4
crates/compiler/test_syntax/tests/snapshots/pass/mul_comment_neg.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
n
* f
#
-f

35
crates/compiler/test_syntax/tests/snapshots/pass/mul_comment_neg.expr.result-ast Normal file
View file

@ -0,0 +1,35 @@
BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "n",
},
@1-2 Star,
),
],
@2-8 Apply(
@2-3 SpaceAfter(
Var {
module_name: "",
ident: "f",
},
[
Newline,
LineComment(
"",
),
],
),
[
@6-8 UnaryOp(
@7-8 Var {
module_name: "",
ident: "f",
},
@6-7 Negate,
),
],
Space,
),
)

3
crates/compiler/test_syntax/tests/snapshots/pass/mul_comment_neg.expr.roc Normal file
View file

@ -0,0 +1,3 @@
n*f
#
-f

3
crates/compiler/test_syntax/tests/snapshots/pass/multiline_apply_equals_multiline_apply.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
(MT q) = g
q
dbgT

74
crates/compiler/test_syntax/tests/snapshots/pass/multiline_apply_equals_multiline_apply.expr.result-ast Normal file
View file

@ -0,0 +1,74 @@
SpaceBefore(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@1-12,
],
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: [
Body(
@1-6 SpaceAfter(
Apply(
@1-3 Tag(
"MT",
),
[
@5-6 SpaceBefore(
Identifier {
ident: "q",
},
[
Newline,
],
),
],
),
[
Newline,
],
),
@8-12 Apply(
@8-9 Var {
module_name: "",
ident: "g",
},
[
@11-12 SpaceBefore(
Var {
module_name: "",
ident: "q",
},
[
Newline,
],
),
],
Space,
),
),
],
},
@13-17 SpaceBefore(
Var {
module_name: "",
ident: "dbgT",
},
[
Newline,
],
),
),
[
Newline,
],
)

6
crates/compiler/test_syntax/tests/snapshots/pass/multiline_apply_equals_multiline_apply.expr.roc Normal file
View file

@ -0,0 +1,6 @@
MT
q
=g
q
dbgT

7
crates/compiler/test_syntax/tests/snapshots/pass/neg_nested_parens.expr.formatted.roc Normal file
View file

@ -0,0 +1,7 @@
-(
0
(
1
d
)
)

49
crates/compiler/test_syntax/tests/snapshots/pass/neg_nested_parens.expr.result-ast Normal file
View file

@ -0,0 +1,49 @@
UnaryOp(
@2-8 ParensAround(
Apply(
@2-3 Num(
"0",
),
[
@4-7 ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@4-5,
],
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: [
Stmt(
@4-5 Num(
"1",
),
),
],
},
@6-7 SpaceBefore(
Var {
module_name: "",
ident: "d",
},
[
Newline,
],
),
),
),
],
Space,
),
),
@0-1 Negate,
)

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

@ -0,0 +1,2 @@
-(0(1
d))

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

@ -0,0 +1,2 @@
-(
4)

13
crates/compiler/test_syntax/tests/snapshots/pass/neg_newline_four.expr.result-ast Normal file
View file

@ -0,0 +1,13 @@
UnaryOp(
@3-4 ParensAround(
SpaceBefore(
Num(
"4",
),
[
Newline,
],
),
),
@0-1 Negate,
)

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

@ -0,0 +1,2 @@
-(
4)

6
crates/compiler/test_syntax/tests/snapshots/pass/negate_apply_parens_comment.expr.formatted.roc Normal file
View file

@ -0,0 +1,6 @@
-(
(
4
4
) 4
)

53
crates/compiler/test_syntax/tests/snapshots/pass/negate_apply_parens_comment.expr.result-ast Normal file
View file

@ -0,0 +1,53 @@
SpaceAfter(
UnaryOp(
@2-8 ParensAround(
Apply(
@3-6 ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@3-4,
],
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: [
Stmt(
@3-4 Num(
"4",
),
),
],
},
@5-6 SpaceBefore(
Num(
"4",
),
[
Newline,
],
),
),
),
[
@7-8 Num(
"4",
),
],
Space,
),
),
@0-1 Negate,
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
-((4
4)4)

6
crates/compiler/test_syntax/tests/snapshots/pass/negative_single_quote.expr.result-ast Normal file
View file

@ -0,0 +1,6 @@
UnaryOp(
@1-4 SingleQuote(
"i",
),
@0-1 Negate,
)

1
crates/compiler/test_syntax/tests/snapshots/pass/negative_single_quote.expr.roc Normal file
View file

@ -0,0 +1 @@
-'i'

4
crates/compiler/test_syntax/tests/snapshots/pass/not_double_parens.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
!(
E
)

25
crates/compiler/test_syntax/tests/snapshots/pass/not_double_parens.expr.result-ast Normal file
View file

@ -0,0 +1,25 @@
UnaryOp(
@3-7 SpaceBefore(
ParensAround(
SpaceAfter(
ParensAround(
SpaceBefore(
Tag(
"E",
),
[
Newline,
],
),
),
[
Newline,
],
),
),
[
Newline,
],
),
@0-1 Not,
)

4
crates/compiler/test_syntax/tests/snapshots/pass/not_double_parens.expr.roc Normal file
View file

@ -0,0 +1,4 @@
!
((
E)
)

42
crates/compiler/test_syntax/tests/snapshots/pass/not_record_updater.expr.result-ast Normal file
View file

@ -0,0 +1,42 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-1,
],
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: [
Stmt(
@0-1 Var {
module_name: "",
ident: "e",
},
),
],
},
@2-6 SpaceBefore(
UnaryOp(
@4-6 SpaceBefore(
RecordUpdater(
"s",
),
[
Newline,
],
),
@2-3 Not,
),
[
Newline,
],
),
)

3
crates/compiler/test_syntax/tests/snapshots/pass/not_record_updater.expr.roc Normal file
View file

@ -0,0 +1,3 @@
e
!
&s

4
crates/compiler/test_syntax/tests/snapshots/pass/not_tag.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
!(
C
2
)

38
crates/compiler/test_syntax/tests/snapshots/pass/not_tag.expr.result-ast Normal file
View file

@ -0,0 +1,38 @@
UnaryOp(
@2-5 ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@2-3,
],
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: [
Stmt(
@2-3 Tag(
"C",
),
),
],
},
@4-5 SpaceBefore(
Num(
"2",
),
[
Newline,
],
),
),
),
@0-1 Not,
)

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

@ -0,0 +1,2 @@
!(C
2)

4
crates/compiler/test_syntax/tests/snapshots/pass/p_return_f_minus_f.expr.formatted.roc Normal file
View file

@ -0,0 +1,4 @@
p
return #
f
-f

57
crates/compiler/test_syntax/tests/snapshots/pass/p_return_f_minus_f.expr.result-ast Normal file
View file

@ -0,0 +1,57 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-1,
],
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: [
Stmt(
@0-1 Var {
module_name: "",
ident: "p",
},
),
],
},
Return(
@2-16 SpaceBefore(
Apply(
@11-12 SpaceAfter(
Var {
module_name: "",
ident: "f",
},
[
Newline,
],
),
[
@14-16 UnaryOp(
@15-16 Var {
module_name: "",
ident: "f",
},
@14-15 Negate,
),
],
Space,
),
[
LineComment(
"",
),
],
),
None,
),
)

4
crates/compiler/test_syntax/tests/snapshots/pass/p_return_f_minus_f.expr.roc Normal file
View file

@ -0,0 +1,4 @@
p
return#
f
-f

5
crates/compiler/test_syntax/tests/snapshots/pass/parens_apply_newline.expr.formatted.roc Normal file
View file

@ -0,0 +1,5 @@
(
f
N
)
N #

73
crates/compiler/test_syntax/tests/snapshots/pass/parens_apply_newline.expr.result-ast Normal file
View file

@ -0,0 +1,73 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-5,
],
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: [
Stmt(
@0-5 ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@1-2,
],
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: [
Stmt(
@1-2 Var {
module_name: "",
ident: "f",
},
),
],
},
@3-4 SpaceBefore(
Tag(
"N",
),
[
Newline,
],
),
),
),
),
],
},
@6-7 SpaceBefore(
Tag(
"N",
),
[
Newline,
],
),
),
[
LineComment(
"",
),
],
)

3
crates/compiler/test_syntax/tests/snapshots/pass/parens_apply_newline.expr.roc Normal file
View file

@ -0,0 +1,3 @@
(f
N)
N#

3
crates/compiler/test_syntax/tests/snapshots/pass/parens_apply_not_parens.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
!(
4
) 4

23
crates/compiler/test_syntax/tests/snapshots/pass/parens_apply_not_parens.expr.result-ast Normal file
View file

@ -0,0 +1,23 @@
ParensAround(
Apply(
@1-6 UnaryOp(
@3-4 ParensAround(
SpaceAfter(
Num(
"4",
),
[
Newline,
],
),
),
@1-2 Not,
),
[
@6-7 Num(
"4",
),
],
Space,
),
)

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

@ -0,0 +1,2 @@
(!(4
)4)

3
crates/compiler/test_syntax/tests/snapshots/pass/parens_empty_record_apply.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
(
{}
) {}

23
crates/compiler/test_syntax/tests/snapshots/pass/parens_empty_record_apply.expr.result-ast Normal file
View file

@ -0,0 +1,23 @@
Apply(
@1-4 ParensAround(
Record(
Collection {
items: [],
final_comments: [
Newline,
],
},
),
),
[
@5-8 Record(
Collection {
items: [],
final_comments: [
Newline,
],
},
),
],
Space,
)

3
crates/compiler/test_syntax/tests/snapshots/pass/parens_empty_record_apply.expr.roc Normal file
View file

@ -0,0 +1,3 @@
({
}){
}

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

@ -0,0 +1,2 @@
1 (0 0) f : f
i

64
crates/compiler/test_syntax/tests/snapshots/pass/triple_paren_pat_ann.expr.result-ast Normal file
View file

@ -0,0 +1,64 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-13,
],
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 Apply(
@0-1 NumLiteral(
"1",
),
[
@2-9 Apply(
@3-4 NumLiteral(
"0",
),
[
@5-6 SpaceAfter(
NumLiteral(
"0",
),
[
Newline,
],
),
],
),
@10-11 Identifier {
ident: "f",
},
],
),
@12-13 BoundVariable(
"f",
),
),
],
},
@14-15 SpaceBefore(
Var {
module_name: "",
ident: "i",
},
[
Newline,
],
),
),
[
Newline,
],
)

3
crates/compiler/test_syntax/tests/snapshots/pass/triple_paren_pat_ann.expr.roc Normal file
View file

@ -0,0 +1,3 @@
1((0(0
)))f:f
i

7
crates/compiler/test_syntax/tests/snapshots/pass/tuple_apply_parens_comment.expr.formatted.roc Normal file
View file

@ -0,0 +1,7 @@
(
(
L
L
) L,
L,
) # \

57
crates/compiler/test_syntax/tests/snapshots/pass/tuple_apply_parens_comment.expr.result-ast Normal file
View file

@ -0,0 +1,57 @@
SpaceAfter(
Tuple(
[
@1-7 Apply(
@2-5 ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@2-3,
],
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: [
Stmt(
@2-3 Tag(
"L",
),
),
],
},
@4-5 SpaceBefore(
Tag(
"L",
),
[
Newline,
],
),
),
),
[
@6-7 Tag(
"L",
),
],
Space,
),
@8-9 Tag(
"L",
),
],
),
[
LineComment(
"\\",
),
],
)

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

@ -0,0 +1,2 @@
((L
L)L,L)#\

3
crates/compiler/test_syntax/tests/snapshots/pass/type_tuple_where_annotation.expr.formatted.roc Normal file
View file

@ -0,0 +1,3 @@
nextWhileLess : List Bucket, k, U8 -> (U64, U32) where k implements Hash & Eq
nextWhileLess = \buckets, key, shifts -> foo
nextWhileLess

120
crates/compiler/test_syntax/tests/snapshots/pass/type_tuple_where_annotation.expr.result-ast Normal file
View file

@ -0,0 +1,120 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-122,
],
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: [
AnnotatedBody {
ann_pattern: @0-13 Identifier {
ident: "nextWhileLess",
},
ann_type: @16-77 Where(
@16-48 Function(
[
@16-27 Apply(
"",
"List",
[
@21-27 Apply(
"",
"Bucket",
[],
),
],
),
@29-30 BoundVariable(
"k",
),
@32-34 Apply(
"",
"U8",
[],
),
],
Pure,
@38-48 Tuple {
elems: [
@39-42 Apply(
"",
"U64",
[],
),
@44-47 Apply(
"",
"U32",
[],
),
],
ext: None,
},
),
[
@55-77 ImplementsClause {
var: @55-56 "k",
abilities: [
@68-72 Apply(
"",
"Hash",
[],
),
@75-77 Apply(
"",
"Eq",
[],
),
],
},
],
),
lines_between: [
Newline,
],
body_pattern: @78-91 Identifier {
ident: "nextWhileLess",
},
body_expr: @94-122 Closure(
[
@95-102 Identifier {
ident: "buckets",
},
@104-107 Identifier {
ident: "key",
},
@109-115 Identifier {
ident: "shifts",
},
],
@119-122 Var {
module_name: "",
ident: "foo",
},
),
},
],
},
@123-136 SpaceBefore(
Var {
module_name: "",
ident: "nextWhileLess",
},
[
Newline,
],
),
),
[
Newline,
],
)

3
crates/compiler/test_syntax/tests/snapshots/pass/type_tuple_where_annotation.expr.roc Normal file
View file

@ -0,0 +1,3 @@
nextWhileLess : List Bucket, k, U8 -> (U64, U32) where k implements Hash & Eq
nextWhileLess = \buckets, key, shifts -> foo
nextWhileLess

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

@ -277,12 +277,17 @@ mod test_snapshots {
pass/ability_two_in_a_row.expr,
pass/add_var_with_spaces.expr,
pass/add_with_spaces.expr,
pass/all_the_bangs.expr,
pass/ann_closed_union.expr,
pass/ann_effectful_fn.expr,
pass/ann_open_union.expr,
pass/annotated_record_destructure.expr,
pass/annotated_tag_destructure.expr,
pass/annotated_tuple_destructure.expr,
pass/annotation_apply_newlines.expr,
pass/annotation_comment_before_colon.expr,
pass/applies_in_binop.expr,
pass/apply_closure_pizza.expr,
pass/apply_parenthetical_tag_args.expr,
pass/apply_tag.expr,
pass/apply_three_args.expr,
@ -296,6 +301,7 @@ mod test_snapshots {
pass/basic_tag.expr,
pass/basic_tuple.expr,
pass/basic_var.expr,
pass/binop_apply_complex.expr,
pass/call_bang.expr,
pass/call_bang_no_space.expr,
pass/closure_in_binop_with_spaces.expr,
@ -308,10 +314,13 @@ mod test_snapshots {
pass/comment_before_colon_def.expr,
pass/comment_before_equals_def.expr,
pass/comment_before_op.expr,
pass/comment_before_pat_in_parens.expr,
pass/comment_inside_empty_list.expr,
pass/comment_with_non_ascii.expr,
pass/compare_apply_record.expr,
pass/control_characters_in_scalar.expr,
pass/crash.expr,
pass/crazy_pat_ann.expr,
pass/dbg.expr,
pass/dbg_stmt.expr,
pass/dbg_stmt_multiline.expr,
@ -364,12 +373,16 @@ mod test_snapshots {
pass/list_closing_indent_not_enough.expr,
pass/list_closing_same_indent_no_trailing_comma.expr,
pass/list_closing_same_indent_with_trailing_comma.expr,
pass/list_comma_newlines.expr,
pass/list_minus_newlines.expr,
pass/list_pattern_weird_indent.expr,
pass/list_patterns.expr,
pass/lowest_float.expr,
pass/lowest_int.expr,
pass/min_parens_number.expr,
pass/minimal_app_header.header,
pass/minus_minus_six.expr,
pass/minus_newline_minus_minus.expr,
pass/minus_twelve_minus_five.expr,
pass/mixed_docs.expr,
pass/module_def_newline.moduledefs,
@ -379,10 +392,12 @@ mod test_snapshots {
pass/module_with_optional_param.header,
pass/module_with_params.header,
pass/module_with_params_and_multiline_exposes.header,
pass/mul_comment_neg.expr,
pass/multi_backpassing.expr,
pass/multi_backpassing_in_def.moduledefs,
pass/multi_backpassing_with_apply.expr,
pass/multi_char_string.expr,
pass/multiline_apply_equals_multiline_apply.expr,
pass/multiline_binop_when_with_comments.expr,
pass/multiline_str_in_pat.expr,
pass/multiline_string.expr,
@ -393,11 +408,15 @@ mod test_snapshots {
pass/multiple_fields.expr,
pass/multiple_operators.expr,
pass/neg_inf_float.expr,
pass/neg_nested_parens.expr,
pass/neg_newline_four.expr,
pass/negate_apply_parens_comment.expr,
pass/negate_multiline_string.expr,
pass/negate_multiline_string_with_quote.expr,
pass/negative_float.expr,
pass/negative_in_apply_def.expr,
pass/negative_int.expr,
pass/negative_single_quote.expr,
pass/nested_def_annotation.moduledefs,
pass/nested_if.expr,
pass/newline_after_equals.expr, // Regression test for https://github.com/roc-lang/roc/issues/51
@ -415,7 +434,10 @@ mod test_snapshots {
pass/nonempty_hosted_header.header,
pass/nonempty_package_header.header,
pass/nonempty_platform_header.header,
pass/not_double_parens.expr,
pass/not_multiline_string.expr,
pass/not_record_updater.expr,
pass/not_tag.expr,
pass/number_literal_suffixes.expr,
pass/old_app_header.full,
pass/old_interface_header.header,
@ -438,7 +460,11 @@ mod test_snapshots {
pass/outdented_colon_in_record.expr,
pass/outdented_list.expr,
pass/outdented_record.expr,
pass/p_return_f_minus_f.expr,
pass/packed_singleton_list.expr,
pass/parens_apply_newline.expr,
pass/parens_apply_not_parens.expr,
pass/parens_empty_record_apply.expr,
pass/parens_in_type_def_apply.expr,
pass/parenthesized_type_def.expr,
pass/parenthesized_type_def_space_before.expr,
@ -502,6 +528,7 @@ mod test_snapshots {
pass/tag_pattern.expr,
pass/ten_times_eleven.expr,
pass/three_arg_closure.expr,
pass/triple_paren_pat_ann.expr,
pass/try_blank_in_list.expr,
pass/try_function_after_pipe.expr,
pass/try_pipe_suffix.expr,
@ -509,6 +536,7 @@ mod test_snapshots {
pass/tuple_access_after_ident.expr,
pass/tuple_access_after_record.expr,
pass/tuple_accessor_function.expr,
pass/tuple_apply_parens_comment.expr,
pass/tuple_destructure_bang.expr,
pass/tuple_type.expr,
pass/tuple_type_ext.expr,
@ -519,6 +547,7 @@ mod test_snapshots {
pass/type_decl_with_underscore.expr,
pass/type_signature_def.expr,
pass/type_signature_function_def.expr,
pass/type_tuple_where_annotation.expr,
pass/unary_negation.expr,
pass/unary_negation_access.expr, // Regression test for https://github.com/roc-lang/roc/issues/509
pass/unary_negation_arg.expr,