diff options
Diffstat (limited to 'testsuite/tests/polykinds/T12718.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T12718.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T12718.hs b/testsuite/tests/polykinds/T12718.hs index fd1e2c7691..82d6dcd177 100644 --- a/testsuite/tests/polykinds/T12718.hs +++ b/testsuite/tests/polykinds/T12718.hs @@ -8,7 +8,7 @@ import qualified Prelude as P import GHC.Prim import GHC.Types -class XNum (a :: TYPEvis rep) where +class XNum (a :: TYPE rep) where (+) :: a -> a -> a fromInteger :: Integer -> a @@ -24,7 +24,7 @@ instance XNum Int# where u :: Bool u = isTrue# v_ where - v_ :: forall rep (a :: TYPEvis rep). XNum a => a + v_ :: forall rep (a :: TYPE rep). XNum a => a v_ = fromInteger 10 main = print u |