autosubst2: init at 0-unstable-2022-07-04 (#355211)

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 ((<>))

{

  lib,

  haskellPackages,

  fetchFromGitHub,

}:

haskellPackages.mkDerivation {

  pname = "autosubst2";

  version = "0-unstable-2022-07-04";

  src = fetchFromGitHub {

    owner = "uds-psl";

    repo = "autosubst2";

    rev = "8a71e1dc4dea81f13a9572ea302064eb374566c6";

    hash = "sha256-3n87NBi3NbuDb44/oEnzjNk/TAHUwATJYuaw70k/tpk=";

  };

  patches = [ ./imports.patch ];

  isLibrary = true;

  isExecutable = true;

  libraryHaskellDepends = with haskellPackages; [

    base

    parsec

    containers

    mtl

    array

    wl-pprint

    graphviz

    text

  ];

  executableHaskellDepends = with haskellPackages; [

    base

    optparse-applicative

    wl-pprint

    directory

  ];

  testHaskellDepends = with haskellPackages; [

    base

    QuickCheck

    containers

  ];

  doCheck = false;

  homepage = "https://github.com/uds-psl/autosubst2";

  description = "Tool for generating de Bruijn boilerplate Coq code to handle substitutions in languages with binders";

  maintainers = with lib.maintainers; [ chen ];

  license = lib.licenses.bsd3;

  mainProgram = "as2-exe";

}