Changes between Version 22 and Version 23 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:58:54 PM (7 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v22 v23  
    6262    However, '''forall''' can still be used as an ordinary variable in expressions. 
    6363 2. Syntax for writing type schemes: 
     64(TODO: check for ambiguities with happy.) 
    6465{{{ 
    6566poly     -> 'forall' tvar_1 ... tyvar_n '.' opt_ctxt type    (n > 0) 
     
    9293}}} 
    9394 For this reason I introduced the ''con_field'' productions. 
     95TODO: 
    9496 1. lots of english text in algebreic datatype declartions 
    9597 1. english text in Labelled fields - give an example of fields with polymorphic types, or do this in section 3?