From 8b59d8ef4ff97936f2a753d1ce345e0404c26b2b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 30 May 2024 22:47:52 +0200 Subject: Clearer module purposes Thanks Mikolaj for discussion --- test/Tests/C.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/Tests') diff --git a/test/Tests/C.hs b/test/Tests/C.hs index 53955dc..b98c23f 100644 --- a/test/Tests/C.hs +++ b/test/Tests/C.hs @@ -16,10 +16,10 @@ import Data.Type.Equality import Foreign import GHC.TypeLits -import Data.Array.Mixed qualified as X +import Data.Array.Mixed.XArray qualified as X import Data.Array.Mixed.Lemmas import Data.Array.Nested -import Data.Array.Nested.Mixed +import Data.Array.Nested.Internal.Mixed import Hedgehog import Hedgehog.Internal.Property (forAllT) -- cgit v1.2.3-70-g09d2