Changes between Version 2 and Version 3 of Records/DeclaredOverloadedRecordFields/OptionFourTypePunning


Ignore:
Timestamp:
Mar 4, 2012 2:46:16 AM (2 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/OptionFourTypePunning

    v2 v3  
    102102newtype ContentSource a = (Contentful a) => CommentSource a       -- contentSource 
    103103 
    104 instance (Contenful a, t ~ ContentSource a, a ~ a_) =>  
     104instance (Contenful a, t ~ ContentSource a_, a ~ a_) =>  
    105105          Has (Comment a) (ContentSource a_) t           where ... 
    106106}}}