blob: ae09ae07bb8bfdf08909acbf49e53ca51b485a3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE MagicHash, PolyKinds, TypeFamilies, AllowAmbiguousTypes #-}
module T11471 where
import GHC.Exts
import Data.Proxy
type family F a :: k
type instance F Int = Int#
f :: Proxy a -> F a -> F a
f _ x = x
bad = f (undefined :: Proxy Int#) 3#
|