From 952228e1b598f2a7e635f41e6ecd87e81145781e Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 3 Jun 2024 18:09:13 +0200 Subject: ImportQualifiedPost everywhere --- test/Util.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/Util.hs') 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') -- cgit v1.2.3-70-g09d2