Changes between Version 12 and Version 13 of Records/TypePunningDeclaredOverloadedRecordFields


Ignore:
Timestamp:
Mar 25, 2012 11:13:59 PM (3 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/TypePunningDeclaredOverloadedRecordFields

    v12 v13  
    135135
    136136    newtype Rev = Rev (forall a. [a] -> [a])
    137     rev :: HR -> Rev -> (forall a. [a] -> [a])                          -- generated selector is polymorphic
     137    rev :: HR -> (forall a. [a] -> [a])                                 -- generated selector is monomorphic in HR,
     138                                                                        --         'cos not sharing
     139                                                                        -- (but Higher-Ranked result)
    138140    rev r = let (Rev fn) = get r (undefined :: Rev) in fn               -- unwrap from the newtype
    139141