testsuite/tests/simplCore/should_compile/T5821.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module T5821 where

type family T a
type instance T Int = Bool

foo :: Num a => a -> T a
foo = undefined

{-# SPECIALISE foo :: Int -> Bool #-}