Incorrect reported pattern synonym signature
|Reported by:||mpickering||Owned by:|
|Component:||Compiler (Type checker)||Version:||7.10.3|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):||Phab:D1896|
Description (last modified by )
data T where MkT :: (Show b) => b -> T --pattern ExNumPat :: () => Show b => b -> T pattern ExNumPat x = MkT x
GHC reports that
ExNumPat is missing a signature (correctly) but it reports the wrong type. The correct type is the one commented out.
pstest.hs:12:1: warning: Top-level binding with no type signature: ExNumPat :: forall b. Show b => b -> T
Change History (4)
Note: See TracTickets for help on using tickets.