Permalink
Browse files

Update rnfail023 test to test the behaviour of #5084

  • Loading branch information...
1 parent 78362e7 commit ff6de1cb1c92dbe459d9ed4de03a3dc530aeba46 @batterseapower batterseapower committed Apr 3, 2011
@@ -13,3 +13,13 @@ h x = x
where
g :: Int -> Int -- Bogus
+-- Superclass method pragma test
+class Foo a where
+ bar :: a -> a
+ {-# INLINE bar #-}
+
+-- Instance test
+instance Foo Int where
+ bar = (+1)
+ {-# INLINE not_bar #-}
+
@@ -7,3 +7,10 @@ rnfail023.hs:8:12:
rnfail023.hs:14:7:
The type signature for `g' lacks an accompanying binding
+
+rnfail023.hs:19:16:
+ The INLINE pragma for `bar' lacks an accompanying binding
+ (The INLINE pragma must be given where `bar' is declared)
+
+rnfail023.hs:24:16:
+ The INLINE pragma for `not_bar' lacks an accompanying binding

0 comments on commit ff6de1c

Please sign in to comment.