Re: [GHC] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
---+
  Reporter:  simonpj   |  Owner:  simonpj 
  Type:  bug   | Status:  closed  
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  Compiler  |Version:  7.4.2   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+

Comment(by simonpj):

 See also dup #7196

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
---+
  Reporter:  simonpj   |  Owner:  simonpj 
  Type:  bug   | Status:  closed  
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  Compiler  |Version:  7.4.2   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by pcapriotti):

  * status:  merge => closed
  * resolution:  => fixed


Comment:

 Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
-+--
Reporter:  simonpj   |   Owner:  simonpj 
Type:  bug   |  Status:  merge   
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * status:  new => merge


Comment:

 I don't actually have a test case for this.

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
-+--
Reporter:  simonpj   |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by simonpj@…):

 commit a0788a8b2ba19b7f3205010a71472342a75395f8
 {{{
 Author: Simon Peyton Jones 
 Date:   Wed Aug 22 16:13:56 2012 +0100

 Fix missing case in coVarsOfTcCo

 Reported by Ganesh, Trac #7178.  Fix is easy.

  compiler/typecheck/TcEvidence.lhs |6 ++
  1 files changed, 2 insertions(+), 4 deletions(-)
 }}}

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
-+--
Reporter:  simonpj   |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by simonpj):

 Specficially, in TcEvidence, we should replace this
 {{{
 -- We expect only coercion bindings
 go_bind :: EvBind -> VarSet
 go_bind (EvBind _ (EvCoercion co)) = go co
 go_bind (EvBind _ (EvId v))= unitVarSet v
 go_bind other = pprPanic "coVarsOfTcCo:Bind" (ppr other)
 }}}
 with this instead
 {{{
 -- We expect only coercion bindings, so use evTermCoercion
 go_bind :: EvBind -> VarSet
 go_bind (EvBind _ tm) = go (evTermCoercion tm)
 }}}

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
-+--
Reporter:  simonpj   |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * owner:  => simonpj


Comment:

 I know what this is.  Patch coming.

-- 
Ticket URL: 
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] #7178: Panic in coVarsOfTcCo

[GHC]

#7178: Panic in coVarsOfTcCo
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
 Ganesh says: I'm getting the panic below when building darcs 2.8 with GHC
 7.6. It'll take some effort to cut it down or give repro instructions for
 an uncut-down version (I needed to hack a lot of underlying packages to be
 able to even get as far as doing this build), so could someone confirm
 that it's worth it before I do so? I can't spot anything already reporting
 this in trac.
 {{{
 ghc.exe: panic! (the 'impossible' happened)
   (GHC version 7.6.0.20120810 for i386-unknown-mingw32):
 coVarsOfTcCo:Bind
 cobox{v a6Czs} [lid]
   = cobox{v a6CTr} [lid] `cast`
 (http://hackage.haskell.org/trac/ghc/ticket/7178>
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs