From ff6de1cb1c92dbe459d9ed4de03a3dc530aeba46 Mon Sep 17 00:00:00 2001
From: Max Bolingbroke <batterseapower@hotmail.com>
Date: Sun, 3 Apr 2011 18:32:49 +0100
Subject: [PATCH] Update rnfail023 test to test the behaviour of #5084
---
tests/ghc-regress/rename/should_fail/rnfail023.hs | 10 ++++++++++
tests/ghc-regress/rename/should_fail/rnfail023.stderr | 7 +++++++
2 files changed, 17 insertions(+)
diff --git a/tests/ghc-regress/rename/should_fail/rnfail023.hs b/tests/ghc-regress/rename/should_fail/rnfail023.hs
index bf7c4a2f2..7f5126f21 100644
--- a/tests/ghc-regress/rename/should_fail/rnfail023.hs
+++ b/tests/ghc-regress/rename/should_fail/rnfail023.hs
@@ -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 #-}
+
diff --git a/tests/ghc-regress/rename/should_fail/rnfail023.stderr b/tests/ghc-regress/rename/should_fail/rnfail023.stderr
index ec9d81ab7..edd4a8b93 100644
--- a/tests/ghc-regress/rename/should_fail/rnfail023.stderr
+++ b/tests/ghc-regress/rename/should_fail/rnfail023.stderr
@@ -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
--
GitLab