Wrong warning with PartialTypeSignatures
This program
{-# LANGUAGE ScopedTypeVariables, PartialTypeSignatures #-}
f (x :: _) = x ++ ""
gives this warning
Bug.hs:2:9: Warning:
Found hole ‘_’ with type: [Char]
Relevant bindings include
f :: [Char] -> [Char] (bound at Bug.hs:2:1)
In a pattern type signature: _
In the pattern: x :: _
In an equation for ‘f’: f (x :: _) = x ++ ""
But there is no hole, only an _ in a type.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |