Update levity polymorphism
[ghc.git] / testsuite / tests / typecheck / should_fail / T12973.hs
1 {-# LANGUAGE RebindableSyntax, TypeInType, ExplicitForAll #-}
2
3 module T12973 where
4
5 import qualified Prelude as P
6 import GHC.Exts
7
8 class Num (a :: TYPE r) where
9 (+) :: a -> a -> a
10 fromInteger :: P.Integer -> a
11
12 foo :: forall (a :: TYPE r). Num a => a
13 foo = 3 + 4
14
15