blob: 2e4fbfd9c8a35ac3d2e4130414b39ca31f23ea8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module T20330 where
import GHC.Exts
ok1 :: forall (r :: RuntimeRep) (z :: TYPE r). z -> z
ok1 = raise# (5 :: Int)
ok2 = (raise# :: forall (r :: RuntimeRep) (z :: TYPE r). Int -> z -> z)
|
