diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7594.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7594.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T7594.hs b/testsuite/tests/polykinds/T7594.hs index 2cbd3db88d..18da70342c 100644 --- a/testsuite/tests/polykinds/T7594.hs +++ b/testsuite/tests/polykinds/T7594.hs @@ -8,7 +8,7 @@ {-# LANGUAGE Rank2Types #-} module T7594 where -import GHC.Prim (Constraint) +import GHC.Exts (Constraint) class (c1 t, c2 t) => (:&:) (c1 :: * -> Constraint) (c2 :: * -> Constraint) (t :: *) instance (c1 t, c2 t) => (:&:) c1 c2 t @@ -33,5 +33,3 @@ q2 = error "urk" bar2 = app print q2 -- This one fail, because the given constraint is -- (c :&: Real) a, which might have equality superclasses - - |