blob: 81e757f8c2405cda1ad20e709a6ea5061d923a7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
module T8848a where
f :: Ord a => b -> a -> a
f y x = x
{-# SPECIALISE f :: b -> [Int] -> [Int] #-}
{- Specialised badly:
"SPEC Spec.f" [ALWAYS]
forall (@ b_aX7).
Spec.f @ b_aX7
@ [GHC.Types.Int]
(GHC.Classes.$fOrd[]
@ GHC.Types.Int
(GHC.Classes.$fEq[] @ GHC.Types.Int GHC.Classes.$fEqInt)
GHC.Classes.$fOrdInt)
= Spec.f_$sf @ b_aX7
-}
|