Re: [GHC] #7238: class methods with associated equality constraints panic

2012-10-11 Thread GHC 
#7238: class methods with associated equality constraints panic
-+--
  Reporter:  dmwit   |  Owner:  simonpj   
  Type:  bug | Status:  closed
  Priority:  normal  |  Milestone:
 Component:  Compiler|Version:  7.6.1 
Resolution:  fixed   |   Keywords:
Os:  Linux   |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  | Difficulty:  Unknown   
  Testcase:  polykinds/T7238 |  Blockedby:
  Blocking:  |Related:
-+--
Changes (by igloo):

  * status:  merge = closed
  * resolution:  = fixed


Comment:

 Merged as cd980830b4ffdb4fe5b68f8dc1d83acc4ab03a5b

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7238#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] #7238: class methods with associated equality constraints panic

2012-09-18 Thread GHC 
#7238: class methods with associated equality constraints panic
---+
Reporter:  dmwit   |   Owner:  simonpj   
Type:  bug |  Status:  merge 
Priority:  normal  |   Milestone:
   Component:  Compiler| Version:  7.6.1 
Keywords:  |  Os:  Linux 
Architecture:  x86_64 (amd64)  | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:  polykinds/T7238   
   Blockedby:  |Blocking:
 Related:  |  
---+
Changes (by simonpj):

  * status:  new = merge
  * testcase:  = polykinds/T7238


Comment:

 Great, thanks.  Now fixed.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7238#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] #7238: class methods with associated equality constraints panic

2012-09-17 Thread GHC 
#7238: class methods with associated equality constraints panic
---+
Reporter:  dmwit   |   Owner:  simonpj   
Type:  bug |  Status:  new   
Priority:  normal  |   Milestone:
   Component:  Compiler| Version:  7.6.1 
Keywords:  |  Os:  Linux 
Architecture:  x86_64 (amd64)  | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:
   Blockedby:  |Blocking:
 Related:  |  
---+

Comment(by simonpj@…):

 commit 7d83fdea229b940ae198ddc5c179ac449defd2ef
 {{{
 Author: Simon Peyton Jones simo...@microsoft.com
 Date:   Sat Sep 15 00:12:16 2012 +0100

 Bind given evidence to a variable, always

 This was being done in xCtFlavor, but not in rewriteCtFlavor,
 resulting in Trac #7238.

 See Note [Bind new Givens immediately] in TcSMonad and
 and Note [Coercion evidence terms] in TcEvidence.

  compiler/typecheck/TcEvidence.lhs |   29 ++---
  compiler/typecheck/TcSMonad.lhs   |   26 +-
  2 files changed, 31 insertions(+), 24 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7238#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] #7238: class methods with associated equality constraints panic

2012-09-14 Thread GHC 
#7238: class methods with associated equality constraints panic
---+
Reporter:  dmwit   |   Owner:  simonpj   
Type:  bug |  Status:  new   
Priority:  normal  |   Milestone:
   Component:  Compiler| Version:  7.6.1 
Keywords:  |  Os:  Linux 
Architecture:  x86_64 (amd64)  | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:
   Blockedby:  |Blocking:
 Related:  |  
---+
Changes (by simonpj):

  * owner:  = simonpj
  * difficulty:  = Unknown


Comment:

 Thanks!  I'm on this.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7238#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] #7238: class methods with associated equality constraints panic

2012-09-12 Thread GHC 
#7238: class methods with associated equality constraints panic
+---
 Reporter:  dmwit   |  Owner:
 Type:  bug | Status:  new   
 Priority:  normal  |  Component:  Compiler  
  Version:  7.6.1   |   Keywords:
   Os:  Linux   |   Architecture:  x86_64 (amd64)
  Failure:  Compile-time crash  |   Testcase:
Blockedby:  |   Blocking:
  Related:  |  
+---
 The following file causes a panic (getEqPredTys):

 {{{
 {-# LANGUAGE ConstraintKinds, TypeFamilies #-}
 import GHC.Exts

 class Pair p where
 type Ctxt p a :: Constraint
 l :: Ctxt p a = p a - a

 data Unit a = Unit

 instance Pair Unit where
 type Ctxt Unit a = a ~ ()
 l _ = ()
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7238
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