#5976: GHC compiler panic when using {-# UNPACK #-} and template Haskell
---------------------------------+------------------------------------------
Reporter: SimonMeier | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Resolution: | Keywords:
Os: Linux | Architecture: Unknown/Multiple
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Changes (by SimonMeier):
* status: closed => new
* resolution: invalid =>
Comment:
Replying to [comment:1 simonpj]:
> Looks like a bug in module `Language.Haskell.Convert`, which I don't
recognise.
You are right. This module is part of the `derive` package
(http://hackage.haskell.org/package/derive).
> Why do you think it's a GHC bug? I'm closing as invalid but re-open if
you think it's a GHC bug.
I thought it's a GHC bug because the error message was:
GhcBangBug.hs:1:1:ghc: panic! (the 'impossible' happened)
(GHC version 7.4.1 for x86_64-unknown-linux):
Could not convert (Strict,Type) to BangType
(Unpacked,ConT GHC.Types.Int)
Language/Haskell/Convert.hs:(64,5)-(65,42): Non-exhaustive patterns in
function conv
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
It seems as if the pattern match failure from executing the template
haskell function bubbled up too high and led to this (partially)
misleading error message. It seems that this is indeed a bug, as such a
failure should lead to a standard compile error instead of a GHC panic. I
would expect something along the line:
Exception during execution of template haskell splice `..splice code':
...explanation of the exception....
Best regards,
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5976#comment:2>
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