File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
tests/fsharp/typecheck/sigs Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ module RequiresExplicitTypeArgumentsAttributeNotRespectedForMembers_FSharp_1_0_6
88 [<RequiresExplicitTypeArgumentsAttribute>]
99 member x.Foo < 'a >( y : 'a , ? z : int ) = printfn " second"
1010
11- let g1 = new G1()
11+ let g1 = new G1()
1212 g1.Foo( 42 ) // first
1313 g1.Foo< int>( 42 ) // first
1414 g1.Foo( 42 , 0 ) // second
@@ -86,20 +86,20 @@ module CheckNoOverloadResolutionAgainstSignatureInformationGivenByTUpledAndRecor
8686 type R1 = { f1 : int }
8787 type R2 = { f2 : int }
8888 type D () =
89- member x.N = x.M { f1 = 3 } /// EXPECT ERROR
89+ member x.N = x.M { f1 = 3 } // EXPECT ERROR
9090 member x.M ({ f1 = y }) = ()
9191 member x.M ({ f2 = y }) = ()
9292
9393 module Negative2 =
9494 type R1 = { f1 : int }
9595 type R2 = { f2 : int }
9696 type D () =
97- member x.N = x.M (({ f1 = 3 },{ f1 = 3 })) /// EXPECT ERROR
97+ member x.N = x.M (({ f1 = 3 },{ f1 = 3 })) // EXPECT ERROR
9898 member x.M (( y1 : R1 , y2 : R1 )) = ()
9999 member x.M (( y1 : R2 , y2 : R1 )) = ()
100100
101101 module Negative3 =
102- type R1 = { f1 : int } /// EXPECT ERROR
102+ type R1 = { f1 : int } // EXPECT ERROR
103103 type D () =
104104 member x.N = x.M 3
105105 member x.M ( 1 ) = ()
You can’t perform that action at this time.
0 commit comments