#9813: Error when reifying type constructor -------------------------------------+------------------------------------- Reporter: owst | Owner: 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: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by owst): D'oh yes! I misread/misunderstood. Perhaps the manual could be tweaked to make the difference clear. Without understanding the implications, couldn't encountering an expression splice force the end of the current declaration group? In other words, act as if the splice was a declaration splice; since we can't have non-top-level type declarations, I think this might work? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9813#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler