#7070: DataKinds and package boundaries: "the 'impossible' happened"
---------------------------------+------------------------------------------
Reporter: aristidb | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.2
Resolution: fixed | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => fixed
Old description:
> I don't know what is going on there, so I can't really give much more
> information, sorry.
>
> aristid@sigmoid:~/Code/aws/Examples$ ghc -package-conf
> ../dist/package.conf.inplace GetObject.hs
> [1 of 1] Compiling Main ( GetObject.hs, GetObject.o )
> ghc: panic! (the 'impossible' happened)
> (GHC version 7.4.2 for x86_64-unknown-linux):
> tyThingTyCon
> Data constructor `aws-0.7.0:Aws.Core.NormalQuery{d r2qt}'
>
> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
New description:
I don't know what is going on there, so I can't really give much more
information, sorry.
{{{
aristid@sigmoid:~/Code/aws/Examples$ ghc -package-conf
../dist/package.conf.inplace GetObject.hs
[1 of 1] Compiling Main ( GetObject.hs, GetObject.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.2 for x86_64-unknown-linux):
tyThingTyCon
Data constructor `aws-0.7.0:Aws.Core.NormalQuery{d r2qt}'
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Comment:
Thanks. `DataKinds` is not an advertised feature of 7.4.2. I've tested
your example with HEAD (which will become 7.6) and it's fine. Pending the
release you can build from source, or grab a snapshot distribution.
(I won't add a regression test because it's a complicated one, and there
are so many possible causes.)
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7070#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
