Re: [GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened) ---+ Reporter: guest | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler| Version: 7.4.1 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: indexed-types/should_fail/T5934.hs Blockedby: |Blocking: Related: | ---+ Comment(by pcapriotti): Dimitrios, does this depend on the 'new-flavor' branch? If so, then it probably shouldn't be merged in 7.4. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934#comment:3 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
Re: [GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened) ---+ Reporter: guest | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler| Version: 7.4.1 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: indexed-types/should_fail/T5934.hs Blockedby: |Blocking: Related: | ---+ Comment(by dimitris): Thanks Paolo, I was wrong. It should be declared as fixed, not merge. Can you do this? Apologies. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934#comment:4 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
Re: [GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened) -+-- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.4.1 Resolution: fixed | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Compile-time crash | Difficulty: Unknown Testcase: indexed-types/should_fail/T5934.hs | Blockedby: Blocking: |Related: -+-- Changes (by pcapriotti): * status: merge = closed * resolution: = fixed Comment: Sure, no problem. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934#comment:5 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
Re: [GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened) ---+ Reporter: guest | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler| Version: 7.4.1 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: indexed-types/should_fail/T5934.hs Blockedby: |Blocking: Related: | ---+ Changes (by dimitris): * status: new = merge * testcase: = indexed-types/should_fail/T5934.hs Comment: Yes this is now fixed by commit 2d8374a8fbc34bbb44f9c73d0131f3071869f110 Testcase in indexed-types/should_fail/ -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934#comment:2 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
Re: [GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened)
---+
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler| Version: 7.4.1
Keywords: | Os: Linux
Architecture: x86_64 (amd64) | Failure: Compile-time crash
Difficulty: Unknown |Testcase:
Blockedby: |Blocking:
Related: |
---+
Changes (by simonpj):
* cc: dimitris@… (added)
* difficulty: = Unknown
Comment:
Thanks. I know what is going on here. Will fix as part of the
refactoring Dimitrios is doing on the constraint solver.
Simon
Her's a standalone test case
{{{
{-# LANGUAGE RankNTypes, TypeFamilies, KindSignatures #-}
module T5934 where
import Control.Monad.ST
data Gen s
type GenST s = Gen (PrimState (ST s))
run :: (forall s . GenST s) - Int
run = 0
type family PrimState (m :: * - *)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934#comment:1
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
[GHC] #5934: ghc: panic! (the 'impossible' happened)
#5934: ghc: panic! (the 'impossible' happened)
+---
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Testcase:
Blockedby: | Blocking:
Related: |
+---
GHC asked me nicely to report this compile-time panic / crash.
Minimal code:
{{{
{-# LANGUAGE Rank2Types #-}
module Foo where
import System.Random.MWC (GenST)
run :: (forall s . GenST s) - Int
run = 0
}}}
Output:
{{{
$ ghc Foo.hs
[1 of 1] Compiling Foo ( Foo.hs, Foo.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.1 for x86_64-unknown-linux):
tcTyVarDetails
( s{tv a10F} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5934
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
