blob: bf7c4a2f207527bd47959be2c00dfccb30e1a064 (
plain)
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
|