Skip to content

Commit 3d64c9c

Browse files
Sviridov Yaroslavintellij-monorepo-bot
Sviridov Yaroslav
authored andcommitted
Update golds
GitOrigin-RevId: e1333e73890250fbf158c67b740d59ef65ec00ec
1 parent f200e35 commit 3d64c9c

14 files changed

+54
-54
lines changed

ReSharper.FSharp/test/data/common/assemblyReaderShim/Attribute - Obsolete 01.gold

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ let i2 = { new |IObsoleteInterface|(6) with
1111
member this.P = 1 }
1212

1313
let d1: |ObsoleteDelegate|(7) = null
14-
let d2 = ||ObsoleteDelegate|(9)(fun _ -> ())|(8)
14+
let d2 = ||ObsoleteDelegate|(8)(fun _ -> ())|(9)
1515

1616
let e1: |ObsoleteEnum|(10) = Unchecked.defaultof<_>
1717
let e2 = |ObsoleteEnum|(11)()

ReSharper.FSharp/test/data/common/assemblyReaderShim/Event - Same name 02 - Static.gold

+3-3
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ Class2.add_Event(fun (|_: System.EventArgs|(3)) -> ())
1010
Class2.add_Event|(|(4)VoidDelegate(ignore)
1111

1212
|Class2().add_Event(fun (_: System.EventArgs) -> ())|(5)
13-
|Class2().add_Event|(|(7)VoidDelegate(ignore)|(6)
13+
|Class2().add_Event|(|(6)VoidDelegate(ignore)|(7)
1414

1515
---------------------------------------------------------
1616
(0): ReSharper Underlined Error Highlighting: Type constraint mismatch. The type
@@ -32,5 +32,5 @@ but here has type
3232
'System.EventArgs'
3333
(4): ReSharper Underlined Error Highlighting: Unmatched '('
3434
(5): ReSharper Underlined Error Highlighting: Successive arguments should be separated by spaces, tupled, or parenthesized
35-
(6): ReSharper Underlined Error Highlighting: Successive arguments should be separated by spaces, tupled, or parenthesized
36-
(7): ReSharper Underlined Error Highlighting: Unmatched '('
35+
(6): ReSharper Underlined Error Highlighting: Unmatched '('
36+
(7): ReSharper Underlined Error Highlighting: Successive arguments should be separated by spaces, tupled, or parenthesized

ReSharper.FSharp/test/data/common/assemblyReaderShim/Field - Const 01.gold

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
|match |Class.ConstZero|(1) with
2-
|(0)| 1 -> ()
1+
|match |Class.ConstZero|(0) with
2+
|(1)| 1 -> ()
33

44

55
match |0|(2) with
@@ -18,8 +18,8 @@ match |0|(4) with
1818
let _: int = Class.ConstZero
1919

2020
---------------------------------------------------------
21-
(0): ReSharper Warning: The declarations in this file will be placed in an implicit module 'Field - Const 01' based on the file name 'Field - Const 01.fs'. However this is not a valid F# identifier, so the contents will not be accessible from other files. Consider renaming the file or adding a 'module' or 'namespace' declaration at the top of the file.
22-
(1): ReSharper Warning: Incomplete pattern matches on this expression. For example, the value '0' may indicate a case not covered by the pattern(s).
21+
(0): ReSharper Warning: Incomplete pattern matches on this expression. For example, the value '0' may indicate a case not covered by the pattern(s).
22+
(1): ReSharper Warning: The declarations in this file will be placed in an implicit module 'Field - Const 01' based on the file name 'Field - Const 01.fs'. However this is not a valid F# identifier, so the contents will not be accessible from other files. Consider renaming the file or adding a 'module' or 'namespace' declaration at the top of the file.
2323
(2): ReSharper Warning: Incomplete pattern matches on this expression. For example, the value '1' may indicate a case not covered by the pattern(s).
2424
(3): ReSharper Warning: Incomplete pattern matches on this expression. For example, the value '0' may indicate a case not covered by the pattern(s).
2525
(4): ReSharper Warning: Incomplete pattern matches on this expression. For example, the value '2' may indicate a case not covered by the pattern(s).

ReSharper.FSharp/test/data/common/assemblyReaderShim/Property 01.gold

+14-14
Original file line numberDiff line numberDiff line change
@@ -48,22 +48,22 @@ let _: int = |Class.NoAccessors|(17)
4848

4949
---------------------------------------------------------
5050
(0): ReSharper Underlined Error Highlighting: Property 'StaticSet' is not readable
51-
(1): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
52-
(2): ReSharper Underlined Error Highlighting: Property 'StaticGet' cannot be set
53-
(3): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
54-
(4): ReSharper Underlined Error Highlighting: Property 'StaticExpressionBody' cannot be set
51+
(1): ReSharper Underlined Error Highlighting: Property 'StaticGet' cannot be set
52+
(2): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
53+
(3): ReSharper Underlined Error Highlighting: Property 'StaticExpressionBody' cannot be set
54+
(4): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
5555
(5): ReSharper Underlined Error Highlighting: Property 'Init' is not readable
56-
(6): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
57-
(7): ReSharper Underlined Error Highlighting: Property 'Get' cannot be set
58-
(8): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
59-
(9): ReSharper Underlined Error Highlighting: Property 'GetGet' cannot be set
56+
(6): ReSharper Underlined Error Highlighting: Property 'Get' cannot be set
57+
(7): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
58+
(8): ReSharper Underlined Error Highlighting: Property 'GetGet' cannot be set
59+
(9): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
6060
(10): ReSharper Underlined Error Highlighting: Property 'SetWithoutBody' is not readable
6161
(11): ReSharper Underlined Error Highlighting: Property 'InitWithoutBody' is not readable
6262
(12): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName1' is not readable
63-
(13): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName1' is not readable
64-
(14): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName1' cannot be set
65-
(15): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
66-
(16): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName2' cannot be set
63+
(13): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName1' cannot be set
64+
(14): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName1' is not readable
65+
(15): ReSharper Underlined Error Highlighting: Property 'WrongAccessorName2' cannot be set
66+
(16): ReSharper Underlined Error Highlighting: Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'.
6767
(17): ReSharper Underlined Error Highlighting: Property 'NoAccessors' is not readable
68-
(18): ReSharper Underlined Error Highlighting: Property 'NoAccessors' is not readable
69-
(19): ReSharper Underlined Error Highlighting: Property 'NoAccessors' cannot be set
68+
(18): ReSharper Underlined Error Highlighting: Property 'NoAccessors' cannot be set
69+
(19): ReSharper Underlined Error Highlighting: Property 'NoAccessors' is not readable
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
module Module
22

33
let _: Enum = enum 0
4-
let _: Class = ||enum|(1) 0|(0)
4+
let _: Class = ||enum|(0) 0|(1)
55

66
---------------------------------------------------------
7-
(0): ReSharper Underlined Error Highlighting: Type constraint mismatch when applying the default type 'Class' for a type inference variable. The type 'Class' is not a CLI enum type Consider adding further type constraints
8-
(1): ReSharper Underlined Error Highlighting: Could not resolve the ambiguity in the use of a generic construct with an 'enum' constraint at or near this position
7+
(0): ReSharper Underlined Error Highlighting: Could not resolve the ambiguity in the use of a generic construct with an 'enum' constraint at or near this position
8+
(1): ReSharper Underlined Error Highlighting: Type constraint mismatch when applying the default type 'Class' for a type inference variable. The type 'Class' is not a CLI enum type Consider adding further type constraints

ReSharper.FSharp/test/data/common/assemblyReaderShim/Type def - Enum 02.gold

+2-2
Original file line numberDiff line numberDiff line change
@@ -51,11 +51,11 @@ type InheritClass() =
5151

5252
---------------------------------------------------------
5353
(0): ReSharper Underlined Error Highlighting: The type 'int32' does not match the type 'int16'
54-
(1): ReSharper Underlined Error Highlighting: The type 'int32' does not match the type 'int16'
55-
(2): ReSharper Underlined Error Highlighting: This expression was expected to have type
54+
(1): ReSharper Underlined Error Highlighting: This expression was expected to have type
5655
'int32'
5756
but here has type
5857
'int16'
58+
(2): ReSharper Underlined Error Highlighting: The type 'int32' does not match the type 'int16'
5959
(3): ReSharper Underlined Error Highlighting: A generic construct requires that the type 'Class' is a CLI or F# struct type
6060
(4): ReSharper Warning: Enums may take values outside known cases. For example, the value 'enum<Enum> (3)' may indicate a case not covered by the pattern(s).
6161
(5): ReSharper Dead Code: This rule will never be matched
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
module Module
22

33
match () with
4-
| ||(|(1)_|)|(2) as|(0) |u|(3) -> ()
4+
| ||(|(0)_|)|(1) as|(2) |u|(3) -> ()
55

66
---------------------------------------------------------
7-
(0): ReSharper Dead Code: Redundant 'as' pattern
8-
(1):<overlapped> ReSharper Dead Code: Redundant parentheses
9-
(2):<overlapped><secondary> ReSharper Dead Code: Redundant parentheses
7+
(0):<overlapped> ReSharper Dead Code: Redundant parentheses
8+
(1):<overlapped><secondary> ReSharper Dead Code: Redundant parentheses
9+
(2): ReSharper Dead Code: Redundant 'as' pattern
1010
(3): ReSharper Dead Code [FS1182]: The value 'u' is unused

ReSharper.FSharp/test/data/features/daemon/fcsErrors/Type check errors 02 - nested error.fs.gold

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@ let foo x =
55

66
|foo |123.0|(0)|(1)
77
---------------------------------------------------------
8-
(0): ReSharper Warning [FS0020]: The result of this expression has type 'int' and is implicitly ignored. Consider using 'ignore' to discard this value explicitly, e.g. 'expr |> ignore', or 'let' to bind the result to a name, e.g. 'let result = expr'.
9-
(1): ReSharper Underlined Error Highlighting: This expression was expected to have type
8+
(0): ReSharper Underlined Error Highlighting: This expression was expected to have type
109
'int'
1110
but here has type
1211
'float'
12+
(1): ReSharper Warning [FS0020]: The result of this expression has type 'int' and is implicitly ignored. Consider using 'ignore' to discard this value explicitly, e.g. 'expr |> ignore', or 'let' to bind the result to a name, e.g. 'let result = expr'.
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
module Module
22

3-
||n|(1)|.|(2)[1]|(0)
3+
||n|(0)|.|(1)[1]|(2)
44

55
---------------------------------------------------------
6-
(0): ReSharper Underlined Error Highlighting: The operator 'expr.[idx]' has been used on an object of indeterminate type based on information prior to this program point.
7-
(1): ReSharper Error Highlighting: The value or constructor 'n' is not defined.
8-
(2): ReSharper Dead Code: Redundant '.'
6+
(0): ReSharper Error Highlighting: The value or constructor 'n' is not defined.
7+
(1): ReSharper Dead Code: Redundant '.'
8+
(2): ReSharper Underlined Error Highlighting: The operator 'expr.[idx]' has been used on an object of indeterminate type based on information prior to this program point.

ReSharper.FSharp/test/data/features/daemon/lambdaAnalyzer/Application.fs.gold

+3-3
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
|fun x () -> f x ()|(0)
44
|fun () () -> f () ()|(1)
55

6-
|fun x -> |id|(3) x|(2)
6+
|fun x -> |id|(2) x|(3)
77
|fun x -> (fun x -> 5) x|(4)
88

99
|fun (a, b) c -> f (a, b) c|(5)
@@ -21,8 +21,8 @@ let a = A.M("" |> |fun x -> A.M x|(9))
2121
---------------------------------------------------------
2222
(0): ReSharper Hint: Lambda can be replaced with 'f'
2323
(1): ReSharper Hint: Lambda can be replaced with 'f'
24-
(2): ReSharper Hint: Lambda can be replaced with 'id'
25-
(3): ReSharper Dead Code: Redundant application
24+
(2): ReSharper Dead Code: Redundant application
25+
(3): ReSharper Hint: Lambda can be replaced with 'id'
2626
(4): ReSharper Hint: Lambda can be simplified
2727
(5): ReSharper Hint: Lambda can be replaced with 'f'
2828
(6): ReSharper Hint: Lambda can be replaced with 'f'

ReSharper.FSharp/test/data/features/daemon/lambdaAnalyzer/Implicit conversions.fs.gold

+3-3
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ let g x : I = T(x)
1515

1616
let _: _ -> I = fun x -> f x
1717
let _: _ -> I = |fun x -> g x|(0)
18-
let _: _ -> I = |fun x -> |id|(2) x|(1)
18+
let _: _ -> I = |fun x -> |id|(1) x|(2)
1919
let _: _ -> I = fun x -> T x
2020
let _: _ -> I = fun x -> T.F(x)
2121
let _: _ -> I = |fun x -> T.F1(x)|(3)
@@ -40,8 +40,8 @@ let _: int -> 'a = |fun x -> f1 1 x|(10)
4040

4141
---------------------------------------------------------
4242
(0): ReSharper Hint: Lambda can be replaced with 'g'
43-
(1): ReSharper Hint: Lambda can be replaced with 'id'
44-
(2): ReSharper Dead Code: Redundant application
43+
(1): ReSharper Dead Code: Redundant application
44+
(2): ReSharper Hint: Lambda can be replaced with 'id'
4545
(3): ReSharper Hint: Lambda can be replaced with 'T.F1'
4646
(4): ReSharper Hint: Lambda can be replaced with 'T.Id'
4747
(5): ReSharper Hint: Lambda can be replaced with 'T'

ReSharper.FSharp/test/data/features/daemon/redundantQualifiers/AutoOpen - Nested 02 - Qualified.fs.gold

+5-5
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,10 @@ module Nested1 =
66
type T() = class end
77

88
open Nested1
9-
let t: ||Nested1.|(1)Nested2.|(0)T = ||Nested1.|(3)Nested2.|(2)T()
9+
let t: ||Nested1.|(0)Nested2.|(1)T = ||Nested1.|(2)Nested2.|(3)T()
1010

1111
---------------------------------------------------------
12-
(0): ReSharper Dead Code: Qualifier is redundant
13-
(1):<overlapped> ReSharper Dead Code: Qualifier is redundant
14-
(2): ReSharper Dead Code: Qualifier is redundant
15-
(3):<overlapped> ReSharper Dead Code: Qualifier is redundant
12+
(0):<overlapped> ReSharper Dead Code: Qualifier is redundant
13+
(1): ReSharper Dead Code: Qualifier is redundant
14+
(2):<overlapped> ReSharper Dead Code: Qualifier is redundant
15+
(3): ReSharper Dead Code: Qualifier is redundant

ReSharper.FSharp/test/data/features/daemon/redundantQualifiers/AutoOpen 02 - Qualified.fs.gold

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ module Nested1 =
66
namespace Ns2
77
module Nested2 =
88
open Ns1
9-
||Ns1.|(1)Nested1.|(0)x
9+
||Ns1.|(0)Nested1.|(1)x
1010

1111
---------------------------------------------------------
12-
(0): ReSharper Dead Code: Qualifier is redundant
13-
(1):<overlapped> ReSharper Dead Code: Qualifier is redundant
12+
(0):<overlapped> ReSharper Dead Code: Qualifier is redundant
13+
(1): ReSharper Dead Code: Qualifier is redundant

ReSharper.FSharp/test/data/features/daemon/redundantQualifiers/Compiled names - ModuleSuffix 02 - Implicit.fs.gold

+3-3
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ let v3 = |GenericT.|(6)genericModuleValue
1212

1313
open T.NestedModuleType
1414
let t4 = |T.|(7)NestedModuleType()
15-
let v4 = ||T.|(9)NestedModuleType.|(8)nestedModuleValue
15+
let v4 = ||T.|(8)NestedModuleType.|(9)nestedModuleValue
1616

1717
---------------------------------------------------------
1818
(0): ReSharper Dead Code: Qualifier is redundant
@@ -23,5 +23,5 @@ let v4 = ||T.|(9)NestedModuleType.|(8)nestedModuleValue
2323
(5): ReSharper Dead Code: Qualifier is redundant
2424
(6): ReSharper Dead Code: Qualifier is redundant
2525
(7): ReSharper Dead Code: Qualifier is redundant
26-
(8): ReSharper Dead Code: Qualifier is redundant
27-
(9):<overlapped> ReSharper Dead Code: Qualifier is redundant
26+
(8):<overlapped> ReSharper Dead Code: Qualifier is redundant
27+
(9): ReSharper Dead Code: Qualifier is redundant

0 commit comments

Comments
 (0)