Re: [GHC] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2009-08-21 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
---+
Reporter:  ajd |Owner:  

Type:  feature request |   Status:  closed  

Priority:  normal  |Milestone:  6.12 branch 

   Component:  Compiler|  Version:  6.10.1  

Severity:  normal  |   Resolution:  fixed   

Keywords:  |   Difficulty:  Unknown 

Testcase:  indexed_types/should_compile/T2850  |   Os:  
Unknown/Multiple
Architecture:  Unknown/Multiple|  
---+
Changes (by simonpj):

  * testcase:  = indexed_types/should_compile/T2850
  * status:  new = closed
  * resolution:  = fixed

Comment:

 Happily this seems OK in the HEAD (and hence 6.12).  So I'll add a
 regression test and close the bug.

 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2850#comment:5
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] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2009-07-21 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
-+--
Reporter:  ajd   |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.10.1  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by pumpkin):

 * cc: pumpkin...@gmail.com, d...@galois.com (added)

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2850#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] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2009-07-21 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
-+--
Reporter:  ajd   |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.10.1  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Comment (by pumpkin):

 I find this error puzzling because this used to work in 6.8.3 and even (I
 believe) 6.10.1. But now I'm on 6.10.3 and am trying to compile some code
 that I hadn't touched since 6.10.1, and I get this error.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2850#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] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2009-02-24 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
-+--
Reporter:  ajd   |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.10.1  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Comment (by simonpj):

 cf #3046

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2850#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] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2009-02-02 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
-+--
Reporter:  ajd   |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.10.1  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by igloo):

  * difficulty:  = Unknown
  * milestone:  = 6.12 branch

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2850#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] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work

2008-12-07 Thread GHC 
#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
-+--
Reporter:  ajd   |  Owner:  
Type:  feature request   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.10.1|   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 It would be nice if we could do stuff like this:

 {{{
 {-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, FlexibleContexts,
 FlexibleInstances #-}
 class K a where
   bar :: a - a

 class K (B a) = M a where
   data B a :: *
   foo :: B a - B a

 instance M Bool where
   data B Bool = B1Bool Bool | B2Bool Bool
   foo = id

 instance K (B Bool) where
   bar = id

 instance M Int where
   newtype B Int = BInt (B Bool) deriving K
   foo = id
 }}}

 which currently gives the error

 {{{
 foo.hs:17:41:
 Can't make a derived instance of `K (B Int)'
   (even with cunning newtype deriving:
the newtype may be recursive)
 In the newtype instance declaration for `B'
 }}}

 However, the newtype is not recursive, it is just an associated datatype
 from another class, so it seems like this ought to work.

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