[GHC] #9813: Error when reifying type constructor

[GHC]

#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