Type hole in pattern match

[Simon Peyton Jones]

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 at haskell.org] On Behalf Of
| amindfv at gmail.com
| Sent: 07 October 2016 09:20
| To: ghc-devs at 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 at 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