Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commitb20e26d

Browse files
vasily-kirichenkoKevinRansom
authored andcommitted
Seal FSharpFunc / FSharpTypeFunc implementers (#3031)
* seal implementers* fix QA tests* fix QA tests* fix QA tests* fix QA tests
1 parent8464bc4 commitb20e26d

File tree

43 files changed

+251
-251
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

43 files changed

+251
-251
lines changed

‎src/ilx/EraseClosures.fs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -490,7 +490,7 @@ let rec convIlxClosureDef cenv encl (td: ILTypeDef) clo =
490490
Implements= List.empty;
491491
IsAbstract=false;
492492
NestedTypes= emptyILTypeDefs;
493-
IsSealed=false;
493+
IsSealed=true;
494494
IsSerializable=td.IsSerializable;
495495
IsComInterop=false;
496496
IsSpecialName=false;
@@ -590,7 +590,7 @@ let rec convIlxClosureDef cenv encl (td: ILTypeDef) clo =
590590
Access= td.Access;
591591
Implements=[]
592592
IsAbstract=false;
593-
IsSealed=false;
593+
IsSealed=true;
594594
IsSerializable=td.IsSerializable;
595595
IsComInterop=false;
596596
IsSpecialName=false;

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest1.il.netfx4.bsl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit f1@6
58+
.class auto ansi serializablesealednested assembly beforefieldinit f1@6
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest2.il.netfx4.bsl‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit 'f2@6-1'
58+
.class auto ansi serializablesealednested assembly beforefieldinit 'f2@6-1'
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,bool>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Core.FSharpRef`1<int32> x
@@ -92,7 +92,7 @@
9292

9393
}// end of class 'f2@6-1'
9494

95-
.class auto ansi serializable nested assembly beforefieldinit 'f2@7-2'
95+
.class auto ansi serializablesealednested assembly beforefieldinit 'f2@7-2'
9696
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
9797
{
9898
.field public class [FSharp.Core]Microsoft.FSharp.Core.FSharpRef`1<int32> x
@@ -141,7 +141,7 @@
141141

142142
}// end of class 'f2@7-2'
143143

144-
.class auto ansi serializable nested assembly beforefieldinit f2@6
144+
.class auto ansi serializablesealednested assembly beforefieldinit f2@6
145145
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
146146
{
147147
.field public class [FSharp.Core]Microsoft.FSharp.Core.FSharpRef`1<int32> x

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest3.il.netfx4.bsl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit f3@5
58+
.class auto ansi serializablesealednested assembly beforefieldinit f3@5
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest4.il.netfx4.bsl‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit 'f4@7-1'
58+
.class auto ansi serializablesealednested assembly beforefieldinit 'f4@7-1'
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -115,7 +115,7 @@
115115

116116
}// end of class 'f4@7-1'
117117

118-
.class auto ansi serializable nested assembly beforefieldinit 'f4@12-2'
118+
.class auto ansi serializablesealednested assembly beforefieldinit 'f4@12-2'
119119
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit>
120120
{
121121
.field public class [FSharp.Core]Microsoft.FSharp.Core.FSharpRef`1<int32> x
@@ -155,7 +155,7 @@
155155

156156
}// end of class 'f4@12-2'
157157

158-
.class auto ansi serializable nested assembly beforefieldinit f4@5
158+
.class auto ansi serializablesealednested assembly beforefieldinit f4@5
159159
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
160160
{
161161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest5.il.netfx4.bsl‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit 'f7@6-1'
58+
.class auto ansi serializablesealednested assembly beforefieldinit 'f7@6-1'
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -104,7 +104,7 @@
104104

105105
}// end of class 'f7@6-1'
106106

107-
.class auto ansi serializable nested assembly beforefieldinit 'f7@9-3'
107+
.class auto ansi serializablesealednested assembly beforefieldinit 'f7@9-3'
108108
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
109109
{
110110
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -152,7 +152,7 @@
152152

153153
}// end of class 'f7@9-3'
154154

155-
.class auto ansi serializable nested assembly beforefieldinit 'f7@9-2'
155+
.class auto ansi serializablesealednested assembly beforefieldinit 'f7@9-2'
156156
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
157157
{
158158
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -192,7 +192,7 @@
192192

193193
}// end of class 'f7@9-2'
194194

195-
.class auto ansi serializable nested assembly beforefieldinit f7@6
195+
.class auto ansi serializablesealednested assembly beforefieldinit f7@6
196196
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<class [FSharp.Core]Microsoft.FSharp.Core.Unit>>
197197
{
198198
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/AsyncExpressionStepping/AsyncExpressionSteppingTest6.il.netfx4.bsl‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit 'f2@5-3'
58+
.class auto ansi serializablesealednested assembly beforefieldinit 'f2@5-3'
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
6060
{
6161
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -118,7 +118,7 @@
118118

119119
}// end of class 'f2@5-3'
120120

121-
.class auto ansi serializable nested assembly beforefieldinit 'f3@19-5'
121+
.class auto ansi serializablesealednested assembly beforefieldinit 'f3@19-5'
122122
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
123123
{
124124
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -179,7 +179,7 @@
179179

180180
}// end of class 'f3@19-5'
181181

182-
.class auto ansi serializable nested assembly beforefieldinit 'f3@16-4'
182+
.class auto ansi serializablesealednested assembly beforefieldinit 'f3@16-4'
183183
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
184184
{
185185
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -242,7 +242,7 @@
242242

243243
}// end of class 'f3@16-4'
244244

245-
.class auto ansi serializable nested assembly beforefieldinit 'f3@15-3'
245+
.class auto ansi serializablesealednested assembly beforefieldinit 'f3@15-3'
246246
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
247247
{
248248
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -294,7 +294,7 @@
294294

295295
}// end of class 'f3@15-3'
296296

297-
.class auto ansi serializable nested assembly beforefieldinit 'f3@14-2'
297+
.class auto ansi serializablesealednested assembly beforefieldinit 'f3@14-2'
298298
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
299299
{
300300
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@
@@ -340,7 +340,7 @@
340340

341341
}// end of class 'f3@14-2'
342342

343-
.class auto ansi serializable nested assembly beforefieldinit 'f3@13-1'
343+
.class auto ansi serializablesealednested assembly beforefieldinit 'f3@13-1'
344344
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsync`1<int32>>
345345
{
346346
.field public class [FSharp.Core]Microsoft.FSharp.Control.FSharpAsyncBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/ComputationExpressions/ComputationExpr01.il.bsl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit res1@8
58+
.class auto ansi serializablesealednested assembly beforefieldinit res1@8
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [ComputationExprLibrary]Library.Eventually`1<int32>>
6060
{
6161
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/ComputationExpressions/ComputationExpr02.il.bsl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit res2@8
58+
.class auto ansi serializablesealednested assembly beforefieldinit res2@8
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [ComputationExprLibrary]Library.Eventually`1<int32>>
6060
{
6161
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@

‎tests/fsharpqa/Source/CodeGen/EmittedIL/ComputationExpressions/ComputationExpr03.il.bsl‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
extends [mscorlib]System.Object
5656
{
5757
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags)= (0100070000000000 )
58-
.class auto ansi serializable nested assembly beforefieldinit 'res2@8-1'
58+
.class auto ansi serializablesealednested assembly beforefieldinit 'res2@8-1'
5959
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [ComputationExprLibrary]Library.Eventually`1<int32>>
6060
{
6161
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@
@@ -106,7 +106,7 @@
106106

107107
}// end of class 'res2@8-1'
108108

109-
.class auto ansi serializable nested assembly beforefieldinit 'res3@17-2'
109+
.class auto ansi serializablesealednested assembly beforefieldinit 'res3@17-2'
110110
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [ComputationExprLibrary]Library.Eventually`1<int32>>
111111
{
112112
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@
@@ -154,7 +154,7 @@
154154

155155
}// end of class 'res3@17-2'
156156

157-
.class auto ansi serializable nested assembly beforefieldinit 'res3@20-3'
157+
.class auto ansi serializablesealednested assembly beforefieldinit 'res3@20-3'
158158
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [ComputationExprLibrary]Library.Eventually`1<int32>>
159159
{
160160
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@
@@ -194,7 +194,7 @@
194194

195195
}// end of class 'res3@20-3'
196196

197-
.class auto ansi serializable nested assembly beforefieldinit 'res3@15-1'
197+
.class auto ansi serializablesealednested assembly beforefieldinit 'res3@15-1'
198198
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<int32,class [ComputationExprLibrary]Library.Eventually`1<int32>>
199199
{
200200
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@
@@ -244,7 +244,7 @@
244244

245245
}// end of class 'res3@15-1'
246246

247-
.class auto ansi serializable nested assembly beforefieldinit res3@14
247+
.class auto ansi serializablesealednested assembly beforefieldinit res3@14
248248
extends class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [ComputationExprLibrary]Library.Eventually`1<int32>>
249249
{
250250
.field public class [ComputationExprLibrary]Library.EventuallyBuilder builder@

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp