[GHC] #2222: Template Haskell: reify returns incorrect types when ommiting type signatures

[GHC]

#2222: Template Haskell: reify returns incorrect types when ommiting type
signatures
---------------------------------+------------------------------------------
    Reporter:  fons              |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:  _|_             
   Component:  Template Haskell  |     Version:  6.8.2           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by morabbin):

  * failure:  => None/Unknown


Comment:

 TH has moved on a little, and now all of the decl splices act as expected
 by OP:
 {{{
 Orac:~/work/ghc $ ghci -fth ReifyPlusTypeInferenceBugs.hs
 GHCi, version 7.6.1: http://www.haskell.org/ghc/  :? for help
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 [1 of 1] Compiling ReifyPlusTypeInferenceBugs (
 ReifyPlusTypeInferenceBugs.hs, interpreted )
 Loading package pretty-1.1.1.0 ... linking ... done.
 Loading package array-0.4.0.1 ... linking ... done.
 Loading package deepseq-1.3.0.1 ... linking ... done.
 Loading package containers-0.5.0.0 ... linking ... done.
 Loading package template-haskell ... linking ... done.
 inside d: t_0
 inside b: a_0
 type of c: GHC.Types.Bool
 inside f: GHC.Types.Bool
 type of e: GHC.Types.Bool
 Ok, modules loaded: ReifyPlusTypeInferenceBugs.
 }}}
 The output for `d` is precisely as OP reports, and output for `e` is the
 same modulo type variable change (from `t0` to `a0`).

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