Commit426f2a2

committed

add extra tests for IsSealed

1 parent8dc04ab commit426f2a2Copy full SHA for 426f2a2

File tree

+21

-1

lines changed

+21

-1

lines changed

Lines changed: 21 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1368,7 +1368,27 @@ module bug872632 =`
`1368`	`1368`
`1369`	`1369`	`do check"bug872632" Foo.x.Length8`
`1370`	`1370`
`1371`		`-do check"vwllfewlkefwl"(typedefof<list<int>>.IsSealed)true`
	`1371`	`+moduleCheckUnionTypesAreSealed=`
	`1372`	`+openSystem`
	`1373`	`+do check"vwllfewlkefw1"(typedefof<list<int>>.IsSealed)true`
	`1374`	`+do check"vwllfewlkefw2"(typedefof<option<int>>.IsSealed)true`
	`1375`	`+typeX1= A\| B`
	`1376`	`+do check"vwllfewlkefw3"(typedefof<X1>.IsSealed)true`
	`1377`	`+typeX2= A\| Bofstring`
	`1378`	`+do check"vwllfewlkefw4"(typedefof<X2>.IsSealed)false`
	`1379`	`+typeX3= A\| B\| C`
	`1380`	`+do check"vwllfewlkefw5"(typedefof<X3>.IsSealed)false`
	`1381`	`+`
	`1382`	`+[<CompilationRepresentation(CompilationRepresentationFlags.UseNullAsTrueValue)>]`
	`1383`	`+typeSetTree<'T>=`
	`1384`	`+\| SetEmpty`
	`1385`	`+\| SetNodeof'TSetTree<'T>SetTree<'T>`
	`1386`	`+do check"vwllfewlkefw6"(typedefof<SetTree<int>>.IsSealed)true`
	`1387`	`+`
	`1388`	`+typeSetTree2<'T>=`
	`1389`	`+\| SetEmpty`
	`1390`	`+\| SetNodeof'TSetTree2<'T>SetTree2<'T>`
	`1391`	`+do check"vwllfewlkefw6"(typedefof<SetTree2<int>>.IsSealed)false`
`1372`	`1392`
`1373`	`1393`	`modulemanyIndexes=`
`1374`	`1394`	`openSystem`

Comments

(0)