diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-10 21:57:54 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-10 21:57:54 +0100 |
| commit | 57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 (patch) | |
| tree | d1343698f4918480b53f57ebb063f08fb068550a /src/CHAD/Drev.hs | |
| parent | 174af2ba568de66e0d890825b8bda930b8e7bb96 (diff) | |
Use ImportQualifiedPost
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 |