logo       

Is this a known bug?: msg#00006

lang.haskell.glasgow.bugs

Subject: Is this a known bug?

Is this a known TH bug?

import Language.Haskell.THSyntax

foo e = $( [| e |] )

$ ghc -fglasgow-exts AlternateTH.hs
ghc-6.2: panic! (the `impossible' happened, GHC version 6.2):
nameModule e {- v a8 -}

Please report it as a compiler bug to glasgow-haskell-bugs@xxxxxxxxxxx,
or http://sourceforge.net/projects/ghc/.

If don't splice the expression in, there's no problem and there's no
problem if I write it like so:

foo e = $( [| Nothing |] )

ie putting something simple in there rather than a lambda variable bound
outside the quasi-quotes.

You see, what I'm trying to do is something like:
foo e = $( [| \m -> case m of
Nothing -> False
(Just _) -> True
|] `appE` [| e |] )

which is part of my investigations into the feasibility of using TH to
implement partial evaluation.

Duncan


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise