Skip to content

Commit 6ab1e55

Browse files
DedSec256DedSec256
committed
wip
1 parent 848fa79 commit 6ab1e55

28 files changed

+512
-390
lines changed

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 01.fs.bsl‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -16,11 +16,13 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(Named
21-
(SynIdent (res, None), false, None, (4,9--4,12)),
22-
LongIdent (SynLongIdent ([int], [], [None])),
23-
(4,9--4,17)), None,
19+
Named
20+
(SynIdent (res, None), false, None, (4,9--4,12)),
21+
Some
22+
(SynBindingReturnInfo
23+
(LongIdent (SynLongIdent ([int], [], [None])),
24+
(4,14--4,17), [],
25+
{ ColonRange = Some (4,12--4,13) })),
2426
App
2527
(NonAtomic, false, Ident async,
2628
ComputationExpr

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 05.fs.bsl‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,11 @@ ImplFile
1111
SynValData
1212
(None, SynValInfo ([], SynArgInfo ([], false, None)),
1313
None),
14-
Typed
15-
(Named (SynIdent (x, None), false, None, (2,5--2,6)),
16-
LongIdent (SynLongIdent ([int], [], [None])),
17-
(2,5--2,10)), None,
14+
Named (SynIdent (x, None), false, None, (2,5--2,6)),
15+
Some
16+
(SynBindingReturnInfo
17+
(LongIdent (SynLongIdent ([int], [], [None])),
18+
(2,7--2,10), [], { ColonRange = Some (2,6--2,7) })),
1819
App
1920
(NonAtomic, false, Ident async,
2021
ComputationExpr

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 06.fs.bsl‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,11 @@ ImplFile
1010
(None, Normal, false, false, [], PreXmlDocEmpty,
1111
SynValData
1212
(None, SynValInfo ([], SynArgInfo ([], false, None)),
13-
None),
14-
Typed
15-
(Wild (2,5--2,6),
16-
LongIdent (SynLongIdent ([int], [], [None])),
17-
(2,5--2,10)), None,
13+
None), Wild (2,5--2,6),
14+
Some
15+
(SynBindingReturnInfo
16+
(LongIdent (SynLongIdent ([int], [], [None])),
17+
(2,7--2,10), [], { ColonRange = Some (2,6--2,7) })),
1818
App
1919
(NonAtomic, false, Ident async,
2020
ComputationExpr

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 08.fs.bsl‎

Lines changed: 12 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -16,16 +16,18 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(Record
21-
([NamePatPairField
22-
(SynLongIdent ([Name], [], [None]),
23-
Some (3,16--3,17), (3,11--3,22),
24-
Named
25-
(SynIdent (name, None), false, None,
26-
(3,18--3,22)), None)], (3,9--3,24)),
27-
LongIdent (SynLongIdent ([Person], [], [None])),
28-
(3,9--3,32)), None,
19+
Record
20+
([NamePatPairField
21+
(SynLongIdent ([Name], [], [None]),
22+
Some (3,16--3,17), (3,11--3,22),
23+
Named
24+
(SynIdent (name, None), false, None,
25+
(3,18--3,22)), None)], (3,9--3,24)),
26+
Some
27+
(SynBindingReturnInfo
28+
(LongIdent (SynLongIdent ([Person], [], [None])),
29+
(3,26--3,32), [],
30+
{ ColonRange = Some (3,24--3,25) })),
2931
App
3032
(Atomic, false, Ident asyncPerson,
3133
Const (Unit, (3,46--3,48)), (3,35--3,48)),

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 11.fs.bsl‎

Lines changed: 17 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -16,22 +16,24 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(Paren
21-
(LongIdent
22-
(SynLongIdent ([Union], [], [None]), None,
19+
Paren
20+
(LongIdent
21+
(SynLongIdent ([Union], [], [None]), None, None,
22+
Pats
23+
[Named
24+
(SynIdent (value, None), false, None,
25+
(3,16--3,21))], None, (3,10--3,21)),
26+
(3,9--3,22)),
27+
Some
28+
(SynBindingReturnInfo
29+
(App
30+
(LongIdent
31+
(SynLongIdent ([option], [], [None])),
2332
None,
24-
Pats
25-
[Named
26-
(SynIdent (value, None), false, None,
27-
(3,16--3,21))], None, (3,10--3,21)),
28-
(3,9--3,22)),
29-
App
30-
(LongIdent (SynLongIdent ([option], [], [None])),
31-
None,
32-
[LongIdent (SynLongIdent ([int], [], [None]))],
33-
[], None, true, (3,24--3,34)), (3,9--3,34)),
34-
None,
33+
[LongIdent
34+
(SynLongIdent ([int], [], [None]))], [],
35+
None, true, (3,24--3,34)), (3,24--3,34), [],
36+
{ ColonRange = Some (3,22--3,23) })),
3537
App
3638
(Atomic, false, Ident asyncOption,
3739
Const (Unit, (3,48--3,50)), (3,37--3,50)),

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 12.fs.bsl‎

Lines changed: 16 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -16,19 +16,22 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(LongIdent
21-
(SynLongIdent ([Union], [], [None]), None, None,
22-
Pats
23-
[Named
24-
(SynIdent (value, None), false, None,
25-
(3,15--3,20))], None, (3,9--3,20)),
26-
App
27-
(LongIdent (SynLongIdent ([option], [], [None])),
28-
None,
29-
[LongIdent (SynLongIdent ([int], [], [None]))],
30-
[], None, true, (3,22--3,32)), (3,9--3,32)),
31-
None,
19+
LongIdent
20+
(SynLongIdent ([Union], [], [None]), None, None,
21+
Pats
22+
[Named
23+
(SynIdent (value, None), false, None,
24+
(3,15--3,20))], None, (3,9--3,20)),
25+
Some
26+
(SynBindingReturnInfo
27+
(App
28+
(LongIdent
29+
(SynLongIdent ([option], [], [None])),
30+
None,
31+
[LongIdent
32+
(SynLongIdent ([int], [], [None]))], [],
33+
None, true, (3,22--3,32)), (3,22--3,32), [],
34+
{ ColonRange = Some (3,20--3,21) })),
3235
App
3336
(Atomic, false, Ident asyncOption,
3437
Const (Unit, (3,46--3,48)), (3,35--3,48)),

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 14.fs.bsl‎

Lines changed: 25 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -16,16 +16,18 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(Paren
21-
(As
22-
(Named
23-
(SynIdent (x, None), false, None,
24-
(4,10--4,11)),
25-
Named
26-
(SynIdent (y, None), false, None,
27-
(4,15--4,16)), (4,10--4,16)), (4,9--4,17)),
28-
FromParseError (4,18--4,18), (4,9--4,18)), None,
19+
Paren
20+
(As
21+
(Named
22+
(SynIdent (x, None), false, None,
23+
(4,10--4,11)),
24+
Named
25+
(SynIdent (y, None), false, None,
26+
(4,15--4,16)), (4,10--4,16)), (4,9--4,17)),
27+
Some
28+
(SynBindingReturnInfo
29+
(FromParseError (4,18--4,18), (4,18--4,18), [],
30+
{ ColonRange = Some (4,17--4,18) })),
2931
App
3032
(Atomic, false, Ident asyncInt,
3133
Const (Unit, (4,29--4,31)), (4,21--4,31)),
@@ -39,17 +41,19 @@ ImplFile
3941
(None,
4042
SynValInfo ([], SynArgInfo ([], false, None)),
4143
None),
42-
Typed
43-
(Paren
44-
(As
45-
(Named
46-
(SynIdent (a, None), false, None,
47-
(5,10--5,11)),
48-
Named
49-
(SynIdent (b, None), false, None,
50-
(5,15--5,16)), (5,10--5,16)), (5,9--5,17)),
51-
LongIdent (SynLongIdent ([string], [], [None])),
52-
(5,9--5,25)), None,
44+
Paren
45+
(As
46+
(Named
47+
(SynIdent (a, None), false, None,
48+
(5,10--5,11)),
49+
Named
50+
(SynIdent (b, None), false, None,
51+
(5,15--5,16)), (5,10--5,16)), (5,9--5,17)),
52+
Some
53+
(SynBindingReturnInfo
54+
(LongIdent (SynLongIdent ([string], [], [None])),
55+
(5,19--5,25), [],
56+
{ ColonRange = Some (5,17--5,18) })),
5357
App
5458
(Atomic, false, Ident asyncString,
5559
Const (Unit, (5,39--5,41)), (5,28--5,41)),

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 15.fs.bsl‎

Lines changed: 12 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -16,16 +16,18 @@ ImplFile
1616
(None,
1717
SynValInfo ([], SynArgInfo ([], false, None)),
1818
None),
19-
Typed
20-
(Paren
21-
(As
22-
(Named
23-
(SynIdent (x, None), false, None,
24-
(4,10--4,11)),
25-
Named
26-
(SynIdent (y, None), false, None,
27-
(4,15--4,16)), (4,10--4,16)), (4,9--4,17)),
28-
FromParseError (4,18--4,18), (4,9--4,18)), None,
19+
Paren
20+
(As
21+
(Named
22+
(SynIdent (x, None), false, None,
23+
(4,10--4,11)),
24+
Named
25+
(SynIdent (y, None), false, None,
26+
(4,15--4,16)), (4,10--4,16)), (4,9--4,17)),
27+
Some
28+
(SynBindingReturnInfo
29+
(FromParseError (4,18--4,18), (4,18--4,18), [],
30+
{ ColonRange = Some (4,17--4,18) })),
2931
App
3032
(Atomic, false, Ident asyncString,
3133
Const (Unit, (5,39--5,41)), (5,28--5,41)),

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 18.fs.bsl‎

Lines changed: 10 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -35,15 +35,16 @@ ImplFile
3535
SynValData
3636
(None, SynValInfo ([], SynArgInfo ([], false, None)),
3737
None),
38-
Typed
39-
(As
40-
(LongIdent
41-
(SynLongIdent ([Even], [], [None]), None, None,
42-
Pats [], None, (5,5--5,9)),
43-
Named (SynIdent (x, None), false, None, (5,13--5,14)),
44-
(5,5--5,14)),
45-
LongIdent (SynLongIdent ([int], [], [None])),
46-
(5,5--5,19)), None,
38+
As
39+
(LongIdent
40+
(SynLongIdent ([Even], [], [None]), None, None,
41+
Pats [], None, (5,5--5,9)),
42+
Named (SynIdent (x, None), false, None, (5,13--5,14)),
43+
(5,5--5,14)),
44+
Some
45+
(SynBindingReturnInfo
46+
(LongIdent (SynLongIdent ([int], [], [None])),
47+
(5,16--5,19), [], { ColonRange = Some (5,14--5,15) })),
4748
App
4849
(NonAtomic, false, Ident async,
4950
ComputationExpr

‎tests/service/data/SyntaxTree/SynType/Typed LetBang 20.fs.bsl‎

Lines changed: 12 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -44,16 +44,18 @@ ImplFile
4444
(None,
4545
SynValInfo ([], SynArgInfo ([], false, None)),
4646
None),
47-
Typed
48-
(As
49-
(LongIdent
50-
(SynLongIdent ([Even], [], [None]), None,
51-
None, Pats [], None, (5,9--5,13)),
52-
Named
53-
(SynIdent (x, None), false, None,
54-
(5,17--5,18)), (5,9--5,18)),
55-
LongIdent (SynLongIdent ([int], [], [None])),
56-
(5,9--5,23)), None,
47+
As
48+
(LongIdent
49+
(SynLongIdent ([Even], [], [None]), None,
50+
None, Pats [], None, (5,9--5,13)),
51+
Named
52+
(SynIdent (x, None), false, None,
53+
(5,17--5,18)), (5,9--5,18)),
54+
Some
55+
(SynBindingReturnInfo
56+
(LongIdent (SynLongIdent ([int], [], [None])),
57+
(5,20--5,23), [],
58+
{ ColonRange = Some (5,18--5,19) })),
5759
App
5860
(NonAtomic, false, Ident async,
5961
ComputationExpr

0 commit comments

Comments
 (0)