Re: [GHC] #7560: Panic in conflictInstErr when branched type family instances conflict

[GHC]

#7560: Panic in conflictInstErr when branched type family instances conflict
-+--
Reporter:  goldfire  |Owner:  goldfire  
Type:  bug   |   Status:  closed
Priority:  normal|Component:  Compiler  
 Version:  7.7   |   Resolution:  fixed 
Keywords:  TypeFamilies  |   Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  |  Failure:  Compile-time crash
   Blockedby:| Blocking:
 Related:|  
-+--
Changes (by goldfire):

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


-- 
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] #7560: Panic in conflictInstErr when branched type family instances conflict

[GHC]

#7560: Panic in conflictInstErr when branched type family instances conflict
---+
Reporter:  goldfire|  Owner:  goldfire
Type:  bug | Status:  new 
Priority:  normal  |  Component:  Compiler
 Version:  7.7 |   Keywords:  TypeFamilies
  Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |  Blockedby:  
Blocking:  |Related:  
---+

Comment(by eir@…):

 commit 851e4e7619200a11cfc9bda4bee6072b0245504b
 {{{
 Author: Richard Eisenberg 
 Date:   Tue Jan 8 23:30:16 2013 -0500

 Fix Trac #7560.

 Code in conflictInstErr did not handle the case where some branches
 of a branched family instance had an error and some didn't. It was
 all or nothing. Now, if there are no conflicts for a given branch,
 conflictInstErr just ignores the branch instead of panicking.

  compiler/typecheck/FamInst.lhs |4 ++--
  1 files changed, 2 insertions(+), 2 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

[GHC] #7560: Panic in conflictInstErr when branched type family instances conflict

[GHC]

#7560: Panic in conflictInstErr when branched type family instances conflict
---+
Reporter:  goldfire|  Owner:  goldfire
Type:  bug | Status:  new 
Priority:  normal  |  Component:  Compiler
 Version:  7.7 |   Keywords:  TypeFamilies
  Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |  Blockedby:  
Blocking:  |Related:  
---+
 This code causes the panic:

 {{{
 {-# LANGUAGE TypeFamilies #-}

 type family F a

 type instance where
   F Int = Int
   F Bool = Bool

 type instance where
   F Int = Char
   F Double = Double
 }}}

 Here is the output:
 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.7.20121221 for x86_64-apple-darwin):
 conflictInstErr
 <>
 }}}

 Fix on the way...

-- 
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