Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Collection of compiler errors after ghc 9.6 update #7017

Closed
1 task done
alaendle opened this issue Jun 22, 2023 · 26 comments
Closed
1 task done

Collection of compiler errors after ghc 9.6 update #7017

alaendle opened this issue Jun 22, 2023 · 26 comments
Labels

Comments

@alaendle
Copy link
Member

alaendle commented Jun 22, 2023

       /var/stackage/work/unpack-dir/unpacked/xlsx-1.1.0.1-26178f3d956ab9e2409e2aee5c7bd6b3f8f3fc1b71899180e8f71e31ca3c1b8a/src/Codec/Xlsx/Parser/Stream.hs:419:3: error: [GHC-88464]
           Variable not in scope: void :: m3 SheetState -> XlsxM ()
           |
       419 |   void $ liftIO $ runExpat initState byteSource handler
@alaendle
Copy link
Member Author

alaendle commented Jun 22, 2023

  • xml-conduit-writer (Grandfathered dependencies)
/var/stackage/work/unpack-dir/unpacked/xml-conduit-writer-0.1.1.2-a57f63c472717400afac92da15311b661a30ab45002bd3d3239c2aa4a1b1eda1/src/Text/XML/Writer.hs:195:5: error: [GHC-88464]
           Variable not in scope:
             when
               :: Bool
                  -> XML -> WriterT (DL.DList Node) Data.Functor.Identity.Identity a0
           |
       195 |     when (not $ null headerContent) $ do

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/web-routes-0.27.15-e14ba90f932d24383c5288b5bc47e3870a9a78b72f1c5fc1da15de7483808461/Web/Routes/RouteT.hs:20:1: error:
           Could not find module ‘Control.Monad.Error’
           Perhaps you meant
             Control.Monad.Co (needs flag -package-id kan-extensions-5.2.5)
             Control.Monad.Log (needs flag -package-id logging-effect-1.4.0)
             Control.Monad.Try (needs flag -package-id typecheck-plugin-nat-simple-0.1.0.9)
           Use -v (or `:set -v` in ghci) to see a list of the files searched for.

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/wordpress-auth-1.0.0.1-676cc677a313aea693e01738a1f03cf1baa1b7a6b839eefd1fed626ef12d260b/src/Wordpress/Auth.hs:100:51: error:
           Module ‘Control.Monad.Except’ does not export ‘MonadIO’
           |
       100 | import           Control.Monad.Except           ( MonadIO
           |                                                   ^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/wai-saml2-0.4-5a84dad93e53c1538a3223005c3762fb03aa2f4d7961a20a2f74e9e8d35a49a7/src/Network/Wai/SAML2/Validation.hs:55:12: error: [GHC-88464]
           Variable not in scope:
             liftIO :: IO UTCTime -> ExceptT SAML2Error IO UTCTime
           Suggested fix: Perhaps use ‘liftA2’ (imported from Prelude)
          |
       55 |     now <- liftIO getCurrentTime
          |            ^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/vivid-0.5.2.0-dac5c08ce0d42214067b585df487b8b4df81dad1400382cdd257c6a6dce7c941/Vivid/GlobalState.hs:147:11: error: [GHC-88464]
           Variable not in scope: void :: IO ThreadId -> IO ()
           |
       147 |    fork = void . forkIO
           |           ^^^^

@alaendle
Copy link
Member Author

  • validationt (Grandfathered dependencies)
/var/stackage/work/unpack-dir/unpacked/validationt-0.3.0-e213f56cd621880c1d7b75c9fd23ef0d92b2f471f051bd02f232567a8cd97345/src/Control/Monad/Validation.hs:52:42: error: [GHC-76037]
           Not in scope: type constructor or class ‘MonadFix’
           Suggested fix:
             Perhaps use ‘MonadFail’ (imported from Control.Monad.Fail)
          |
       52 |              , MonadBase b, Alternative, MonadFix, MonadFail, Contravariant
          |                                          ^^^^^^^^

@alaendle
Copy link
Member Author

       /var/stackage/work/unpack-dir/unpacked/users-postgresql-simple-0.5.0.2-ced56c48ffeee2ae5c4c616648142ece3d0711876382ba559fd5b68246dd3954/src/Web/Users/Postgresql.hs:189:33: error: [GHC-88464]
           Variable not in scope:
             liftIO :: IO [r1] -> ExceptT UpdateUserError IO [Only Int64]
           Suggested fix:
             Perhaps use one of these:
               ‘liftM’ (imported from Control.Monad),
               ‘liftA2’ (imported from Prelude),
               ‘liftM2’ (imported from Control.Monad)
           |
       189 |                                 liftIO $ query conn [sql|SELECT COUNT(lid) FROM login WHERE username = ?;|] (Only $ u_name newUser)
           |                                 ^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/unexceptionalio-trans-0.5.1-23d9ba4f0324d9608e8524b7a1adbef7b33cdff7de263bb3f528e4172726b915/UnexceptionalIO/Trans.hs:45:1: error:
           Could not find module ‘Control.Monad.Trans.Error’
           Perhaps you meant
             Control.Monad.Trans.Free (needs flag -package-id free-5.2)
             Control.Monad.Trans.Iter (needs flag -package-id free-5.2)
             Control.Monad.Trans.Either (needs flag -package-id transformers-either-0.1.4)
           Use -v (or `:set -v` in ghci) to see a list of the files searched for.
          |
       45 | import qualified Control.Monad.Trans.Error as Trans
          | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/transient-0.7.0.0-2b64ec56edddf790fb9a756a4fe73de5df73b1428587675d47b002e042509c32/src/Transient/Internals.hs:363:10: error: [GHC-76037]
           Not in scope: type constructor or class ‘MonadPlus’
           |
       363 | instance MonadPlus TransIO where
           |          ^^^^^^^^^

@alaendle
Copy link
Member Author

alaendle commented Jun 22, 2023

/var/stackage/work/unpack-dir/unpacked/tar-conduit-0.3.2-b5bdd45ea88fafc5f773a96697009757fe9ed7ad4417b9bdc223279efed90ce0/src/Data/Conduit/Tar/Unix.hs:33:35: error: [GHC-76037]
           Not in scope: type constructor or class ‘Posix.GroupEntry’
           NB: neither ‘System.FilePath.Posix’,
                       ‘System.Posix.Files’ nor ‘System.Posix.User’ export ‘GroupEntry’.
           Suggested fix:
             Perhaps you intended to use DataKinds
             to refer to the data constructor of that name?
          |
       33 |     egEntry :: Either IOException Posix.GroupEntry <- try $ Posix.getGroupEntryForID gid
          |                                   ^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/tardis-0.4.4.0-ca6f7dfa605e246603c9b2624d874295a46e1027528c065b1fedd7c4eb5e00e1/src/Control/Monad/Trans/Tardis.hs:136:10: error: [GHC-39999]
           • Could not deduce ‘MonadFix m’
               arising from the head of a quantified constraint
               arising from the superclasses of an instance declaration
             from the context: Monad m
               bound by a quantified context
               at src/Control/Monad/Trans/Tardis.hs:136:10-35
             Possible fix:
               add (MonadFix m) to the context of a quantified context
           • In the instance declaration for ‘MonadTrans (TardisT bw fw)’
           |
       136 | instance MonadTrans (TardisT bw fw) where
           |          ^^^^^^^^^^^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/tagshare-0.0-5b7e9ba0e80eb8e74d7d445f25479ec6a98153abbe302087847c651eaa3e50a5/Control/Monad/TagShare.hs:57:23: error: [GHC-88464]
           Variable not in scope:
             mfix
               :: (a0 -> StateT (DynMap tag) Data.Functor.Identity.Identity a)
                  -> StateT (DynMap tag) Data.Functor.Identity.Identity a
          |
       57 |       Nothing     ->  mfix $ \e -> do
          |                       ^^^^

@alaendle
Copy link
Member Author

alaendle commented Jun 22, 2023

/var/stackage/work/unpack-dir/unpacked/tagged-identity-0.1.3-214babab9dd3cb35526238eda2d4736b7f13f9bda6bd45ff09dbb61e4ebee395/Control/Monad/Trans/Identity/Tagged.hs:158:14: error:
           Ambiguous occurrence ‘liftCallCC’
           It could refer to
              either ‘Control.Monad.Cont.Class.liftCallCC’,
                     imported from ‘Control.Monad.Cont.Class’ at Control/Monad/Trans/Identity/Tagged.hs:33:1-31
                  or ‘Control.Monad.Trans.Identity.Tagged.liftCallCC’,
                     defined at Control/Monad/Trans/Identity/Tagged.hs:145:1
           |
       158 |     callCC = liftCallCC callCC
           |              ^^^^^^^^^^

@alaendle
Copy link
Member Author

alaendle commented Jun 22, 2023

/var/stackage/work/unpack-dir/unpacked/scalpel-core-0.6.2.1-ed12b85eed4e45a74e0eaae34ab05570414bd8b7ec824027031eae9f060f0cd3/src/Text/HTML/Scalpel/Internal/Scrape.hs:50:68: error: [GHC-76037]
           Not in scope: type constructor or class ‘MonadFix’
           Suggested fix:
             Perhaps use ‘MonadFail’ (imported from Control.Monad)
          |
       50 |     deriving (Functor, Applicative, Alternative, Monad, MonadPlus, MonadFix,
          |                                                                    ^^^^^^^^

@alaendle
Copy link
Member Author

  • refinery (Grandfathered dependencies)
/var/stackage/work/unpack-dir/unpacked/refinery-0.4.0.0-7a0d0f4ed4609d03f659ec7d3a9b0eee2c85a71db0afad6576a0973245bb3a40/src/Refinery/Tactic/Internal.hs:76:14: error: [GHC-76037]
           Not in scope: type constructor or class ‘MonadPlus’
          |
       76 |            , MonadPlus
          |              ^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/prompt-0.1.1.2-e4214b48bb3a1e68039343335a7bc263e66b3da252dab904aa916a993ad0eb6b/src/Control/Monad/Prompt/Class.hs:42:1: error:
           Could not find module ‘Control.Monad.Trans.Error’
           Perhaps you meant
             Control.Monad.Trans.Free (needs flag -package-id free-5.2)
             Control.Monad.Trans.Iter (needs flag -package-id free-5.2)
             Control.Monad.Trans.Either (needs flag -package-id transformers-either-0.1.4)
           Use -v (or `:set -v` in ghci) to see a list of the files searched for.
          |
       42 | import Control.Monad.Trans.Error
          | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/prometheus-client-1.1.0-1080086d6686b69436f88b46708ead9974c28716fecc4c1a2d0b512c3910aa5c/src/Prometheus/MonadMonitor.hs:17:1: error:
           Could not find module ‘Control.Monad.Trans.Error’
           Perhaps you meant
             Control.Monad.Trans.Free (needs flag -package-id free-5.2)
             Control.Monad.Trans.Iter (needs flag -package-id free-5.2)
             Control.Monad.Trans.Either (needs flag -package-id transformers-either-0.1.4)
           Use -v (or `:set -v` in ghci) to see a list of the files searched for.
          |
       17 | import Control.Monad.Trans.Error (ErrorT, Error)
          | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

  • prettyprinter-convert-ansi-wl-pprint (Grandfathered dependencies)
/var/stackage/work/unpack-dir/unpacked/prettyprinter-convert-ansi-wl-pprint-1.1.2-1648da56048d6f9775bfbab124d8b979e268498cbdd5489d93f0376a4b250f8f/src/Prettyprinter/Convert/AnsiWlPprint.hs:29:1: error:
           Could not find module ‘Text.PrettyPrint.ANSI.Leijen.Internal’
           Perhaps you meant
             Text.PrettyPrint.ANSI.Leijen (from ansi-wl-pprint-1.0.2)
             Text.PrettyPrint.ANSI.Leijen (needs flag -package-id prettyprinter-compat-ansi-wl-pprint-1.0.2)
           Use -v (or `:set -v` in ghci) to see a list of the files searched for.
          |
       29 | import qualified Text.PrettyPrint.ANSI.Leijen.Internal  as Old
          | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/pretty-types-0.4.0.0-54a83f331433e3d721e434b1a8036dc0883d2117e1dad250867fd20456fd4835/src/Data/Type/Pretty.hs:632:9: error: [GHC-88464]
           Variable not in scope:
             when
               :: Bool
                  -> PTM ()
                  -> RWST
                       Indentation String PTRenderState Data.Functor.Identity.Identity a1
           |
       632 |         when leftHasContent (ptShow (Proxy :: Proxy l))
           |         ^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/pontarius-xmpp-0.5.6.6-74141285cf16c1ee0f25f6904d4917e2ddf86744a806ec1f9bf5ebdd490e4bdb/source/Network/Xmpp/Types.hs:755:27: error: [GHC-88464]
           Variable not in scope: mplus :: t1 -> t1 -> t2
           |
       755 |         mplusOn f = f sf1 `mplus` f sf2
           |                           ^^^^^^^

@alaendle
Copy link
Member Author

/var/stackage/work/unpack-dir/unpacked/plot-0.2.3.11-2b9cb15fa582d3cdc9f43e6ffaf401e36535909b3620c5f54bd9b7cca5dfeb44/lib/Control/Monad/Supply.hs:57:13: error: [GHC-88464]
           Variable not in scope: replicateM :: Int -> m0 a0 -> m [a]
           Suggested fix: Perhaps use ‘replicate’ (imported from Prelude)
          |
       57 | supplyN n = replicateM n supply
          |             ^^^^^^^^^^

@alaendle
Copy link
Member Author

  • pgp-wordlist (David Luposchainsky <dluposchainsky (λ) googles email service> @quchen)
/var/stackage/work/unpack-dir/unpacked/pgp-wordlist-0.1.0.3-4dd1234e20fb7f0d9865757f40ac4a9d88e4d125c2010c6f6edb3471aa20dd63/src/Data/Text/PgpWordlist/Internal/AltList.hs:87:10: error: [GHC-39999]
           • No instance for ‘Functor (AltList a)’
               arising from the head of a quantified constraint
               arising from the superclasses of an instance declaration
           • In the instance declaration for ‘Bi.Bifunctor AltList’
          |
       87 | instance Bi.Bifunctor AltList where
          |          ^^^^^^^^^^^^^^^^^^^^

@thomasjm thomasjm mentioned this issue Jun 22, 2023
4 tasks
alaendle added a commit that referenced this issue Jun 22, 2023
@nikita-volkov
Copy link
Contributor

yaml-unscrambler is fixed. Thanks!

A1kmm added a commit to A1kmm/stackage that referenced this issue Jun 24, 2023
It had an unnecessary dependency on polysemy-plugin in a way that didn't compile with ghc-9.6.x, which is removed in 0.2.1.2.

This was amongst the compiler errors referenced in: commercialhaskell#7017.
@mrkkrp
Copy link
Contributor

mrkkrp commented Jul 5, 2023

Released tagged-identity-0.1.4 which builds with GHC 9.6.

@alaendle
Copy link
Member Author

alaendle commented Feb 4, 2024

I'll remove the packages that also don't compile with ghc 9.8 and have no upper bound in place to indicate that (if they indicate that these package will get semi-automatically re-enabled once a compatible release appears). But it appears useless to me to track packages here that at last compiled against ghc 9.4.

alaendle added a commit that referenced this issue Feb 5, 2024
@amcphail
Copy link
Contributor

amcphail commented Mar 18, 2024 via email

alaendle added a commit that referenced this issue May 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

4 participants