CodeAction: fixed add default type to satisfy one constraint

Author: dsaenztagarro

plugins/hls-refactor-plugin/src/Development/IDE/Plugin/CodeAction.hs

@@ -14,6 +14,7 @@ module Development.IDE.Plugin.CodeAction
     matchRegExMultipleImports
     ) where
 
+import Debug.Trace
 import           Control.Applicative                               ((<|>))
 import           Control.Applicative.Combinators.NonEmpty          (sepBy1)
 import           Control.Arrow                                     (second,
@@ -791,12 +792,12 @@ suggestAddTypeAnnotationToSatisfyConstraints sourceOpt Diagnostic{_range=_range,
 --       In an equation for ‘f’:
 --          f = seq "test" seq "test" (traceShow "test")
 --
-    | Just [ty, lit] <- matchRegexUnifySpaces _message (pat False False True False)
+    | Just [ty, lit] <- matchRegexUnifySpaces (trace ("message:" <> show _message) _message) (pat False False True False)
                     <|> matchRegexUnifySpaces _message (pat False False False True)
                     <|> matchRegexUnifySpaces _message (pat False False False False)
 
-            = codeEdit _range ty lit (makeAnnotatedLit ty lit)
-    | Just source <- sourceOpt
+            = codeEdit _range (trace ("ty " <> show ty <> "lit " <> show lit) ty) lit (makeAnnotatedLit ty lit)
+    | Just source <- trace ("sourceOpt: " <> show sourceOpt) sourceOpt
     , Just [ty, lit, srcspan] <- matchRegexUnifySpaces _message (pat True True False False)
     , range <- case [ x | (x,"") <- readSrcSpan (T.unpack srcspan)] of
                  [s] -> let x = realSrcSpanToRange s
@@ -808,6 +809,14 @@ suggestAddTypeAnnotationToSatisfyConstraints sourceOpt Diagnostic{_range=_range,
     | otherwise = []
     where
       makeAnnotatedLit ty lit = "(" <> lit <> " :: " <> ty <> ")"
+#if MIN_VERSION_ghc(9,8,0)
+      pat multiple _ _ _ = T.concat [ ".*Defaulting the type variable "
+                                       , ".*to type ‘([^ ]+)’ "
+                                       , "in the following constraint"
+                                       , if multiple then "s" else " "
+                                       , ".*arising from the literal ‘(.+)’"
+                                       ]
+#else
 #if MIN_VERSION_ghc(9,4,0)
       pat multiple at inArg inExpr = T.concat [ ".*Defaulting the type variable "
                                        , ".*to type ‘([^ ]+)’ "
@@ -829,6 +838,7 @@ suggestAddTypeAnnotationToSatisfyConstraints sourceOpt Diagnostic{_range=_range,
                                        , if inExpr then ".+In the expression" else ""
                                        , ".+In the expression"
                                        ]
+#endif
 #endif
       codeEdit range ty lit replacement =
         let title = "Add type annotation ‘" <> ty <> "’ to ‘" <> lit <> "’"
@@ -1992,3 +2002,20 @@ matchRegExMultipleImports message = do
                             _            -> Nothing
   imps <- regExImports imports
   return (binding, imps)
+
+---- Debugging
+-- pat multiple at inArg inExpr = T.concat [ ".*Defaulting the type variable "
+--                                , ".*to type ‘([^ ]+)’ "
+--                                , "in the following constraint"
+--                                , if multiple then "s" else " "
+--                                , ".*arising from the literal ‘(.+)’"
+--                                , if inArg then ".+In the.+argument" else ""
+--                                , if at then ".+at ([^ ]*)" else ""
+--                                , if inExpr then ".+In the expression" else ""
+--                                , ".+In the expression"
+--                                ]
+
+
+-- Just [ty, lit] <- matchRegexUnifySpaces _message (pat False False True False)
+--             <|> matchRegexUnifySpaces _message (pat False False False True)
+--             <|> matchRegexUnifySpaces _message (pat False False False False)