diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9569.hs')
-rw-r--r-- | testsuite/tests/polykinds/T9569.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T9569.hs b/testsuite/tests/polykinds/T9569.hs index 0e1fdd596a..1b8bb68c75 100644 --- a/testsuite/tests/polykinds/T9569.hs +++ b/testsuite/tests/polykinds/T9569.hs @@ -2,7 +2,7 @@ {-# LANGUAGE RankNTypes, ConstraintKinds, KindSignatures, DataKinds, TypeFamilies #-} module T9569 where -import GHC.Prim +import GHC.Exts data Proxy (c :: Constraint) @@ -23,4 +23,4 @@ instance (Deferrable c1, Deferrable c2) => Deferrable (c1,c2) where [W] Proxy (c1,c2) -> ((c1,c2) => a) -> a ~ Proxy (c1x,c2x) -> ((c1x,c2x) => ax) -> ax [w] Deferrable c1x [w] Deferrable c2x --}
\ No newline at end of file +-} |