Changes between Version 23 and Version 24 of PolymorphicComponents

Show
Ignore:
Timestamp:
04/04/07 13:59:15 (6 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PolymorphicComponents

    v23 v24  
    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.) 
     64 (TODO: check for ambiguities with happy.) 
    6565{{{ 
    6666poly     -> 'forall' tvar_1 ... tyvar_n '.' opt_ctxt type    (n > 0)