From: simonpj <unknown>
Date: Tue, 18 Jul 2000 14:46:48 +0000 (+0000)
Subject: [project @ 2000-07-18 14:46:48 by simonpj]
X-Git-Tag: Approximately_9120_patches~3982
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6a173f8195975bdf8aeb5f09507d71dcabb6a532;p=ghc-hetmet.git

[project @ 2000-07-18 14:46:48 by simonpj]
Add type-sig test
---

diff --git a/ghc/tests/rename/should_fail/rnfail023.hs b/ghc/tests/rename/should_fail/rnfail023.hs
new file mode 100644
index 0000000..bf7c4a2
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail023.hs
@@ -0,0 +1,15 @@
+-- !!! Check that type signatures and pragmas that 
+-- !!! don't have a "parent" are correctly reported
+
+module ShouldFail where
+
+-- Top level test
+f :: Int -> Int
+{-# INLINE f #-}
+
+-- Nested test
+h :: Int -> Int	-- This one is ok
+h x = x
+    where
+      g :: Int -> Int	-- Bogus
+
diff --git a/ghc/tests/rename/should_fail/rnfail023.stderr b/ghc/tests/rename/should_fail/rnfail023.stderr
new file mode 100644
index 0000000..2725fe6
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail023.stderr
@@ -0,0 +1,9 @@
+
+rnfail023.hs:7: Variable not in scope: `f'
+
+rnfail023.hs:8: Variable not in scope: `f'
+
+rnfail023.hs:14: Variable not in scope: `g'
+
+Compilation had errors
+