summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_compile/T12950.hs
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) #-}