[GHC] #4056: GHC panic with small TH code

[GHC]

#4056: GHC panic with small TH code
---------------------------------+------------------------------------------
  Reporter:  verdelyi            |          Owner:                  
      Type:  bug                 |         Status:  closed          
  Priority:  normal              |      Milestone:                  
 Component:  Template Haskell    |        Version:  6.12.2          
Resolution:  fixed               |       Keywords:                  
Difficulty:                      |             Os:  Unknown/Multiple
  Testcase:  th/T4056            |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash  |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => th/T4056
  * resolution:  => fixed


Comment:

 Excellent point.  Not quite as simple to fix as I thought!  Thank you for
 letting us know.

 Fixed by
 {{{
 Tue May 25 12:39:10 BST 2010  simonpj at microsoft.com
   * Refactor (again) the handling of default methods

   This patch fixes Trac #4056, by

    a) tidying up the treatment of default method names
    b) removing the 'module' argument to newTopSrcBinder

   The details aren't that interesting, but the result
   is much tidier. The original bug was a 'nameModule' panic,
   caused by trying to find the module of a top-level name.
   But TH quotes generate Internal top-level names that don't
   have a module, and that is generally a good thing.

   Fixing that in turn led to the default-method refactoring,
   which also makes the Name for a default method be handled
   in the same way as other derived names, generated in BuildTyCl
   via a call newImplicitBinder.  Hurrah.
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4056#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler