7 files changed, 22 insertions, 15 deletions
diff --git a/src/CHAD/AST/Pretty.hs b/src/CHAD/AST/Pretty.hs
index 3f6a3af..ea6ecba 100644
--- a/src/CHAD/AST/Pretty.hs
+++ b/src/CHAD/AST/Pretty.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TupleSections #-}
@@ -13,13 +14,13 @@ module CHAD.AST.Pretty (pprintExpr, ppExpr, ppSTy, ppSMTy, PrettyX(..)) where
 import Control.Monad (ap)
 import Data.List (intersperse, intercalate)
 import Data.Functor.Const
-import qualified Data.Functor.Product as Product
+import Data.Functor.Product qualified as Product
 import Data.String (fromString)
 import Prettyprinter
 import Prettyprinter.Render.String
 
-import qualified Data.Text.Lazy as TL
-import qualified Prettyprinter.Render.Terminal as PT
+import Data.Text.Lazy qualified as TL
+import Prettyprinter.Render.Terminal qualified as PT
 import System.Console.ANSI (hSupportsANSI)
 import System.IO (stdout)
 import System.IO.Unsafe (unsafePerformIO)
diff --git a/src/CHAD/Array.hs b/src/CHAD/Array.hs
index f80f961..caf63ef 100644
--- a/src/CHAD/Array.hs
+++ b/src/CHAD/Array.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DeriveTraversable #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TupleSections #-}
@@ -11,7 +12,7 @@ import Control.DeepSeq
 import Control.Monad.Trans.State.Strict
 import Data.Foldable (traverse_)
 import Data.Vector (Vector)
-import qualified Data.Vector as V
+import Data.Vector qualified as V
 import GHC.Generics (Generic)
 
 import CHAD.Data
diff --git a/src/CHAD/Compile.hs b/src/CHAD/Compile.hs
index 5b71651..38bef8c 100644
--- a/src/CHAD/Compile.hs
+++ b/src/CHAD/Compile.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MagicHash #-}
 {-# LANGUAGE MultiWayIf #-}
@@ -20,16 +21,16 @@ import Data.Bifunctor (first)
 import Data.Char (ord)
 import Data.Foldable (toList)
 import Data.Functor.Const
-import qualified Data.Functor.Product as Product
+import Data.Functor.Product qualified as Product
 import Data.Functor.Product (Product)
 import Data.IORef
 import Data.List (foldl1', intersperse, intercalate)
-import qualified Data.Map.Strict as Map
+import Data.Map.Strict qualified as Map
 import Data.Maybe (fromMaybe)
-import qualified Data.Set as Set
+import Data.Set qualified as Set
 import Data.Set (Set)
 import Data.Some
-import qualified Data.Vector as V
+import Data.Vector qualified as V
 import Foreign
 import GHC.Exts (int2Word#, addr2Int#)
 import GHC.Num (integerFromWord#)
@@ -41,7 +42,7 @@ import System.IO.Error (mkIOError, userErrorType)
 import System.IO.Unsafe (unsafePerformIO)
 
 import Prelude hiding ((^))
-import qualified Prelude
+import Prelude qualified
 
 import CHAD.Array
 import CHAD.AST
@@ -50,7 +51,7 @@ import CHAD.AST.Sparse.Types (isDense)
 import CHAD.Compile.Exec
 import CHAD.Data
 import CHAD.Interpreter.Rep
-import qualified CHAD.Util.IdGen as IdGen
+import CHAD.Util.IdGen qualified as IdGen
 
 
 -- In shape and index arrays, the innermost dimension is on the right (last index).
diff --git a/src/CHAD/Data/VarMap.hs b/src/CHAD/Data/VarMap.hs
index 6e16b82..a0d7617 100644
--- a/src/CHAD/Data/VarMap.hs
+++ b/src/CHAD/Data/VarMap.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE RoleAnnotations #-}
 {-# LANGUAGE StandaloneDeriving #-}
@@ -20,11 +21,11 @@ module CHAD.Data.VarMap (
 
 import Prelude hiding (lookup)
 
-import qualified Data.Map.Strict as Map
+import Data.Map.Strict qualified as Map
 import Data.Map.Strict (Map)
 import Data.Maybe (mapMaybe)
 import Data.Some
-import qualified Data.Vector.Storable as VS
+import Data.Vector.Storable qualified as VS
 import Unsafe.Coerce
 
 import CHAD.AST.Env
diff --git a/src/CHAD/Drev.hs b/src/CHAD/Drev.hs
index 595d3c7..27dc6dd 100644
--- a/src/CHAD/Drev.hs
+++ b/src/CHAD/Drev.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE ImpredicativeTypes #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE PolyKinds #-}
@@ -45,7 +46,7 @@ import CHAD.AST.Env
 import CHAD.AST.Sparse
 import CHAD.AST.Weaken.Auto
 import CHAD.Data
-import qualified CHAD.Data.VarMap as VarMap
+import CHAD.Data.VarMap qualified as VarMap
 import CHAD.Data.VarMap (VarMap)
 import CHAD.Drev.Accum
 import CHAD.Drev.EnvDescr
diff --git a/src/CHAD/Drev/Top.hs b/src/CHAD/Drev/Top.hs
index 510e73e..b4e0cbe 100644
--- a/src/CHAD/Drev/Top.hs
+++ b/src/CHAD/Drev/Top.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE PolyKinds #-}
@@ -17,7 +18,7 @@ import CHAD.AST.Sparse
 import CHAD.AST.SplitLets
 import CHAD.AST.Weaken.Auto
 import CHAD.Data
-import qualified CHAD.Data.VarMap as VarMap
+import CHAD.Data.VarMap qualified as VarMap
 import CHAD.Drev
 import CHAD.Drev.Accum
 import CHAD.Drev.EnvDescr
diff --git a/src/CHAD/Interpreter.hs b/src/CHAD/Interpreter.hs
index a9421e6..22ba2a4 100644
--- a/src/CHAD/Interpreter.hs
+++ b/src/CHAD/Interpreter.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiWayIf #-}
@@ -27,7 +28,7 @@ import Data.Bifunctor (bimap)
 import Data.Bitraversable (bitraverse)
 import Data.Char (isSpace)
 import Data.Functor.Identity
-import qualified Data.Functor.Product as Product
+import Data.Functor.Product qualified as Product
 import Data.Int (Int64)
 import Data.IORef
 import Data.Tuple (swap)