[GHC] #4181: Template Haskell + -fdicts-strict fails

GHC cvs-ghc at haskell.org
Thu Jul 8 15:59:23 EDT 2010


#4181: Template Haskell + -fdicts-strict fails
---------------------------------+------------------------------------------
    Reporter:  LouisWasserman    |       Owner:                                    
        Type:  bug               |      Status:  new                               
    Priority:  normal            |   Component:  Compiler                          
     Version:  6.12.3            |    Keywords:  template haskell strict dictionary
          Os:  Unknown/Multiple  |    Testcase:                                    
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash                
---------------------------------+------------------------------------------
 {{{
 module Foo where

 import Language.Haskell.TH

 foo :: Q Name
 foo = do
         VarE x <- [| (>>=) |]
         return x
 }}}

 When compiled with -fdicts-strict -XTemplateHaskell, the resulting Core
 contains

 {{{
 Foo.foo3 :: forall (m_aPo :: * -> *). Functor m_aPo
 GblId

 Foo.foo3 =
   \ (@ m_aPo::* -> *) ->
     Control.Exception.Base.runtimeError
       @ Functor m_aPo
       "Oops!  Entered absent arg ww_sQJ{v} [lid] <pred>base:Functor{tc 2a}
 m{tv aPo} [tv]"
 }}}

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


More information about the Glasgow-haskell-bugs mailing list