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