Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#11225 closed bug (fixed)

Unable to provide type signature for pattern synonym

Reported by: mpickering Owned by:
Priority: normal Milestone: 8.0.1
Component: Compiler Version: 7.10.3
Keywords: PatternSynonyms Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: patsyn/T11224
Blocked By: Blocking:
Related Tickets: #11224 Differential Rev(s):
Wiki Page:


{-# language
 , ViewPatterns

import Text.Read

pattern PRead a <- (readMaybe -> Just a)

GHC infers the type correctly for PRead but it is impossible provide a signature. See #11224 for more discussion about why.

Change History (2)

comment:1 Changed 4 years ago by mpickering

Resolution: fixed
Status: newclosed

comment:2 Changed 4 years ago by thomie

Milestone: 8.0.1
Note: See TracTickets for help on using tickets.