blob: 6edcd10d253ea01705a588f39e7d1ca97bced0b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T17536b where
import Data.Kind
import GHC.Exts
type P :: forall (r :: RuntimeRep). TYPE r -> Type
data P a where
L :: P Int
U :: P Int#
g :: forall r (a :: TYPE r). P a -> a -> a
g L = \ _ -> 0
g U = \ _ -> 3#
|
