Skip to content

Commit c734136

Browse files
committed
Update old tests
1 parent 321a4e9 commit c734136

File tree

4 files changed

+18
-4
lines changed

4 files changed

+18
-4
lines changed

test.fsi

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
2+
namespace Microsoft.FSharp.Core
3+
open System
4+
[<AttributeUsage (AttributeTargets.Method ||| AttributeTargets.Property,AllowMultiple=false)>]
5+
[<Sealed>]
6+
type NoDynamicInvocationAttribute =
7+
inherit Attribute
8+
new: unit -> NoDynamicInvocationAttribute
9+
internal new: isLegacy: bool -> NoDynamicInvocationAttribute
10+
11+
module Operators =
12+
[<CompiledName("GetId")>]
13+
val inline id: value: 'T -> 'T
14+

tests/fsharpqa/Source/Conformance/ObjectOrientedTypeDefinitions/ClassTypes/AutoProperties/E_PrivateProperty01.fs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// #Conformance #ObjectOrientedTypes #Classes #MethodsAndProperties #Accessibility
2-
//<Expects status="error" span="(6,23-6,37)" id="FS0410">The type 'X' is less accessible than the value, member or type 'member XX\.PublicProperty: X' it is used in.$</Expects>
2+
//<Expects status="error" span="(6,49-6,52)" id="FS0410">The type 'X' is less accessible than the value, member or type 'member XX\.PublicProperty: X' it is used in.$</Expects>
33
type private X() = class end
44

55
type XX() =

tests/fsharpqa/Source/Conformance/ObjectOrientedTypeDefinitions/ClassTypes/MemberDeclarations/E_PropertyInvalidGetterSetter01.fs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Regression #Conformance #ObjectOrientedTypes #Classes #MethodsAndProperties #MemberDefinitions
22
// Regression test for 342901
3-
//<Expects id="FS3172" span="(6,17-6,18)" status="error">A property's getter and setter must have the same type\. Property 'X' has getter of type 'obj option' but setter of type 'obj'\.</Expects>
3+
//<Expects id="FS3172" span="(7,14-7,17)" status="error">A property's getter and setter must have the same type\. Property 'X' has getter of type 'obj option' but setter of type 'obj'\.</Expects>
44
type Foo(x) =
55
let mutable x = x
66
member this.X

tests/fsharpqa/Source/Conformance/ObjectOrientedTypeDefinitions/ClassTypes/MemberDeclarations/E_PropertySetterUnit01.fs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
// See also bug #5456
55
// Since Dev11, A property's getter and setter must have the same type, so error would be reported.
66
// See bug #342901
7-
//<Expects id="FS3172" span="(12,27-12,30)" status="error">A property's getter and setter must have the same type\. Property 'ini' has getter of type 'bool' but setter of type 'unit'\.</Expects>
8-
//<Expects id="FS3172" span="(19,27-19,30)" status="error">A property's getter and setter must have the same type\. Property 'ini' has getter of type 'bool' but setter of type 'unit'\.</Expects>
7+
//<Expects id="FS3172" span="(13,21-13,24)" status="error">A property's getter and setter must have the same type\. Property 'ini' has getter of type 'bool' but setter of type 'unit'\.</Expects>
8+
//<Expects id="FS3172" span="(20,21-20,24)" status="error">A property's getter and setter must have the same type\. Property 'ini' has getter of type 'bool' but setter of type 'unit'\.</Expects>
99
module M
1010
type test = class
1111
val mutable Init : bool

0 commit comments

Comments
 (0)