646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
73 lines
2.7 KiB
Diff
73 lines
2.7 KiB
Diff
diff --git a/Src/Autosubst/GenAutomation.hs b/Src/Autosubst/GenAutomation.hs
|
|
index f1c205c..6f48895 100755
|
|
--- a/Src/Autosubst/GenAutomation.hs
|
|
+++ b/Src/Autosubst/GenAutomation.hs
|
|
@@ -7,6 +7,7 @@ import Autosubst.Names
|
|
import Autosubst.Syntax
|
|
import Autosubst.Tactics
|
|
import Autosubst.Types
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.State.Lazy
|
|
diff --git a/Src/Autosubst/GenCode.hs b/Src/Autosubst/GenCode.hs
|
|
index 9145915..d4b7569 100755
|
|
--- a/Src/Autosubst/GenCode.hs
|
|
+++ b/Src/Autosubst/GenCode.hs
|
|
@@ -5,6 +5,7 @@ module Autosubst.GenCode (generateCode) where
|
|
import Autosubst.Generator
|
|
import Autosubst.ModularGenerator
|
|
import Autosubst.Types
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.RWS hiding ((<>))
|
|
diff --git a/Src/Autosubst/GenM.hs b/Src/Autosubst/GenM.hs
|
|
index 59483c1..3a4a447 100755
|
|
--- a/Src/Autosubst/GenM.hs
|
|
+++ b/Src/Autosubst/GenM.hs
|
|
@@ -2,6 +2,7 @@
|
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
|
module Autosubst.GenM where
|
|
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.RWS
|
|
diff --git a/Src/Autosubst/Generator.hs b/Src/Autosubst/Generator.hs
|
|
index 576db42..264b836 100755
|
|
--- a/Src/Autosubst/Generator.hs
|
|
+++ b/Src/Autosubst/Generator.hs
|
|
@@ -8,6 +8,7 @@ import Autosubst.Names
|
|
import Autosubst.Syntax
|
|
import Autosubst.Tactics
|
|
import Autosubst.Types
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.RWS hiding ((<>))
|
|
diff --git a/Src/Autosubst/ModularGenerator.hs b/Src/Autosubst/ModularGenerator.hs
|
|
index 323c1b1..dae8346 100755
|
|
--- a/Src/Autosubst/ModularGenerator.hs
|
|
+++ b/Src/Autosubst/ModularGenerator.hs
|
|
@@ -7,6 +7,7 @@ import Autosubst.Names
|
|
import Autosubst.Syntax
|
|
import Autosubst.Tactics
|
|
import Autosubst.Types
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.State.Lazy
|
|
diff --git a/Src/Autosubst/Tactics.hs b/Src/Autosubst/Tactics.hs
|
|
index ef3545c..cdd38fb 100755
|
|
--- a/Src/Autosubst/Tactics.hs
|
|
+++ b/Src/Autosubst/Tactics.hs
|
|
@@ -2,6 +2,7 @@
|
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
|
module Autosubst.Tactics where
|
|
|
|
+import Control.Monad
|
|
import Control.Monad.Except
|
|
import Control.Monad.Reader
|
|
import Control.Monad.RWS hiding ((<>))
|