Re: [GHC] #7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?

[GHC]

#7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?
-+--
Reporter:  spl   |   Owner:  dreixel 
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by dreixel):

 You raise an interesting point, thanks. I think replacing `Rec1 f` with `f
 :.: Par1` would be possible. But I'm not too keen on making a change to
 the representation right now, as I think there might be more fundamental
 changes coming up anyway (e.g. making use of `DataKinds`). But I'm leaving
 this open so that we don't forget the idea.

-- 
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] #7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?

[GHC]

#7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?
-+--
Reporter:  spl   |   Owner:  dreixel 
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * difficulty:  => Unknown
  * owner:  => dreixel


-- 
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] #7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?

[GHC]

#7492: Generic1 deriving: Can we replace Rec1 f with f :.: Par1?
-+--
Reporter:  spl   |  Owner:  
Type:  feature request   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  7.7   |   Keywords:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown  |  Blockedby:  
Blocking:|Related:  
-+--
 It seems like `Rec1 f` is isomorphic to `f :.: Par1`. Is it possible and
 beneficial to replace the former with the latter and deprecate/remove
 `Rec1`?

  1. Currently, a parameter type is found in `Par1` or `Rec1`. By removing
 `Rec1`, there would be only one place for parameters. This simplifies
 generic functions.
  2. It is in the interest of reducing redundancy in the representation,
 something that appears to be consistent with the design of the
 representation types (e.g. using the same type for multiple meanings).

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