blob: a43ee28a9ded1587194e26501408f20878bee38e (
plain)
1
2
3
4
5
6
7
8
9
10
|
module T22913 where
class FromSourceIO a where
fromSourceIO :: a
instance FromSourceIO (Maybe o) where
fromSourceIO = undefined
{-# SPECIALISE INLINE fromSourceIO :: Maybe o #-}
-- This SPECIALISE pragma caused a Core Lint error
-- due to incorrectly scoping the type variable 'o' from the instance header
-- over the SPECIALISE pragma.
|
