Incorrect parsing of a pattern synonym type
|Reported by:||mpickering||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||#12108||Differential Rev(s):|
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