Changes between Initial Version and Version 1 of Ticket #8165, comment 7


Ignore:
Timestamp:
Feb 8, 2016 9:44:23 PM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #8165, comment 7

    initial v1  
    55  op :: a -> a
    66
    7 newtype T a = MkT <rep-type> deriving( C )
     7newtype N a = MkN <rep-type> deriving( C )
    88}}}
    99Here the `deriving` clause would generate
    1010{{{
    11 instance C <rep-type> => C (T a) where
    12   type T (T a) = T <rep-type>
     11instance C <rep-type> => C (N a) where
     12  type T (N a) = T <rep-type>
    1313  op = coerce (op :: <rep-type> -> <rep-type>)
    1414}}}