diff options
Diffstat (limited to 'src/CHAD/Drev.hs')
| -rw-r--r-- | src/CHAD/Drev.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |