Skip to content

Commit 98937bc

Browse files
committed
more syntax tree tests
1 parent b3f4baa commit 98937bc

10 files changed

+271
-0
lines changed
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
module Module
2+
async {
3+
let! ({ Name = name }: Person) = asyncPerson()
4+
5+
return name
6+
7+
}
Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang 07.fs", false, QualifiedNameOfFile Module, [],
4+
[SynModuleOrNamespace
5+
([Module], false, NamedModule,
6+
[Expr
7+
(App
8+
(NonAtomic, false, Ident async,
9+
ComputationExpr
10+
(false,
11+
LetOrUseBang
12+
(Yes (3,4--3,50), false, true,
13+
Paren
14+
(Typed
15+
(Record
16+
([(([], Name), Some (3,17--3,18),
17+
Named
18+
(SynIdent (name, None), false, None,
19+
(3,19--3,23)))], (3,10--3,25)),
20+
LongIdent (SynLongIdent ([Person], [], [None])),
21+
(3,10--3,33)), (3,9--3,34)),
22+
App
23+
(Atomic, false, Ident asyncPerson,
24+
Const (Unit, (3,48--3,50)), (3,37--3,50)), [],
25+
YieldOrReturn
26+
((false, true), Ident name, (5,4--5,15),
27+
{ YieldOrReturnKeyword = (5,4--5,10) }), (3,4--5,15),
28+
{ LetOrUseBangKeyword = (3,4--3,8)
29+
EqualsRange = Some (3,35--3,36) }), (2,6--7,1)),
30+
(2,0--7,1)), (2,0--7,1))],
31+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
32+
(1,0--7,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
33+
{ ConditionalDirectives = []
34+
WarnDirectives = []
35+
CodeComments = [] }, set []))
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
module Module
2+
async {
3+
let! { Name = name }: Person = asyncPerson()
4+
return name
5+
6+
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang 08.fs", false, QualifiedNameOfFile Module, [],
4+
[SynModuleOrNamespace
5+
([Module], false, NamedModule,
6+
[Expr
7+
(App
8+
(NonAtomic, false, Ident async,
9+
ComputationExpr
10+
(false,
11+
LetOrUseBang
12+
(Yes (3,4--3,48), false, true,
13+
Typed
14+
(Record
15+
([(([], Name), Some (3,16--3,17),
16+
Named
17+
(SynIdent (name, None), false, None,
18+
(3,18--3,22)))], (3,9--3,24)),
19+
LongIdent (SynLongIdent ([Person], [], [None])),
20+
(3,9--3,32)),
21+
App
22+
(Atomic, false, Ident asyncPerson,
23+
Const (Unit, (3,46--3,48)), (3,35--3,48)), [],
24+
YieldOrReturn
25+
((false, true), Ident name, (4,4--4,15),
26+
{ YieldOrReturnKeyword = (4,4--4,10) }), (3,4--4,15),
27+
{ LetOrUseBangKeyword = (3,4--3,8)
28+
EqualsRange = Some (3,33--3,34) }), (2,6--6,1)),
29+
(2,0--6,1)), (2,0--6,1))],
30+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
31+
(1,0--6,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
32+
{ ConditionalDirectives = []
33+
WarnDirectives = []
34+
CodeComments = [] }, set []))
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
module Module
2+
3+
async {
4+
let! ({ Name = name; Age = age }: Person) = asyncPerson()
5+
and! ({ Id = id }: User) = asyncUser()
6+
return name
7+
}
Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang AndBang 03.fs", false,
4+
QualifiedNameOfFile Module, [],
5+
[SynModuleOrNamespace
6+
([Module], false, NamedModule,
7+
[Expr
8+
(App
9+
(NonAtomic, false, Ident async,
10+
ComputationExpr
11+
(false,
12+
LetOrUseBang
13+
(Yes (4,4--4,61), false, true,
14+
Paren
15+
(Typed
16+
(Record
17+
([(([], Name), Some (4,17--4,18),
18+
Named
19+
(SynIdent (name, None), false, None,
20+
(4,19--4,23)));
21+
(([], Age), Some (4,29--4,30),
22+
Named
23+
(SynIdent (age, None), false, None,
24+
(4,31--4,34)))], (4,10--4,36)),
25+
LongIdent (SynLongIdent ([Person], [], [None])),
26+
(4,10--4,44)), (4,9--4,45)),
27+
App
28+
(Atomic, false, Ident asyncPerson,
29+
Const (Unit, (4,59--4,61)), (4,48--4,61)),
30+
[SynExprAndBang
31+
(Yes (5,4--6,10), false, true,
32+
Paren
33+
(Typed
34+
(Record
35+
([(([], Id), Some (5,15--5,16),
36+
Named
37+
(SynIdent (id, None), false, None,
38+
(5,17--5,19)))], (5,10--5,21)),
39+
LongIdent (SynLongIdent ([User], [], [None])),
40+
(5,10--5,27)), (5,9--5,28)),
41+
App
42+
(Atomic, false, Ident asyncUser,
43+
Const (Unit, (5,40--5,42)), (5,31--5,42)),
44+
(5,4--5,42), { AndBangKeyword = (5,4--5,8)
45+
EqualsRange = (5,29--5,30)
46+
InKeyword = None })],
47+
YieldOrReturn
48+
((false, true), Ident name, (6,4--6,15),
49+
{ YieldOrReturnKeyword = (6,4--6,10) }), (4,4--6,15),
50+
{ LetOrUseBangKeyword = (4,4--4,8)
51+
EqualsRange = Some (4,46--4,47) }), (3,6--7,1)),
52+
(3,0--7,1)), (3,0--7,1))],
53+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
54+
(1,0--7,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
55+
{ ConditionalDirectives = []
56+
WarnDirectives = []
57+
CodeComments = [] }, set []))
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
module Module
2+
3+
async {
4+
let! { Name = name; Age = age }: Person = asyncPerson()
5+
and! { Id = id }: User = asyncUser()
6+
return name
7+
}
Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang AndBang 04.fs", false,
4+
QualifiedNameOfFile Module, [],
5+
[SynModuleOrNamespace
6+
([Module], false, NamedModule,
7+
[Expr
8+
(App
9+
(NonAtomic, false, Ident async,
10+
ComputationExpr
11+
(false,
12+
LetOrUseBang
13+
(Yes (4,4--4,59), false, true,
14+
Typed
15+
(Record
16+
([(([], Name), Some (4,16--4,17),
17+
Named
18+
(SynIdent (name, None), false, None,
19+
(4,18--4,22)));
20+
(([], Age), Some (4,28--4,29),
21+
Named
22+
(SynIdent (age, None), false, None,
23+
(4,30--4,33)))], (4,9--4,35)),
24+
LongIdent (SynLongIdent ([Person], [], [None])),
25+
(4,9--4,43)),
26+
App
27+
(Atomic, false, Ident asyncPerson,
28+
Const (Unit, (4,57--4,59)), (4,46--4,59)),
29+
[SynExprAndBang
30+
(Yes (5,4--5,40), false, true,
31+
Typed
32+
(Record
33+
([(([], Id), Some (5,14--5,15),
34+
Named
35+
(SynIdent (id, None), false, None,
36+
(5,16--5,18)))], (5,9--5,20)),
37+
LongIdent (SynLongIdent ([User], [], [None])),
38+
(5,9--5,26)),
39+
App
40+
(Atomic, false, Ident asyncUser,
41+
Const (Unit, (5,38--5,40)), (5,29--5,40)),
42+
(5,4--5,40), { AndBangKeyword = (5,4--5,8)
43+
EqualsRange = (5,27--5,28)
44+
InKeyword = None })],
45+
YieldOrReturn
46+
((false, true), Ident name, (6,4--6,15),
47+
{ YieldOrReturnKeyword = (6,4--6,10) }), (4,4--6,15),
48+
{ LetOrUseBangKeyword = (4,4--4,8)
49+
EqualsRange = Some (4,44--4,45) }), (3,6--7,1)),
50+
(3,0--7,1)), (3,0--7,1))],
51+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
52+
(1,0--7,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
53+
{ ConditionalDirectives = []
54+
WarnDirectives = []
55+
CodeComments = [] }, set []))
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
module Module
2+
3+
async {
4+
let! ({ Name = name; Age = age }: Person) = asyncPerson()
5+
and! { Id = id }: User = asyncUser()
6+
return name
7+
}
Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang AndBang 05.fs", false,
4+
QualifiedNameOfFile Module, [],
5+
[SynModuleOrNamespace
6+
([Module], false, NamedModule,
7+
[Expr
8+
(App
9+
(NonAtomic, false, Ident async,
10+
ComputationExpr
11+
(false,
12+
LetOrUseBang
13+
(Yes (4,4--4,61), false, true,
14+
Paren
15+
(Typed
16+
(Record
17+
([(([], Name), Some (4,17--4,18),
18+
Named
19+
(SynIdent (name, None), false, None,
20+
(4,19--4,23)));
21+
(([], Age), Some (4,29--4,30),
22+
Named
23+
(SynIdent (age, None), false, None,
24+
(4,31--4,34)))], (4,10--4,36)),
25+
LongIdent (SynLongIdent ([Person], [], [None])),
26+
(4,10--4,44)), (4,9--4,45)),
27+
App
28+
(Atomic, false, Ident asyncPerson,
29+
Const (Unit, (4,59--4,61)), (4,48--4,61)),
30+
[SynExprAndBang
31+
(Yes (5,4--5,40), false, true,
32+
Typed
33+
(Record
34+
([(([], Id), Some (5,14--5,15),
35+
Named
36+
(SynIdent (id, None), false, None,
37+
(5,16--5,18)))], (5,9--5,20)),
38+
LongIdent (SynLongIdent ([User], [], [None])),
39+
(5,9--5,26)),
40+
App
41+
(Atomic, false, Ident asyncUser,
42+
Const (Unit, (5,38--5,40)), (5,29--5,40)),
43+
(5,4--5,40), { AndBangKeyword = (5,4--5,8)
44+
EqualsRange = (5,27--5,28)
45+
InKeyword = None })],
46+
YieldOrReturn
47+
((false, true), Ident name, (6,4--6,15),
48+
{ YieldOrReturnKeyword = (6,4--6,10) }), (4,4--6,15),
49+
{ LetOrUseBangKeyword = (4,4--4,8)
50+
EqualsRange = Some (4,46--4,47) }), (3,6--7,1)),
51+
(3,0--7,1)), (3,0--7,1))],
52+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
53+
(1,0--7,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
54+
{ ConditionalDirectives = []
55+
WarnDirectives = []
56+
CodeComments = [] }, set []))

0 commit comments

Comments
 (0)