For HEAD I get. $ ghc -c Foo.hs Foo.hs:5:8: warning: [-Wpartial-type-signatures] * Found type wildcard `_' standing for `Bool' * In the type signature: foo :: _ Not sure about the 8.0 branch. There may well be ticket(s) about this; worth a hunt, because it looks as if it's already fixed. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | amindfv@gmail.com | Sent: 07 October 2016 09:20 | To: ghc-devs@haskell.org | Subject: Type hole in pattern match | | Is this intended behavior?: | | foo :: _ | (foo, _) = (True, True) | | Produces no warning or message at all even with -Wall | | Tom | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask | ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=01%7C01%7Csimonpj%40microsoft.com%7C966e5c7ba691483e7ab808d3ee8 | ab1a8%7C72f988bf86f141af91ab2d7cd011db47%7C1&sdata=zujBlRyIkmN01tTFzfd22n | zBKbg9BGDUvMbEmBDNzj4%3D&reserved=0