Re: [GHC] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 ---+ Reporter: alexey_r|Owner: igloo Type: merge | Status: closed Priority: normal |Milestone: 6.10.2 Component: Compiler| Version: 6.10.1 Severity: major | Resolution: fixed Keywords: | Difficulty: Unknown Testcase: typecheck/should_compile/T2799 | Os: Windows Architecture: x86 | ---+ Changes (by igloo): * status: new = closed * resolution: = fixed Comment: Merged -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#comment:7 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] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 ---+ Reporter: alexey_r|Owner: igloo Type: merge | Status: new Priority: normal |Milestone: 6.10.2 Component: Compiler| Version: 6.10.1 Severity: major | Resolution: Keywords: | Difficulty: Unknown Testcase: typecheck/should_compile/T2799 | Os: Windows Architecture: x86 | ---+ Changes (by igloo): * milestone: = 6.10.2 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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
Re: [GHC] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1
---+
Reporter: alexey_r|Owner: igloo
Type: merge | Status: new
Priority: normal |Milestone:
Component: Compiler| Version: 6.10.1
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Testcase: typecheck/should_compile/T2799 | Os: Windows
Architecture: x86 |
---+
Changes (by simonpj):
* testcase: = typecheck/should_compile/T2799
* difficulty: = Unknown
* type: bug = merge
* owner: chak = igloo
Comment:
Excellent bug; fixed by
{{{
Tue Nov 25 11:05:40 GMT 2008 [EMAIL PROTECTED]
* Fix Trac #2799: TcType.isOverloadedTy
}}}
Please merge to 6.10 branch.
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 ---+ Reporter: alexey_r|Owner: igloo Type: merge | Status: new Priority: normal |Milestone: Component: Compiler| Version: 6.10.1 Severity: major | Resolution: Keywords: | Difficulty: Unknown Testcase: typecheck/should_compile/T2799 | Os: Windows Architecture: x86 | ---+ Comment (by simonpj): PS: Indeed #2787 was the same bug. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 -+-- Reporter: alexey_r |Owner: Type: bug | Status: new Priority: normal|Milestone: Component: Compiler | Version: 6.10.1 Severity: major | Resolution: Keywords:| Testcase: Architecture: x86 | Os: Windows -+-- Comment (by BenMoseley): Wonder if this is the same: http://hackage.haskell.org/trac/ghc/ticket/2787 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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
Re: [GHC] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 -+-- Reporter: alexey_r |Owner: Type: bug | Status: new Priority: normal|Milestone: Component: Compiler | Version: 6.10.1 Severity: major | Resolution: Keywords:| Testcase: Architecture: x86 | Os: Windows -+-- Comment (by alexey_r): It looks quite likely, but I am not sure (no type synonyms involved, for one). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1 -+-- Reporter: alexey_r |Owner: chak Type: bug | Status: new Priority: normal|Milestone: Component: Compiler | Version: 6.10.1 Severity: major | Resolution: Keywords:| Testcase: Architecture: x86 | Os: Windows -+-- Changes (by chak): * owner: = chak Comment: Seems rather likely that it is a duplicate of #2787 (GADTs and type families use the inference engine). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2799#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
[GHC] #2799: Panic (core lint failure) with GADTs, GHC 6.10.1
#2799: Panic (core lint failure) with GADTs, GHC 6.10.1
-+--
Reporter: alexey_r | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
Version: 6.10.1|Severity: major
Keywords:|Testcase:
Architecture: x86 | Os: Windows
-+--
The compiler panic when trying to compile
[http://www.seas.upenn.edu/~sweirich/RepLib/ RepLib 0.2].
A stripped-down example:
{{{
{-# OPTIONS -fglasgow-exts -XUndecidableInstances #-}
module RepAux (
toSpineRl
) where
data R a = R
data Nil = Nil
data a :*: l = a :*: l
data MTup r l where
MNil :: MTup ctx Nil
(:+:) :: r a - MTup r l - MTup r (a :*: l)
data Typed a = a ::: R a
data Spine a where
(:) :: Spine (a - b) - Typed a - Spine b
toSpineRl :: MTup R l - l - (l - a) - Spine a
toSpineRl MNil Nil into = undefined
toSpineRl (ra :+: rs) (a :*: l) into =
(toSpineRl rs l into') : (a ::: ra)
where into' tl1 x1 = into (x1 :*: tl1)
}}}
Compiler panic:
{{{
F:\Programming\Libraries\Haskell\replib-bugghc --make RepAux
[1 of 1] Compiling RepAux ( RepAux.hs, RepAux.o )
ghc: panic! (the 'impossible' happened)
(GHC version 6.10.1 for i386-unknown-mingw32):
initC: srt_lbl
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
With -v:
{{{
F:\Programming\Libraries\Haskell\replib-bugghc --make RepAux -v
Glasgow Haskell Compiler, Version 6.10.1, for Haskell 98, stage 2 booted
by GHC
version 6.8.3
Using package config file: F:\proglangs\ghc\ghc-6.10.1\package.conf
hiding package base-3.0.3.0 to avoid conflict with later version
base-4.0.0.0
hiding package regex-base-0.72.0.2 to avoid conflict with later version
regex-ba
se-0.93.1
hiding package parsec-2.1.0.1 to avoid conflict with later version
parsec-3.0.0
hiding package QuickCheck-1.2.0.0 to avoid conflict with later version
QuickChec
k-2.1
hiding package QuickCheck-2.1 to avoid conflict with later version
QuickCheck-2.
1.0.1
hiding package rmonad-0.2 to avoid conflict with later version rmonad-0.3
hiding package TypeCompose-0.5.1 to avoid conflict with later version
TypeCompos
e-0.6.0
hiding package reactive-0.9.0 to avoid conflict with later version
reactive-0.9.
1
wired-in package ghc-prim mapped to ghc-prim-0.1.0.0
wired-in package integer mapped to integer-0.1.0.0
wired-in package base mapped to base-4.0.0.0
wired-in package rts mapped to rts-1.0
wired-in package haskell98 mapped to haskell98-1.0.1.0
wired-in package syb mapped to syb-0.1.0.0
wired-in package template-haskell mapped to template-haskell-2.3.0.0
wired-in package dph-seq mapped to dph-seq-0.3
wired-in package dph-par mapped to dph-par-0.3
Hsc static flags: -static
*** Chasing dependencies:
Chasing modules from: *RepAux.hs
Stable obj: []
Stable BCO: []
Ready for upsweep
[NONREC
ModSummary {
ms_hs_date = Sat Nov 22 20:43:55 Russian Standard Time 2008
ms_mod = main:RepAux,
ms_imps = []
ms_srcimps = []
}]
compile: input file RepAux.hs
Created temporary directory:
C:\Users\Alexey\AppData\Local\Temp\/ghc12212_0
*** Checking old interface for main:RepAux:
[1 of 1] Compiling RepAux ( RepAux.hs, RepAux.o )
*** Parser:
*** Renamer/typechecker:
*** Desugar:
Result size = 74
*** Simplify:
Result size = 65
Result size = 65
*** Tidy Core:
Result size = 65
*** CorePrep:
Result size = 119
*** Stg2Stg:
*** CodeGen:
*** CodeOutput:
*** Deleting temp files:
Deleting: C:\Users\Alexey\AppData\Local\Temp\/ghc12212_0/ghc12212_0.s
Warning: exception raised when deleting
C:\Users\Alexey\AppData\Local\Temp\/ghc1
2212_0/ghc12212_0.s:
DeleteFile: permission denied (The process cannot access the file because
it is
being used by another process.)
*** Deleting temp dirs:
Deleting: C:\Users\Alexey\AppData\Local\Temp\/ghc12212_0
Warning: exception raised when deleting
C:\Users\Alexey\AppData\Local\Temp\/ghc1
2212_0:
RemoveDirectory: unsatisified constraints (The directory is not empty.)
ghc: panic! (the 'impossible' happened)
(GHC version 6.10.1 for i386-unknown-mingw32):
initC: srt_lbl
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
With -dcore-lint:
{{{
F:\Programming\Libraries\Haskell\replib-bugghc --make RepAux -dcore-lint
[1 of 1] Compiling RepAux ( RepAux.hs, RepAux.o )
*** Core Lint Errors: in result of Desugar ***
{-# LINE 24 RepAux.hs #-}:
[RHS of into'_ahT :: l_ahu - a_aht - a_ahe]
into'_agp is out of scope
*** Offending Program ***
Rec {
RepAux.toSpineRl :: forall l_ag8 a_ag9.
RepAux.MTup RepAux.R l_ag8
- l_ag8
