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

Merge pull request #7267 from joshuawarner32/fuzzing-bugs-2

Browse source 
Fix a bunch of parser/formatter bugs found in fuzzing
This commit is contained in:
Joshua Warner 2024-11-29 17:33:57 -08:00 • committed by GitHub
commit 364249a29d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
347 changed files with 8219 additions and 1162 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/test_syntax/fuzz/fuzz_targets/fuzz_module.rs
View file

@ -1,6 +1,6 @@
#![no_main]
use libfuzzer_sys::fuzz_target;
use bumpalo::Bump;
use libfuzzer_sys::fuzz_target;
use test_syntax::test_helpers::Input;
fuzz_target!(|data: &[u8]| {

6
crates/compiler/test_syntax/src/minimize.rs
View file

@ -102,6 +102,12 @@ fn round_trip_once(input: Input<'_>) -> Option<String> {
return Some("Different ast".to_string());
}
let reformatted = reparsed_ast.format();
if output != reformatted {
return Some("Formatting not stable".to_string());
}
None
}

2
crates/compiler/test_syntax/src/test_helpers.rs
View file

@ -239,7 +239,7 @@ impl<'a> Input<'a> {
self.as_str(),
output.as_ref().as_str(),
actual,
reparsed_ast_normalized
reparsed_ast
);
}

1
crates/compiler/test_syntax/tests/snapshots/fail/nested_tuples_annotation_terrible_perf.expr.result-ast Normal file
View file

@ -0,0 +1 @@
Expr(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(Type(TInParens(End(@78), @74), @72), @71), @69), @68), @66), @65), @61), @60), @58), @57), @53), @52), @50), @49), @47), @46), @44), @43), @41), @40), @39), @38), @36), @35), @31), @30), @28), @27), @23), @22), @20), @19), @17), @16), @11), @10), @8), @7), @3), @2), @2), @0)

1
crates/compiler/test_syntax/tests/snapshots/fail/nested_tuples_annotation_terrible_perf.expr.roc Normal file
View file

@ -0,0 +1 @@
.:(i,i,(i,(i,ii,(i,(i,(i,i,(i,(i,i,(i,(J(i,(i,(i,(i,(i,i,(i,(i,i,(i,(i,(i,(J[]

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

@ -0,0 +1,2 @@
M : r
h

43
crates/compiler/test_syntax/tests/snapshots/pass/alias_ann_in_parens.expr.result-ast Normal file
View file

@ -0,0 +1,43 @@
Defs(
Defs {
tags: [
EitherIndex(0),
],
regions: [
@0-6,
],
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 "M",
vars: [],
},
ann: @4-5 SpaceBefore(
BoundVariable(
"r",
),
[
Newline,
],
),
},
],
value_defs: [],
},
@7-8 SpaceBefore(
Var {
module_name: "",
ident: "h",
},
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
M:(
r)
h

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

@ -0,0 +1,3 @@
A #
p : e
A

48
crates/compiler/test_syntax/tests/snapshots/pass/alias_comment_after_head.expr.result-ast Normal file
View file

@ -0,0 +1,48 @@
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: [
@4-5 SpaceBefore(
Identifier {
ident: "p",
},
[
LineComment(
"",
),
],
),
],
},
ann: @6-7 BoundVariable(
"e",
),
},
],
value_defs: [],
},
@8-9 SpaceBefore(
Tag(
"A",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
A#
p:e
A

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

@ -0,0 +1,3 @@
K : #
s
K

44
crates/compiler/test_syntax/tests/snapshots/pass/alias_parens_comment.expr.result-ast Normal file
View file

@ -0,0 +1,44 @@
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 "K",
vars: [],
},
ann: @5-6 SpaceBefore(
BoundVariable(
"s",
),
[
LineComment(
"",
),
],
),
},
],
value_defs: [],
},
@8-9 SpaceBefore(
Tag(
"K",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
K:(#
s)
K

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

@ -0,0 +1,4 @@
O : O z
#
b #

59
crates/compiler/test_syntax/tests/snapshots/pass/alias_parens_comment_indent.expr.result-ast Normal file
View file

@ -0,0 +1,59 @@
SpaceAfter(
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 "O",
vars: [],
},
ann: @2-9 Apply(
"",
"O",
[
@4-5 SpaceAfter(
BoundVariable(
"z",
),
[
Newline,
LineComment(
"",
),
],
),
],
),
},
],
value_defs: [],
},
@10-11 SpaceBefore(
Var {
module_name: "",
ident: "b",
},
[
Newline,
],
),
),
[
LineComment(
"",
),
],
)

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

@ -0,0 +1,4 @@
O:O(z
#
)
b#

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

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

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!!

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

@ -0,0 +1,6 @@
r :
r
#
#
h

58
crates/compiler/test_syntax/tests/snapshots/pass/ann_parens_comments.expr.result-ast Normal file
View file

@ -0,0 +1,58 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-11,
],
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 Identifier {
ident: "r",
},
@4-5 SpaceBefore(
SpaceAfter(
BoundVariable(
"r",
),
[
Newline,
LineComment(
"",
),
LineComment(
"",
),
],
),
[
Newline,
],
),
),
],
},
@12-13 SpaceBefore(
Var {
module_name: "",
ident: "h",
},
[
Newline,
],
),
),
[
Newline,
],
)

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

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

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

@ -0,0 +1,3 @@
{ l: s #
} : s
o

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

@ -0,0 +1,51 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
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: [],
value_defs: [
Annotation(
@0-7 RecordDestructure(
[
@1-6 SpaceAfter(
RequiredField(
"l",
@5-6 Identifier {
ident: "s",
},
),
[
LineComment(
"",
),
],
),
],
),
@8-9 BoundVariable(
"s",
),
),
],
},
@10-11 SpaceBefore(
Var {
module_name: "",
ident: "o",
},
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
{l#
:s}:s
o

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

@ -0,0 +1,4 @@
k : [
T,
]m #
D

58
crates/compiler/test_syntax/tests/snapshots/pass/ann_tag_union_newline_comment.expr.result-ast Normal file
View file

@ -0,0 +1,58 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
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: [],
value_defs: [
Annotation(
@0-1 Identifier {
ident: "k",
},
@3-9 SpaceBefore(
TagUnion {
ext: Some(
@8-9 BoundVariable(
"m",
),
),
tags: Collection {
items: [
@4-5 Apply {
name: @4-5 "T",
args: [],
},
],
final_comments: [
Newline,
],
},
},
[
Newline,
],
),
),
],
},
@11-12 SpaceBefore(
Tag(
"D",
),
[
LineComment(
"",
),
],
),
)

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

@ -0,0 +1,4 @@
k:
[T,
]m#
D

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

@ -0,0 +1,5 @@
1 : (
f,
(ww -> p),
)e
Mh

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

@ -0,0 +1,61 @@
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 NumLiteral(
"1",
),
@2-13 Tuple {
elems: [
@3-4 SpaceAfter(
BoundVariable(
"f",
),
[
Newline,
],
),
@6-11 Function(
[
@6-8 BoundVariable(
"ww",
),
],
Pure,
@10-11 BoundVariable(
"p",
),
),
],
ext: Some(
@12-13 BoundVariable(
"e",
),
),
},
),
],
},
@14-16 SpaceBefore(
Tag(
"Mh",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
1:(f
,ww->p)e
Mh

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

@ -0,0 +1,3 @@
E : B
{} = B
B

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

@ -0,0 +1,50 @@
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: [
AnnotatedBody {
ann_pattern: Apply(
@0-1 Tag(
"E",
),
[],
),
ann_type: @2-3 Apply(
"",
"B",
[],
),
lines_between: [
Newline,
],
body_pattern: @4-6 RecordDestructure(
[],
),
body_expr: @7-8 Tag(
"B",
),
},
],
},
@9-10 SpaceBefore(
Tag(
"B",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
E:B
{}=B
B

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

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

@ -0,0 +1,51 @@
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 SpaceBefore(
BoundVariable(
"e",
),
[
Newline,
],
),
},
],
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

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

@ -0,0 +1,5 @@
3 :
( #
)n
-> n
0

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

@ -0,0 +1,56 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-10,
],
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(
"3",
),
@2-10 Function(
[
@2-7 Tuple {
elems: Collection {
items: [],
final_comments: [
LineComment(
"",
),
],
},
ext: Some(
@6-7 BoundVariable(
"n",
),
),
},
],
Pure,
@9-10 BoundVariable(
"n",
),
),
),
],
},
@12-13 SpaceBefore(
Num(
"0",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
3:(#
)n->n
0

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

@ -0,0 +1,4 @@
d : (
J,
)g
2

52
crates/compiler/test_syntax/tests/snapshots/pass/annotation_tuple_newline.expr.result-ast Normal file
View file

@ -0,0 +1,52 @@
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(
@0-1 Identifier {
ident: "d",
},
@2-8 Tuple {
elems: Collection {
items: [
@3-4 Apply(
"",
"J",
[],
),
],
final_comments: [
Newline,
],
},
ext: Some(
@7-8 BoundVariable(
"g",
),
),
},
),
],
},
@9-10 SpaceBefore(
Num(
"2",
),
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
d:(J,
)g
2

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

@ -0,0 +1,4 @@
p : (
)(
i)
{}

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

@ -0,0 +1,51 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
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: [],
value_defs: [
Annotation(
@0-1 Identifier {
ident: "p",
},
@2-9 Tuple {
elems: Collection {
items: [],
final_comments: [
Newline,
],
},
ext: Some(
@7-8 SpaceBefore(
BoundVariable(
"i",
),
[
Newline,
],
),
),
},
),
],
},
@10-12 SpaceBefore(
Record(
[],
),
[
Newline,
],
),
)

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

@ -0,0 +1,4 @@
p:(
)(
i)
{}

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_binop_switch.expr.formatted.roc Normal file
View file

@ -0,0 +1,2 @@
i < 2
-6

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

@ -0,0 +1,51 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-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(
@0-3 BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "i",
},
@1-2 LessThan,
),
],
@2-3 Num(
"2",
),
),
),
],
},
@4-8 SpaceBefore(
ParensAround(
Num(
"-6",
),
),
[
Newline,
],
),
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
i<2
(-6)

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

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

@ -0,0 +1,5 @@
a :
N {
h,
}
g

58
crates/compiler/test_syntax/tests/snapshots/pass/apply_record_ann.expr.result-ast Normal file
View file

@ -0,0 +1,58 @@
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(
@0-1 Identifier {
ident: "a",
},
@2-8 Apply(
"",
"N",
[
@3-8 Record {
fields: Collection {
items: [
@4-5 LabelOnly(
@4-5 "h",
),
],
final_comments: [
Newline,
],
},
ext: None,
},
],
),
),
],
},
@9-10 SpaceBefore(
Var {
module_name: "",
ident: "g",
},
[
Newline,
],
),
),
[
Newline,
],
)

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

@ -0,0 +1,3 @@
a:N{h,
}
g

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

@ -0,0 +1,4 @@
ex <- f #
s # q
<- f #
s

52
crates/compiler/test_syntax/tests/snapshots/pass/backpassing_bananza.expr.result-ast Normal file
View file

@ -0,0 +1,52 @@
SpaceBefore(
Backpassing(
[
@1-3 Identifier {
ident: "ex",
},
],
@5-6 Var {
module_name: "",
ident: "f",
},
@8-18 SpaceBefore(
Backpassing(
[
@8-9 SpaceAfter(
Identifier {
ident: "s",
},
[
LineComment(
"q",
),
],
),
],
@14-15 Var {
module_name: "",
ident: "f",
},
@17-18 SpaceBefore(
Var {
module_name: "",
ident: "s",
},
[
LineComment(
"",
),
],
),
),
[
LineComment(
"",
),
],
),
),
[
Newline,
],
)

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

@ -0,0 +1,5 @@
ex<-f#
s#q
<-f#
s

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

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

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

@ -0,0 +1,56 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
EitherIndex(2147483649),
],
regions: [
@0-1,
@2-6,
],
space_before: [
Slice<roc_parse::ast::CommentOrNewline> { start: 0, length: 0 },
Slice<roc_parse::ast::CommentOrNewline> { start: 0, length: 1 },
],
space_after: [
Slice<roc_parse::ast::CommentOrNewline> { start: 0, length: 0 },
Slice<roc_parse::ast::CommentOrNewline> { start: 1, length: 0 },
],
spaces: [
Newline,
],
type_defs: [],
value_defs: [
Stmt(
@0-1 Num(
"0",
),
),
Stmt(
@2-6 UnaryOp(
@4-6 SpaceBefore(
AccessorFunction(
RecordField(
"d",
),
),
[
Newline,
],
),
@2-3 Not,
),
),
],
},
@7-9 SpaceBefore(
AccessorFunction(
RecordField(
"d",
),
),
[
Newline,
],
),
)

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

@ -0,0 +1,4 @@
0
!
.d
.d

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)

8
crates/compiler/test_syntax/tests/snapshots/pass/binop_assign_defs_nested.expr.formatted.roc Normal file
View file

@ -0,0 +1,8 @@
5
- (
(
e =
r
1
)
)

60
crates/compiler/test_syntax/tests/snapshots/pass/binop_assign_defs_nested.expr.result-ast Normal file
View file

@ -0,0 +1,60 @@
BinOps(
[
(
@0-1 Num(
"5",
),
@1-2 Minus,
),
],
@3-15 ParensAround(
ParensAround(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@4-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(
@4-5 Identifier {
ident: "e",
},
@6-12 ParensAround(
ParensAround(
SpaceBefore(
Var {
module_name: "",
ident: "r",
},
[
Newline,
],
),
),
),
),
],
},
@13-14 SpaceBefore(
Num(
"1",
),
[
Newline,
],
),
),
),
),
)

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

@ -0,0 +1,3 @@
5-((e=((
r))
1))

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

@ -0,0 +1,2 @@
"$(g)" : q
f

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

@ -0,0 +1,51 @@
SpaceAfter(
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-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: [
Annotation(
@0-10 StrLiteral(
Line(
[
Interpolated(
@5-6 Var {
module_name: "",
ident: "g",
},
),
],
),
),
@11-12 BoundVariable(
"q",
),
),
],
},
@13-14 SpaceBefore(
Var {
module_name: "",
ident: "f",
},
[
Newline,
],
),
),
[
Newline,
],
)

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

@ -0,0 +1,2 @@
"""$(g)""":q
f

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

@ -0,0 +1,6 @@
t =
"""
"
"""
""
S

48
crates/compiler/test_syntax/tests/snapshots/pass/body_block_string_apply_string.expr.result-ast Normal file
View file

@ -0,0 +1,48 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-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(
@0-1 Identifier {
ident: "t",
},
@2-12 Apply(
@2-10 Str(
PlainLine(
"\" ",
),
),
[
@10-12 Str(
PlainLine(
"",
),
),
],
Space,
),
),
],
},
@13-14 SpaceBefore(
Tag(
"S",
),
[
Newline,
],
),
)

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

@ -0,0 +1,2 @@
t="""" """""
S

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

@ -0,0 +1,3 @@
a =
6
a

44
crates/compiler/test_syntax/tests/snapshots/pass/body_with_unneeded_parens.expr.result-ast Normal file
View file

@ -0,0 +1,44 @@
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
regions: [
@0-6,
],
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(
@0-1 Identifier {
ident: "a",
},
@2-6 ParensAround(
SpaceBefore(
Num(
"6",
),
[
Newline,
],
),
),
),
],
},
@7-8 SpaceBefore(
Var {
module_name: "",
ident: "a",
},
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
a=(
6)
a

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

@ -0,0 +1,2 @@
m0 \w -> w? e
/ s

48
crates/compiler/test_syntax/tests/snapshots/pass/closure_in_apply_in_binop.expr.result-ast Normal file
View file

@ -0,0 +1,48 @@
BinOps(
[
(
@0-9 SpaceAfter(
Apply(
@0-2 Var {
module_name: "",
ident: "m0",
},
[
@2-9 Closure(
[
@3-4 Identifier {
ident: "w",
},
],
@6-9 Apply(
@6-7 TrySuffix {
target: Result,
expr: Var {
module_name: "",
ident: "w",
},
},
[
@8-9 Var {
module_name: "",
ident: "e",
},
],
Space,
),
),
],
Space,
),
[
Newline,
],
),
@10-11 Slash,
),
],
@11-12 Var {
module_name: "",
ident: "s",
},
)

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

@ -0,0 +1,2 @@
m0\w->w?e
/s

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

@ -1,4 +1,2 @@
i
> (\s -> s
)
-a
i > \s -> s
-a

87
crates/compiler/test_syntax/tests/snapshots/pass/closure_in_binop_with_spaces.expr.result-ast
View file

@ -1,39 +1,56 @@
BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "i",
},
@1-2 GreaterThan,
),
],
@2-10 Apply(
@2-7 SpaceAfter(
Closure(
[
@3-4 Identifier {
ident: "s",
},
],
@6-7 Var {
module_name: "",
ident: "s",
},
),
[
Newline,
],
),
[
@8-10 UnaryOp(
@9-10 Var {
module_name: "",
ident: "a",
},
@8-9 Negate,
Defs(
Defs {
tags: [
EitherIndex(2147483648),
],
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: [],
value_defs: [
Stmt(
@0-7 BinOps(
[
(
@0-1 Var {
module_name: "",
ident: "i",
},
@1-2 GreaterThan,
),
],
@2-7 Closure(
[
@3-4 Identifier {
ident: "s",
},
],
@6-7 Var {
module_name: "",
ident: "s",
},
),
),
),
],
Space,
},
@8-10 SpaceBefore(
UnaryOp(
@9-10 Var {
module_name: "",
ident: "a",
},
@8-9 Negate,
),
[
Newline,
],
),
)

157
crates/compiler/test_syntax/tests/snapshots/pass/comma_prefixed_indented_record.expr.result-ast
View file

@ -24,91 +24,96 @@ SpaceAfter(
},
],
},
ann: @21-164 Record {
fields: [
@23-47 SpaceAfter(
RequiredValue(
@23-32 "evaluated",
[],
@35-47 Apply(
"",
"Set",
[
@39-47 BoundVariable(
"position",
),
],
ann: @21-164 SpaceBefore(
Record {
fields: [
@23-47 SpaceAfter(
RequiredValue(
@23-32 "evaluated",
[],
@35-47 Apply(
"",
"Set",
[
@39-47 BoundVariable(
"position",
),
],
),
),
[
Newline,
],
),
[
Newline,
],
),
@54-76 SpaceAfter(
RequiredValue(
@54-61 "openSet",
[],
@64-76 Apply(
"",
"Set",
[
@68-76 BoundVariable(
"position",
),
],
@54-76 SpaceAfter(
RequiredValue(
@54-61 "openSet",
[],
@64-76 Apply(
"",
"Set",
[
@68-76 BoundVariable(
"position",
),
],
),
),
[
Newline,
],
),
[
Newline,
],
),
@83-113 SpaceAfter(
RequiredValue(
@83-88 "costs",
[],
@91-113 Apply(
"Dict",
"Dict",
[
@101-109 BoundVariable(
"position",
),
@110-113 Apply(
"",
"F64",
[],
),
],
@83-113 SpaceAfter(
RequiredValue(
@83-88 "costs",
[],
@91-113 Apply(
"Dict",
"Dict",
[
@101-109 BoundVariable(
"position",
),
@110-113 Apply(
"",
"F64",
[],
),
],
),
),
[
Newline,
],
),
[
Newline,
],
),
@120-158 SpaceAfter(
RequiredValue(
@120-128 "cameFrom",
[],
@131-158 Apply(
"Dict",
"Dict",
[
@141-149 BoundVariable(
"position",
),
@150-158 BoundVariable(
"position",
),
],
@120-158 SpaceAfter(
RequiredValue(
@120-128 "cameFrom",
[],
@131-158 Apply(
"Dict",
"Dict",
[
@141-149 BoundVariable(
"position",
),
@150-158 BoundVariable(
"position",
),
],
),
),
[
Newline,
],
),
[
Newline,
],
),
],
ext: None,
},
[
Newline,
],
ext: None,
},
),
},
],
value_defs: [],

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

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

@ -0,0 +1,5 @@
a,
(M #
c)
<- t
a

37
crates/compiler/test_syntax/tests/snapshots/pass/comment_in_backpassing_args.expr.result-ast Normal file
View file

@ -0,0 +1,37 @@
Backpassing(
[
@0-1 Identifier {
ident: "a",
},
@2-6 Apply(
@2-3 Tag(
"M",
),
[
@5-6 SpaceBefore(
Identifier {
ident: "c",
},
[
LineComment(
"",
),
],
),
],
),
],
@8-9 Var {
module_name: "",
ident: "t",
},
@10-11 SpaceBefore(
Var {
module_name: "",
ident: "a",
},
[
Newline,
],
),
)

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

@ -0,0 +1,3 @@
a,M#
c<-t
a

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

@ -0,0 +1,3 @@
\L #
i
-> -e

28
crates/compiler/test_syntax/tests/snapshots/pass/comment_in_closure_pat.expr.result-ast Normal file
View file

@ -0,0 +1,28 @@
Closure(
[
@1-6 Apply(
@1-2 Tag(
"L",
),
[
@5-6 SpaceBefore(
Identifier {
ident: "i",
},
[
LineComment(
"",
),
],
),
],
),
],
@8-10 UnaryOp(
@9-10 Var {
module_name: "",
ident: "e",
},
@8-9 Negate,
),
)

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

@ -0,0 +1,2 @@
\L#
i->-e

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

@ -0,0 +1,4 @@
\L,
M #
Q
-> f8

28
crates/compiler/test_syntax/tests/snapshots/pass/comment_in_closure_pat_apply.expr.result-ast Normal file
View file

@ -0,0 +1,28 @@
Closure(
[
@1-2 Tag(
"L",
),
@3-8 Apply(
@3-4 Tag(
"M",
),
[
@7-8 SpaceBefore(
Tag(
"Q",
),
[
LineComment(
"",
),
],
),
],
),
],
@10-12 Var {
module_name: "",
ident: "f8",
},
)

Some files were not shown because too many files have changed in this diff Show more