diff options
Diffstat (limited to 'src/CHAD/Data/VarMap.hs')
| -rw-r--r-- | src/CHAD/Data/VarMap.hs | 5 |
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 |