logo       

TH: cannot [| assert |]: msg#00072

lang.haskell.glasgow.bugs

Subject: TH: cannot [| assert |]

This is fairly low priority:

Language.Haskell.THSyntax> e <- runQ [| Control.Exception.assert |]

ghc-6.3: panic! (the `impossible' happened, GHC version 6.3):
DsMeta.repLiteral: trying to represent exotic literal
"GenexTest.hs:319:40-45"#

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

'assert' is replaced by a primop that cannot be represented in TH.

It would probably be ok to just leave it as a name, since it'll be
converted to a primop when it is spliced in. On the other hand, the
whole point of assert is to know where in the source the assert
happened, knowing it happened in the generated code is not so useful.

As I said, low priority.

Duncan


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

News | FAQ | advertise