Opened 13 months ago

Last modified 12 months ago

#12179 new bug

Incorrect parsing of a pattern synonym type

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

Description

The following definition is accepted by GHC.

pattern Q :: a -> forall. (Bool -> a)
pattern Q v <- (($ True) -> v)

What does this type signature mean? Who knows. It should be rejected for being an invalid form.

Maybe see #12108

Change History (1)

comment:1 Changed 12 months ago by simonpj

See also #12187 which needs to be settled first.

Note: See TracTickets for help on using tickets.