From c705bb4cf76d2e80f3e9ed900f901b697b378f79 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
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')
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