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 | |
| parent | 174af2ba568de66e0d890825b8bda930b8e7bb96 (diff) | |
Use ImportQualifiedPost
Diffstat (limited to 'src/CHAD/Drev')
| -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 |