Changes between Version 11 and Version 12 of PolymorphicComponents


Ignore:
Timestamp:
Jan 19, 2007 11:11:43 PM (7 years ago)
Author:
ijones
Comment:

example about field labels

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v11 v12  
    6969   1. 4.2.3 - syntax in "Datatype Renaming" ''newtype'' declarations 
    7070 1. lots of english text in algebreic datatype declartions 
    71  1. english text in Labelled fields - give an example of fields with polymorphic types 
     71 1. english text in Labelled fields - give an example of fields with polymorphic types, or do this in section 3? 
    7272 1. anything in "kind inference"? 
     73 1. ''note for'': for field labels, when you have the same label in different constructors, it's permitted as long as the type is the same; anything here to describe the syntactic checking that occurs to determine whether these types are the same?  "Syntactic up-to alpha-renaming." Might be unintuative as this is rejected by GHC and Hugs: 
     74{{{ 
     75data T  = C1 { x :: forall a. (Show a,Eq a) => a -> a } 
     76        | C2 { x :: forall a. (Eq a,Show a) => a -> a }  
     77}}}