Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / driver / werror.stderr
1
2 werror.hs:6:1: warning: [-Wmissing-signatures (in -Wall)]
3     Top-level binding with no type signature: main :: IO ()
4
5 werror.hs:7:13: warning: [-Wname-shadowing (in -Wall)]
6     This binding for ‘main’ shadows the existing binding
7       defined at werror.hs:6:1
8
9 werror.hs:7:13: warning: [-Wunused-local-binds (in -Wextra, -Wunused-binds)]
10     Defined but not used: ‘main’
11
12 werror.hs:8:1: warning: [-Wtabs (in -Wdefault)]
13     Tab character found here.
14     Please use spaces instead.
15
16 werror.hs:10:1: warning: [-Wunused-top-binds (in -Wextra, -Wunused-binds)]
17     Defined but not used: ‘f’
18
19 werror.hs:10:1: warning: [-Wmissing-signatures (in -Wall)]
20     Top-level binding with no type signature: f :: [a1] -> [a2]
21
22 werror.hs:10:1: warning: [-Wincomplete-patterns (in -Wextra)]
23     Pattern match(es) are non-exhaustive
24     In an equation for ‘f’: Patterns not matched: (_:_)
25
26 werror.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
27     Pattern match is redundant
28     In an equation for ‘f’: f [] = ...
29
30 <no location info>: error: 
31 Failing due to -Werror.