#5496: Reify class instances
---------------------------------+------------------------------------------
    Reporter:  zzo38             |        Owner:              
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:              
   Component:  Template Haskell  |      Version:  7.0.3       
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Windows           |     Blocking:              
Architecture:  x86               |      Failure:  None/Unknown
---------------------------------+------------------------------------------
Description changed by simonpj:

Old description:

> <interactive>:1:3:
>     Exception when trying to run compile-time code:
>       <interactive>: panic! (the 'impossible' happened)
>   (GHC version 7.0.3 for i386-unknown-mingw32):
>         reifyType PredTy
>     <pred>base:GHC.Num.Num{tc 2b}
>             integer-gmp:GHC.Integer.Type.Integer{tc 314}
>
> Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
>
>       Code: (>>)
>               (>>=)
>                 (>>=)
>                   classInstances 'Num [Language.Haskell.TH.Syntax.ConT
> 'Integer]
>
>                   (.) reify head
>                 (.) runIO print
>               [| 0 |]
>     In the expression:
>       $(classInstances 'Num [ConT 'Integer] >>= reify . head
>     >>= runIO . print
>   >>
>     [| 0 |])
>     In an equation for `it':
>         it
>           = $(classInstances 'Num [ConT 'Integer] >>= reify . head
>           >>= runIO . print
>         >>
>           [| 0 |])

New description:

 {{{
 <interactive>:1:3:
     Exception when trying to run compile-time code:
       <interactive>: panic! (the 'impossible' happened)
   (GHC version 7.0.3 for i386-unknown-mingw32):
         reifyType PredTy
     <pred>base:GHC.Num.Num{tc 2b}
             integer-gmp:GHC.Integer.Type.Integer{tc 314}

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

       Code: (>>)
               (>>=)
                 (>>=)
                   classInstances 'Num [Language.Haskell.TH.Syntax.ConT
 'Integer]

                   (.) reify head
                 (.) runIO print
               [| 0 |]
     In the expression:
       $(classInstances 'Num [ConT 'Integer] >>= reify . head
     >>= runIO . print
   >>
     [| 0 |])
     In an equation for `it':
         it
           = $(classInstances 'Num [ConT 'Integer] >>= reify . head
           >>= runIO . print
         >>
           [| 0 |])
 }}}

--

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

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to