diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 18:09:13 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 18:09:13 +0200 |
| commit | 952228e1b598f2a7e635f41e6ecd87e81145781e (patch) | |
| tree | c5603262f4dc42480410e718fe9d891dac497273 /test/Util.hs | |
| parent | 20626932cca57d0787e8464dcfd88944eb6336ec (diff) | |
ImportQualifiedPost everywhere
Diffstat (limited to 'test/Util.hs')
| -rw-r--r-- | test/Util.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Util.hs b/test/Util.hs index 9afa922..a358d30 100644 --- a/test/Util.hs +++ b/test/Util.hs @@ -1,5 +1,6 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} +{-# LANGUAGE ImportQualifiedPost #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} @@ -8,7 +9,7 @@ {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} module Util where -import qualified Data.Array.RankedS as OR +import Data.Array.RankedS qualified as OR import GHC.TypeLits import Data.Array.Mixed.Types (fromSNat') |