bump bounds

.github/workflows/ci.yml

@@ -29,6 +29,7 @@ jobs:
           - "9.0.2"
           - "9.2.5"
           - "9.4.3"
+          - "9.6.3"
 
     steps:
     - uses: actions/checkout@v3

agda2hs.cabal

@@ -61,18 +61,18 @@ executable agda2hs
                        AgdaInternals,
                        Paths_agda2hs
   autogen-modules:     Paths_agda2hs
-  build-depends:       base >= 4.10 && < 4.18,
+  build-depends:       base >= 4.10 && < 4.20,
                        Agda >= 2.6.4 && < 2.6.5,
-                       bytestring >= 0.11.5 && < 0.12,
-                       containers >= 0.6 && < 0.7,
+                       bytestring >= 0.11.5 && < 0.13,
+                       containers >= 0.6 && < 0.8,
                        unordered-containers >= 0.2.19 && < 0.3,
-                       mtl >= 2.2.2 && < 2.3,
+                       mtl >= 2.2.2 && < 2.4,
                        directory >= 1.2.6.2 && < 1.4,
                        filepath >= 1.4.1.0 && < 1.5,
                        haskell-src-exts >= 1.23 && < 1.25,
                        syb >= 0.7.2 && < 0.8,
-                       text >= 2.0.2 && < 2.1,
-                       deepseq >= 1.4.4 && < 1.5,
+                       text >= 2.0.2 && < 2.2,
+                       deepseq >= 1.4.4 && < 1.6,
                        yaml >= 0.11 && < 0.12,
                        aeson >= 2.2 && < 2.3,
   default-language:    Haskell2010
@@ -89,7 +89,7 @@ executable agda2hs-mode
   hs-source-dirs:      src/agda2hs-mode
   main-is:             Main.hs
   other-modules:       Paths_agda2hs
-  build-depends:       base      >= 4.10    && < 4.18,
+  build-depends:       base      >= 4.10    && < 4.20,
                        directory >= 1.2.6.2 && < 1.4,
                        filepath  >= 1.4.1.0 && < 1.5,
                        process   >= 1.6.3.0 && < 1.7,

src/Agda2Hs/Render.hs

@@ -1,7 +1,7 @@
 module Agda2Hs.Render where
 
 import Control.Monad ( unless )
-import Control.Monad.Except ( MonadIO(liftIO) )
+import Control.Monad.IO.Class ( MonadIO(liftIO) )
 
 import Data.Function ( on )
 import Data.List ( sortBy, nub )