#9732: Pattern synonyms and unboxed values -------------------------------------+------------------------------------- Reporter: monoidal | Owner: cactus Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by cactus): (and of course if `$mPAT :: forall (r :: ?)` is not kosher, we can just have two matchers, one `$mPAT :: forall (r :: *)` and one `$mPAT# :: (forall r :: #)`, and just have the extra `()` arguments for `cont`/`fail` for the latter) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9732#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler