Support validation checks for Constants with units of measure types

ReSharper.FSharp/src/FSharp.Psi.Intentions/src/QuickFixes/UpdateLiteralConstantInSignatureFix.fs

@@ -47,14 +47,49 @@ type UpdateLiteralConstantInSignatureFix(error: LiteralConstantValuesDifferInSig
     let mutable sigRefPat = null
 
     let rec isImplExprValidInSig (implExpression: IFSharpExpression) =
+
+        let opName = $"{nameof UpdateLiteralConstantInSignatureFix}.IsAvailable"
+
+        let rec collectUofMRefs (uOfM: IUnitOfMeasure) =
+            seq {
+                match uOfM with
+                | :? INamedMeasure as named ->
+                    yield named.TypeUsage.As<INamedTypeUsage>().ReferenceName.Reference
+                | :? IProductMeasure as product ->
+                    yield! collectUofMRefs product.Measure1
+                    yield! collectUofMRefs product.Measure2
+                | :? ISeqMeasure as seqM ->
+                    for m in seqM.Measures do
+                        yield! collectUofMRefs m
+                | :? IDivideMeasure as divide ->
+                    yield! collectUofMRefs divide.Measure1
+                    yield! collectUofMRefs divide.Measure2
+                | :? IPowerMeasure as power ->
+                    yield! collectUofMRefs power.Measure
+                | :? IParenMeasure as paren ->
+                    yield! collectUofMRefs paren.Measure
+                | _ -> ()
+            }
+
+        let isValidUofMInSig (uOfM: IUnitOfMeasureClause) =
+            if isNull uOfM.Measure then false else
+
+                let refs = collectUofMRefs uOfM.Measure
+                refs |> Seq.forall (
+                    fun r -> r.ResolveWithFcs(
+                        sigRefPat, opName, false, true)
+                            |> Option.isSome)
+
+
         match implExpression.IgnoreInnerParens() with
         | :? IReferenceExpr as refExpr ->
             refExpr.Reference.ResolveWithFcs(
-                sigRefPat, $"{nameof UpdateLiteralConstantInSignatureFix}.IsAvailable", true, true)
+                sigRefPat, opName, true, true)
             |> Option.isSome
         | :? IBinaryAppExpr as binExpr ->
             isImplExprValidInSig binExpr.LeftArgument && isImplExprValidInSig binExpr.RightArgument
-        | :? ILiteralExpr as litExpr -> isNull litExpr.UnitOfMeasure
+        | :? ILiteralExpr as litExpr ->
+            if isNull litExpr.UnitOfMeasure then true else isValidUofMInSig litExpr.UnitOfMeasure
         | _ -> false
 
     override x.Text =

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 01.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 01.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 01.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 01.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 02.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m * kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 02.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m * kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 02.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 02.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 03.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 03.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 03.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 03.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 04.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42< / m>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 04.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42< / m>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 04.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23< / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 04.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m> = 23< / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 05.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 05.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 05.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 05.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 06.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<(m * kg)>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 06.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<(m * kg)>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 06.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<kg> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 06.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m> = 23<kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 07.fs

@@ -0,0 +1,8 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+[<Measure>] type s
+
+[<Literal>]
+let a{caret} = 42<m kg s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 07.fs.gold

@@ -0,0 +1,8 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+[<Measure>] type s
+
+[<Literal>]
+let a{caret} = 42<m kg s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 07.fsi

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m kg> = 23<m kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for unknown UoM - 07.fsi.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m kg> = 23<m kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/No update for measure constant - 01.fsi.gold → ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 01.fsi.gold

@@ -3,4 +3,4 @@ module A
 [<Measure>] type m
 
 [<Literal>]
-val a : int<m> = 23<m>
+val a : int<m> = 42<m>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 02.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type s
+
+[<Literal>]
+let a{caret} = 42<m * s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 02.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type s
+
+[<Literal>]
+let a{caret} = 42<m * s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 02.fsi

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type s
+
+[<Literal>]
+val a : int<m * s> = 23<m * s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 02.fsi.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type s
+
+[<Literal>]
+val a : int<m * s> = 42<m * s>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 03.fs

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 03.fs.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+let a{caret} = 42<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 03.fsi

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m / kg> = 23<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 03.fsi.gold

@@ -0,0 +1,7 @@
+module A
+
+[<Measure>] type m
+[<Measure>] type kg
+
+[<Literal>]
+val a : int<m / kg> = 42<m / kg>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 04.fs

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type m
+
+[<Literal>]
+let a{caret} = 42<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 04.fs.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type m
+
+[<Literal>]
+let a{caret} = 42<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 04.fsi

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type m
+
+[<Literal>]
+val a : int<m^2> = 23<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 04.fsi.gold

@@ -0,0 +1,6 @@
+module A
+
+[<Measure>] type m
+
+[<Literal>]
+val a : int<m^2> = 42<m^2>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 05.fs

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+let a{caret} = 42<1>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 05.fs.gold

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+let a{caret} = 42<1>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 05.fsi

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+val a : int<1> = 23<1>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 05.fsi.gold

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+val a : int<1> = 42<1>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 06.fs

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+let a{caret} = 42<_>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 06.fs.gold

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+let a{caret} = 42<_>

ReSharper.FSharp/test/data/features/quickFixes/updateLiteralConstantInSignatureFix/Update UoM Constant - 06.fsi

@@ -0,0 +1,4 @@
+module A
+
+[<Literal>]
+val a : int<_> = 23<_>