#8966: Pattern synonyms and kind-polymorphism ----------------------------------------------+---------------------------- Reporter: kosmikus | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: Resolution: | 7.8.1-rc2 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"4dc9f9869bfc82fdb8bd61864859007873ebcc27/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="4dc9f9869bfc82fdb8bd61864859007873ebcc27" Zonk the existential type variables in tcPatSynDecl This was just an omission, which showed up as Trac #8966 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8966#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler