Changes between Version 22 and Version 23 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:58:54 PM (8 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?