testsuite/tests/typecheck/should_fail/T5084.hs


1
2
3
4
5
6
7
8
9
10
11
12

module T5084 where

-- Superclass method pragma test (fail)
class Foo a where
    bar :: a -> a
    {-# INLINE bar #-}

-- Instance test (ok)
instance Foo Int where
    bar = (+1)
    {-# INLINE bar #-}