tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1diff --git a/Src/Autosubst/GenAutomation.hs b/Src/Autosubst/GenAutomation.hs
2index f1c205c..6f48895 100755
3--- a/Src/Autosubst/GenAutomation.hs
4+++ b/Src/Autosubst/GenAutomation.hs
5@@ -7,6 +7,7 @@ import Autosubst.Names
6 import Autosubst.Syntax
7 import Autosubst.Tactics
8 import Autosubst.Types
9+import Control.Monad
10 import Control.Monad.Except
11 import Control.Monad.Reader
12 import Control.Monad.State.Lazy
13diff --git a/Src/Autosubst/GenCode.hs b/Src/Autosubst/GenCode.hs
14index 9145915..d4b7569 100755
15--- a/Src/Autosubst/GenCode.hs
16+++ b/Src/Autosubst/GenCode.hs
17@@ -5,6 +5,7 @@ module Autosubst.GenCode (generateCode) where
18 import Autosubst.Generator
19 import Autosubst.ModularGenerator
20 import Autosubst.Types
21+import Control.Monad
22 import Control.Monad.Except
23 import Control.Monad.Reader
24 import Control.Monad.RWS hiding ((<>))
25diff --git a/Src/Autosubst/GenM.hs b/Src/Autosubst/GenM.hs
26index 59483c1..3a4a447 100755
27--- a/Src/Autosubst/GenM.hs
28+++ b/Src/Autosubst/GenM.hs
29@@ -2,6 +2,7 @@
30 {-# LANGUAGE MultiParamTypeClasses #-}
31 module Autosubst.GenM where
32
33+import Control.Monad
34 import Control.Monad.Except
35 import Control.Monad.Reader
36 import Control.Monad.RWS
37diff --git a/Src/Autosubst/Generator.hs b/Src/Autosubst/Generator.hs
38index 576db42..264b836 100755
39--- a/Src/Autosubst/Generator.hs
40+++ b/Src/Autosubst/Generator.hs
41@@ -8,6 +8,7 @@ import Autosubst.Names
42 import Autosubst.Syntax
43 import Autosubst.Tactics
44 import Autosubst.Types
45+import Control.Monad
46 import Control.Monad.Except
47 import Control.Monad.Reader
48 import Control.Monad.RWS hiding ((<>))
49diff --git a/Src/Autosubst/ModularGenerator.hs b/Src/Autosubst/ModularGenerator.hs
50index 323c1b1..dae8346 100755
51--- a/Src/Autosubst/ModularGenerator.hs
52+++ b/Src/Autosubst/ModularGenerator.hs
53@@ -7,6 +7,7 @@ import Autosubst.Names
54 import Autosubst.Syntax
55 import Autosubst.Tactics
56 import Autosubst.Types
57+import Control.Monad
58 import Control.Monad.Except
59 import Control.Monad.Reader
60 import Control.Monad.State.Lazy
61diff --git a/Src/Autosubst/Tactics.hs b/Src/Autosubst/Tactics.hs
62index ef3545c..cdd38fb 100755
63--- a/Src/Autosubst/Tactics.hs
64+++ b/Src/Autosubst/Tactics.hs
65@@ -2,6 +2,7 @@
66 {-# LANGUAGE MultiParamTypeClasses #-}
67 module Autosubst.Tactics where
68
69+import Control.Monad
70 import Control.Monad.Except
71 import Control.Monad.Reader
72 import Control.Monad.RWS hiding ((<>))