Changes between Version 11 and Version 12 of PolymorphicComponents

Timestamp:

01/19/07 15:11:43 (6 years ago)

Author:

ijones

Comment:

example about field labels

PolymorphicComponents

@@ -69 +69 @@
    1. 4.2.3 - syntax in "Datatype Renaming" ''newtype'' declarations
  1. lots of english text in algebreic datatype declartions
- 1. english text in Labelled fields - give an example of fields with polymorphic types
+ 1. english text in Labelled fields - give an example of fields with polymorphic types, or do this in section 3?
  1. anything in "kind inference"?
+ 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:
+{{{
+data T  = C1 { x :: forall a. (Show a,Eq a) => a -> a }
+        | C2 { x :: forall a. (Eq a,Show a) => a -> a } 
+}}}