From 57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 10 Nov 2025 21:57:54 +0100
Subject: Use ImportQualifiedPost

---
 src/CHAD/Data/VarMap.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/CHAD/Data')

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
-- 
cgit v1.2.3-70-g09d2