#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 simonpj): Yes, I see. You don't know if the result is unlifted, but you DO know if `cont` has value args. (Which it does not in this case.) I think you can just have the second of your two matchers, with `forall (r :: ?). ...`, something that is not possible in source Haskell, but which you can do in generated code I think. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9732#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler