#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 simonpj): You are an ideal person to suggest a concrete wording change to the manual since you know what you misunderstood. Would you care to do that? No, a declaration splice can't force the end of a declaration group. What if it was mutually recursive with declarations further down? What if the mutually recursive group was scattered over the file? This way lies madness. That said, I am a bit surprised. The error message says that the renamer- lookup of `Huh` is failing, but I'd expect it to have brought all the names in the current group into scope. Moreover, types declarations are (reliably) typechecked before values decls. Worth looking into. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9813#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler