From c705bb4cf76d2e80f3e9ed900f901b697b378f79 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 15 Feb 2025 11:06:06 +0100 Subject: Remove 'type data' for now (GHC 9.10 breaks) --- src/Data/Array/Nested/Internal/Mixed.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data/Array/Nested') diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs index 3b3f196..7163a76 100644 --- a/src/Data/Array/Nested/Internal/Mixed.hs +++ b/src/Data/Array/Nested/Internal/Mixed.hs @@ -12,7 +12,6 @@ {-# LANGUAGE StandaloneKindSignatures #-} {-# LANGUAGE StrictData #-} {-# LANGUAGE TypeApplications #-} -{-# LANGUAGE TypeData #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} @@ -926,7 +925,8 @@ mcast ssh2 arr , Refl <- lemAppNil @sh2 = mcastPartial (ssxFromShape (mshape arr)) ssh2 (Proxy @'[]) arr -type data SafeMCastSpec +-- TODO: This should be `type data` but a bug in GHC 9.10 means that that throws linker errors +data SafeMCastSpec = MCastId | MCastApp [Maybe Nat] [Maybe Nat] [Maybe Nat] [Maybe Nat] SafeMCastSpec SafeMCastSpec | MCastForget -- cgit v1.2.3-70-g09d2