Re: [GHC] #7255: Wrong suggestion when deriving Generic on an instantiated type

2012-09-21 Thread GHC 
#7255: Wrong suggestion when deriving Generic on an instantiated type
-+--
Reporter:  dreixel   |Owner:  dreixel 
Type:  bug   |   Status:  closed  
Priority:  normal|Component:  Compiler
 Version:  7.6.1 |   Resolution:  fixed   
Keywords:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
Testcase:  GenCannotDoRep0   |Blockedby:  
Blocking:|  Related:  
-+--
Changes (by dreixel):

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


Comment:

 Fixed. Turns out we even had a test for this already, and somehow were
 accepting the wrong output; fixed that too.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7255: Wrong suggestion when deriving Generic on an instantiated type

2012-09-21 Thread GHC 
#7255: Wrong suggestion when deriving Generic on an instantiated type
--+-
 Reporter:  dreixel   |  Owner:  dreixel 
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by jpm@…):

 commit a17da16f08ae24e24ebe671d0731c43b240008f5
 {{{
 Author: Jose Pedro Magalhaes 
 Date:   Fri Sep 21 10:40:24 2012 +0100

 FIX #7255: print tyConTyVars tc, not tc_args

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

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7255: Wrong suggestion when deriving Generic on an instantiated type

2012-09-20 Thread GHC 
#7255: Wrong suggestion when deriving Generic on an instantiated type
--+-
 Reporter:  dreixel   |  Owner:  dreixel 
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
Changes (by nfrisby):

 * cc: nfrisby (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7255: Wrong suggestion when deriving Generic on an instantiated type

2012-09-20 Thread GHC 
#7255: Wrong suggestion when deriving Generic on an instantiated type
--+-
 Reporter:  dreixel   |  Owner:  dreixel 
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.6.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 The following code

 {{{
 {-# LANGUAGE DeriveGeneric  #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE FlexibleInstances  #-}

 import GHC.Generics

 data A a

 data B

 deriving instance Generic (A B)
 }}}

 gives rise to the error

 {{{
 Can't make a derived instance of `Generic (A B)':
   A must not be instantiated; try deriving `A B' instead
 In the stand-alone deriving instance for `Generic (A B)'
 }}}

 It should indeed fail, but the suggestion should be to try deriving `A a`
 instead.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs