Re: [GHC] #7410: Type error says that tuple components have kind (* - *)

2012-11-29 Thread GHC 
#7410: Type error says that tuple components have kind (* - *)
+---
  Reporter:  benl   |  Owner:   
   
  Type:  bug| Status:  closed   
   
  Priority:  normal |  Milestone:   
   
 Component:  Compiler (Type checker)|Version:  7.6.1
   
Resolution:  fixed  |   Keywords:   
   
Os:  Unknown/Multiple   |   Architecture:  
Unknown/Multiple
   Failure:  Incorrect warning at compile-time  | Difficulty:  Unknown  
   
  Testcase:  typecheck/should_fail/T7410|  Blockedby:   
   
  Blocking: |Related:   
   
+---
Changes (by igloo):

  * status:  merge = closed
  * resolution:  = fixed


Comment:

 Merged as c9c8b4059aeb2e20ddb4000194dbd44db0c3559d

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7410#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] #7410: Type error says that tuple components have kind (* - *)

2012-11-26 Thread GHC 
#7410: Type error says that tuple components have kind (* - *)
--+-
Reporter:  benl   |  Owner: 

Type:  bug| Status:  new

Priority:  normal |  Component:  Compiler (Type 
checker)
 Version:  7.6.1  |   Keywords: 

  Os:  Unknown/Multiple   |   Architecture:  
Unknown/Multiple   
 Failure:  Incorrect warning at compile-time  |  Blockedby: 

Blocking: |Related: 

--+-

Comment(by simonpj@…):

 commit 1135c8439e606b2b0cebd138afbb4c5716f3abcc
 {{{
 Author: Simon Peyton Jones simo...@microsoft.com
 Date:   Mon Nov 26 12:07:37 2012 +

 Improve kind inference for tuple types

 Trac #7410 pointed out a terrible error message, which is
 much improved by this patch.

  compiler/main/ErrUtils.lhs  |5 -
  compiler/typecheck/TcHsType.lhs |   30 +-
  2 files changed, 25 insertions(+), 10 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7410#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] #7410: Type error says that tuple components have kind (* - *)

2012-11-26 Thread GHC 
#7410: Type error says that tuple components have kind (* - *)
+---
Reporter:  benl |   Owner:  
 
Type:  bug  |  Status:  merge   
 
Priority:  normal   |   Milestone:  
 
   Component:  Compiler (Type checker)  | Version:  7.6.1   
 
Keywords:   |  Os:  Unknown/Multiple
 
Architecture:  Unknown/Multiple | Failure:  Incorrect warning at 
compile-time
  Difficulty:  Unknown  |Testcase:  
typecheck/should_fail/T7410  
   Blockedby:   |Blocking:  
 
 Related:   |  
+---
Changes (by simonpj):

  * status:  new = merge
  * difficulty:  = Unknown
  * testcase:  = typecheck/should_fail/T7410


Comment:

 Thanks.  Now improved.  Pls merge if it's smooth to do so.

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