blob: a7fd2e39f0ec00abc933ef6bc9bc5518c814a474 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -O #-}
module T12950 where
class C a where
type TF a; m :: a -> TF a
instance C Int where
type TF Int = String; m = show
overloaded :: C a => a -> (a,TF a)
{-# INLINABLE overloaded #-}
overloaded a = (a,m a)
{-# SPECIALIZE overloaded :: Int -> (Int,TF Int) #-}
|