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

Add type annotation in where_ident test

Browse source
This commit is contained in:
Agus Zubiaga 2023-09-30 01:53:49 -03:00
parent ebc3aab91f
commit c22c2259c0
No known key found for this signature in database
3 changed files with 51 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,2 +1,4 @@
where : { where : I32 }
where = { where: 1 }
where.where

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

@ -1,10 +1,10 @@
Defs(
Defs {
tags: [
Index(2147483648),
Index(2147483649),
],
regions: [
@0-18,
@0-39,
],
space_before: [
Slice(start = 0, length = 0),
@ -15,25 +15,62 @@ Defs(
spaces: [],
type_defs: [],
value_defs: [
Body(
Annotation(
@0-5 Identifier(
"where",
),
@8-18 Record(
[
@9-17 RequiredValue(
@8-20 Record {
fields: [
@9-19 RequiredValue(
@9-14 "where",
[],
@16-17 Num(
@16-19 Apply(
"",
"I32",
[],
),
),
],
ext: None,
},
),
AnnotatedBody {
ann_pattern: @0-5 Identifier(
"where",
),
ann_type: @8-20 Record {
fields: [
@9-19 RequiredValue(
@9-14 "where",
[],
@16-19 Apply(
"",
"I32",
[],
),
),
],
ext: None,
},
comment: None,
body_pattern: @21-26 Identifier(
"where",
),
body_expr: @29-39 Record(
[
@30-38 RequiredValue(
@30-35 "where",
[],
@37-38 Num(
"1",
),
),
],
),
),
},
],
},
@19-30 SpaceBefore(
@41-52 SpaceBefore(
RecordAccess(
Var {
module_name: "",
@ -43,6 +80,7 @@ Defs(
),
[
Newline,
Newline,
],
),
)

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

@ -1,2 +1,4 @@
where : {where: I32}
where = {where: 1}
where.where