Changes between Version 27 and Version 28 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 9:31:00 PM (8 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v27 v28  
    7171bscheme  -> '(' poly ')' | btype
    7272}}}
     73 NOTE: Schemes should not contain quantified variables that are not mentioned
     74       in the scheme body because this probably indicates a programmer error.
    7375 3. Syntax for '''data''' and '''newtype''' declarations
    7476{{{
     
    9395}}}
    9496 For this reason I introduced the ''con_field'' productions.
     97 4. Labeled fields. 
     98   1. Type of the selector functions:
     99{{{
     100data T a = C { x :: forall b. ctxt  => type }
     101x :: ctxt => T a -> type
     102}}}
     103   2. If different constructors of the same datatype contain the same label,
     104    then the      corresponding schemes should be equal up to renaming of the
     105    quantified variables.
     106
    95107
    96108TODO: