Changes between Initial Version and Version 1 of Ticket #8165, comment 7
- Timestamp:
- Feb 8, 2016 9:44:23 PM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #8165, comment 7
initial v1 5 5 op :: a -> a 6 6 7 newtype T a = MkT<rep-type> deriving( C )7 newtype N a = MkN <rep-type> deriving( C ) 8 8 }}} 9 9 Here the `deriving` clause would generate 10 10 {{{ 11 instance C <rep-type> => C ( Ta) where12 type T ( Ta) = T <rep-type>11 instance C <rep-type> => C (N a) where 12 type T (N a) = T <rep-type> 13 13 op = coerce (op :: <rep-type> -> <rep-type>) 14 14 }}}