[project @ 2000-07-18 14:46:48 by simonpj]

Add type-sig test

ghc/tests/rename/should_fail/rnfail023.hs

+-- !!! 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
+

ghc/tests/rename/should_fail/rnfail023.stderr

+
+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
+