diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/T14932.hs')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T14932.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/deriving/should_compile/T14932.hs b/testsuite/tests/deriving/should_compile/T14932.hs index ece83cc497..bb82071bc2 100644 --- a/testsuite/tests/deriving/should_compile/T14932.hs +++ b/testsuite/tests/deriving/should_compile/T14932.hs @@ -5,7 +5,7 @@ {-# LANGUAGE TypeOperators #-} module T14932 where -import GHC.Exts +import Data.Kind (Constraint, Type) class Zero a where zero :: a @@ -16,7 +16,7 @@ type family All c xs :: Constraint where All c '[] = () All c (x : xs) = (c x, All c xs) -type family Code (a :: *) :: [[*]] +type family Code (a :: Type) :: [[Type]] type instance Code B1 = '[ '[ ] ] data B1 = B1 |