Merge branch 'hotfix/stack-build' into develop

README.md

@@ -111,11 +111,19 @@ Example .cabal:
         TemplateHaskell,
         PartialTypeSignatures,
         AllowAmbiguousTypes
-
-    ghc-options: ... -fplugin GHC.TypeLits.KnownNat.Solver
 ...
 ```
 
+If you encounter an error like the following, add the pragma:
+
+```haskell
+{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
+```
+
+to the header of your source file.
+
+    Could not deduce ‘GHC.TypeNats.KnownNat (1 GHC.TypeNats.+ ...)’
+
 The supported versions are GHC 9.4.1 and later.
 This library has been tested with GHC 9.8.2 and 9.4.1.
 

heftia-effects/Example/FileSystemProvider/Main.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 
 -- SPDX-License-Identifier: MPL-2.0
 

heftia-effects/Example/Logging/Main.hs

@@ -1,6 +1,7 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 
 -- This Source Code Form is subject to the terms of the Mozilla Public
 -- License, v. 2.0. If a copy of the MPL was not distributed with this

heftia-effects/Example/UnliftIO/Main.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 
 -- SPDX-License-Identifier: MPL-2.0
 

heftia-effects/heftia-effects.cabal

@@ -35,7 +35,7 @@ tested-with:
 source-repository head
     type: git
     location: https://github.com/sayo-hs/heftia
-    tag: v0.4.0
+    tag: v0.4.0.1
     subdir: heftia-effects
 
 common common-base
@@ -63,7 +63,7 @@ common common-base
         ghc-typelits-knownnat ^>= 0.7,
         containers > 0.6.5 && < 0.8,
 
-    ghc-options: -Wall -fplugin GHC.TypeLits.KnownNat.Solver
+    ghc-options: -Wall
 
 library
     import: common-base

heftia-effects/src/Control/Monad/Hefty/Concurrent/Timer.hs

@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
+
 -- SPDX-License-Identifier: MPL-2.0
 
 module Control.Monad.Hefty.Concurrent.Timer (
@@ -21,7 +23,7 @@ import Control.Monad.Hefty (
  )
 import Control.Monad.Hefty.Coroutine (runCoroutine)
 import Control.Monad.Hefty.State (evalState)
-import Data.Effect.Concurrent.Timer
+import Data.Effect.Concurrent.Timer (CyclicTimer (Wait), Timer (Clock, Sleep), clock, cyclicTimer)
 import Data.Effect.Coroutine (Status (Continue, Done))
 import Data.Effect.State (get, put)
 import Data.Time (DiffTime)