From 1ed87361f3e6b4fac4f4017669a394406f231931 Mon Sep 17 00:00:00 2001 From: flupe Date: Mon, 27 Nov 2023 17:18:41 +0100 Subject: [PATCH] bump bounds --- .github/workflows/ci.yml | 1 + agda2hs.cabal | 14 +++++++------- src/Agda2Hs/Render.hs | 2 +- 3 files changed, 9 insertions(+), 8 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 04c364f1..1c2ed3cd 100644 --- a/.github/workflows/ci.yml +++ b/.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 diff --git a/agda2hs.cabal b/agda2hs.cabal index a0e47d25..ecfde649 100644 --- a/agda2hs.cabal +++ b/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, diff --git a/src/Agda2Hs/Render.hs b/src/Agda2Hs/Render.hs index 780cd6a4..64291d95 100644 --- a/src/Agda2Hs/Render.hs +++ b/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 )