diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-02-15 11:06:06 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-15 11:06:31 +0100 |
| commit | c705bb4cf76d2e80f3e9ed900f901b697b378f79 (patch) | |
| tree | d6d13fda996801d04ef22cbe78f0a9a83fc985d6 /src/Data/Array/Nested/Internal | |
| parent | f578e36a8ed73268c3e1b91609baa76adfa0693a (diff) | |
Remove 'type data' for now (GHC 9.10 breaks)
Diffstat (limited to 'src/Data/Array/Nested/Internal')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Mixed.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |