Skip to content

Commit a020505

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

16 files changed

+457
-0
lines changed
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
module Module
2+
async {
3+
let! (Union value) = asyncOption()
4+
return value
5+
}
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 09.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,38), false, true,
13+
Paren
14+
(LongIdent
15+
(SynLongIdent ([Union], [], [None]), None, None,
16+
Pats
17+
[Named
18+
(SynIdent (value, None), false, None,
19+
(3,16--3,21))], None, (3,10--3,21)),
20+
(3,9--3,22)),
21+
App
22+
(Atomic, false, Ident asyncOption,
23+
Const (Unit, (3,36--3,38)), (3,25--3,38)), [],
24+
YieldOrReturn
25+
((false, true), Ident value, (4,4--4,16),
26+
{ YieldOrReturnKeyword = (4,4--4,10) }), (3,4--4,16),
27+
{ LetOrUseBangKeyword = (3,4--3,8)
28+
EqualsRange = Some (3,23--3,24) }), (2,6--5,1)),
29+
(2,0--5,1)), (2,0--5,1))],
30+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
31+
(1,0--5,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
32+
{ ConditionalDirectives = []
33+
WarnDirectives = []
34+
CodeComments = [] }, set []))
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
module Module
2+
async {
3+
let! Union value = asyncOption()
4+
return value
5+
}
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang 10.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,36), false, true,
13+
LongIdent
14+
(SynLongIdent ([Union], [], [None]), None, None,
15+
Pats
16+
[Named
17+
(SynIdent (value, None), false, None,
18+
(3,15--3,20))], None, (3,9--3,20)),
19+
App
20+
(Atomic, false, Ident asyncOption,
21+
Const (Unit, (3,34--3,36)), (3,23--3,36)), [],
22+
YieldOrReturn
23+
((false, true), Ident value, (4,4--4,16),
24+
{ YieldOrReturnKeyword = (4,4--4,10) }), (3,4--4,16),
25+
{ LetOrUseBangKeyword = (3,4--3,8)
26+
EqualsRange = Some (3,21--3,22) }), (2,6--5,1)),
27+
(2,0--5,1)), (2,0--5,1))],
28+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
29+
(1,0--5,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
30+
{ ConditionalDirectives = []
31+
WarnDirectives = []
32+
CodeComments = [] }, set []))
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
module Module
2+
async {
3+
let! (Union value): int option = asyncOption()
4+
return value
5+
}
Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang 11.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+
Typed
14+
(Paren
15+
(LongIdent
16+
(SynLongIdent ([Union], [], [None]), None, None,
17+
Pats
18+
[Named
19+
(SynIdent (value, None), false, None,
20+
(3,16--3,21))], None, (3,10--3,21)),
21+
(3,9--3,22)),
22+
App
23+
(LongIdent (SynLongIdent ([option], [], [None])),
24+
None,
25+
[LongIdent (SynLongIdent ([int], [], [None]))], [],
26+
None, true, (3,24--3,34)), (3,9--3,34)),
27+
App
28+
(Atomic, false, Ident asyncOption,
29+
Const (Unit, (3,48--3,50)), (3,37--3,50)), [],
30+
YieldOrReturn
31+
((false, true), Ident value, (4,4--4,16),
32+
{ YieldOrReturnKeyword = (4,4--4,10) }), (3,4--4,16),
33+
{ LetOrUseBangKeyword = (3,4--3,8)
34+
EqualsRange = Some (3,35--3,36) }), (2,6--5,1)),
35+
(2,0--5,1)), (2,0--5,1))],
36+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
37+
(1,0--5,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
38+
{ ConditionalDirectives = []
39+
WarnDirectives = []
40+
CodeComments = [] }, set []))
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
module Module
2+
async {
3+
let! Union value: int option = asyncOption()
4+
return value
5+
}
Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang 12.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+
(LongIdent
15+
(SynLongIdent ([Union], [], [None]), None, None,
16+
Pats
17+
[Named
18+
(SynIdent (value, None), false, None,
19+
(3,15--3,20))], None, (3,9--3,20)),
20+
App
21+
(LongIdent (SynLongIdent ([option], [], [None])),
22+
None,
23+
[LongIdent (SynLongIdent ([int], [], [None]))], [],
24+
None, true, (3,22--3,32)), (3,9--3,32)),
25+
App
26+
(Atomic, false, Ident asyncOption,
27+
Const (Unit, (3,46--3,48)), (3,35--3,48)), [],
28+
YieldOrReturn
29+
((false, true), Ident value, (4,4--4,16),
30+
{ YieldOrReturnKeyword = (4,4--4,10) }), (3,4--4,16),
31+
{ LetOrUseBangKeyword = (3,4--3,8)
32+
EqualsRange = Some (3,33--3,34) }), (2,6--5,1)),
33+
(2,0--5,1)), (2,0--5,1))],
34+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
35+
(1,0--5,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
36+
{ ConditionalDirectives = []
37+
WarnDirectives = []
38+
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! (Union value) = asyncOption()
5+
and! (Union value2) = asyncOption()
6+
return value + value2
7+
}
Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
ImplFile
2+
(ParsedImplFileInput
3+
("/root/SynType/Typed LetBang AndBang 06.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,38), false, true,
14+
Paren
15+
(LongIdent
16+
(SynLongIdent ([Union], [], [None]), None, None,
17+
Pats
18+
[Named
19+
(SynIdent (value, None), false, None,
20+
(4,16--4,21))], None, (4,10--4,21)),
21+
(4,9--4,22)),
22+
App
23+
(Atomic, false, Ident asyncOption,
24+
Const (Unit, (4,36--4,38)), (4,25--4,38)),
25+
[SynExprAndBang
26+
(Yes (5,4--6,10), false, true,
27+
Paren
28+
(LongIdent
29+
(SynLongIdent ([Union], [], [None]), None, None,
30+
Pats
31+
[Named
32+
(SynIdent (value2, None), false, None,
33+
(5,16--5,22))], None, (5,10--5,22)),
34+
(5,9--5,23)),
35+
App
36+
(Atomic, false, Ident asyncOption,
37+
Const (Unit, (5,37--5,39)), (5,26--5,39)),
38+
(5,4--5,39), { AndBangKeyword = (5,4--5,8)
39+
EqualsRange = (5,24--5,25)
40+
InKeyword = None })],
41+
YieldOrReturn
42+
((false, true),
43+
App
44+
(NonAtomic, false,
45+
App
46+
(NonAtomic, true,
47+
LongIdent
48+
(false,
49+
SynLongIdent
50+
([op_Addition], [],
51+
[Some (OriginalNotation "+")]), None,
52+
(6,17--6,18)), Ident value, (6,11--6,18)),
53+
Ident value2, (6,11--6,25)), (6,4--6,25),
54+
{ YieldOrReturnKeyword = (6,4--6,10) }), (4,4--6,25),
55+
{ LetOrUseBangKeyword = (4,4--4,8)
56+
EqualsRange = Some (4,23--4,24) }), (3,6--7,1)),
57+
(3,0--7,1)), (3,0--7,1))],
58+
PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector), [], None,
59+
(1,0--7,1), { LeadingKeyword = Module (1,0--1,6) })], (true, true),
60+
{ ConditionalDirectives = []
61+
WarnDirectives = []
62+
CodeComments = [] }, set []))

0 commit comments

Comments
 (0)