blob: c3d2902a25e2c51a44ca7f18c18f594d9c095eb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
module T12668 where
import GHC.Exts
data Some r = Some (TYPE r -> TYPE r)
doSomething :: forall (r :: RuntimeRep). forall (a :: TYPE r). ()
=> Int -> (a -> Int) -> a -> a
doSomething n f =
case n of
1 -> error "hello"
3 -> error "hello"
|
