aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/Data
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-11-10 21:57:54 +0100
committerTom Smeding <tom@tomsmeding.com>2025-11-10 21:57:54 +0100
commit57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 (patch)
treed1343698f4918480b53f57ebb063f08fb068550a /src/CHAD/Data
parent174af2ba568de66e0d890825b8bda930b8e7bb96 (diff)
Use ImportQualifiedPost
Diffstat (limited to 'src/CHAD/Data')
-rw-r--r--src/CHAD/Data/VarMap.hs5
1 files changed, 3 insertions, 2 deletions
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