#12448: Allow partial application of bidirectional pattern synonyms -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs type Product3 = (,,) }}} Allow {{{#!hs pattern Product3 :: a -> b -> c -> Product3 a b c pattern Product3 = (,,) }}} to mean {{{#!hs pattern Product3 :: a -> b -> c -> Product3 a b c pattern Product3 x y z = (x, y, z) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12448 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler