testsuite/tests/rename/should_fail/rnfail023.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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