False positives with QualifiedDo

[brandonchinn178]

Repro:

-- Main.hs
{-# LANGUAGE QualifiedDo #-}
import qualified Foo
main :: IO ()
main = pure $ Foo.do
  1
  2

-- Foo.hs
module Foo ((>>)) where
import Prelude hiding ((>>))
(>>) :: Int -> Int -> ()
_ >> _ = ()

$ ghc -fwrite-ide-info Main.hs
$ weeder
./Foo.hs:6: >>

[georgefst]

I think this is covered by the README section on Overloaded syntax and hopefully fixed by GHC 9.10 as mentioned in #148 (comment).

[ryndubei]

I think this is covered by the README secion on Overloaded syntax and hopefully fixed by GHC 9.10 as mentioned in #148 (comment).

IIRC unfortunately not: this was outside the scope of the GHC patch being referred to as it focused on type class-based overloaded syntax, which works in a different way to QualifiedDo.

[georgefst]

Ah, damn.