Changes between Version 27 and Version 28 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 9:31:00 PM (7 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: