Should be more liberal parsing pattern synonyms with view patterns
|Reported by:||mpickering||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
Redundant parentheses are required around a view pattern if it is used on the RHS of a pattern synonym definition. I think that parsing should be relaxed to allow the first definition.
-- Fails to parse, bug? pattern IsTrue :: Show a => a pattern IsTrue <- (== "True") . show -> True -- Parses pattern IsTrue :: Show a => a pattern IsTrue <- ((== "True") . show -> True)