Changes between Initial Version and Version 1 of Ticket #9112, comment 2


Ignore:
Timestamp:
May 15, 2014 7:50:17 AM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9112, comment 2

    initial v1  
    1 The trouble is that you can say
     1The trouble with your proposal is that (as of today) you can say
    22{{{
    33data instance MVector s Int = ...rep1...
    44data instance MVector s Age = ...rep2...
    55}}}
    6 so that `MVector` over `Int` has an entirely different representation to `MVector` over `Age`. Indeed that is often the very reason that people define a newtype in the first place!  For example, if you want `sort` to sort into reverse order, can write
     6specifying that `MVector` over `Int` has an entirely different representation to `MVector` over `Age`. Indeed that is often the very reason that people define a newtype in the first place!  For example, if you want `sort` to sort into reverse order, can write
    77{{{
    88import Data.Ord( Down(..) )