Changes between Version 20 and Version 21 of PolymorphicComponents


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

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v20 v21  
    6363 2. Syntax for writing type schemes: 
    6464{{{ 
    65 poly     -> 'forall' tvar_1 .. tyvar_n '.' opt_ctxt type    (n > 0) 
     65poly     -> 'forall' tvar_1 ... tyvar_n '.' opt_ctxt type    (n > 0) 
    6666opt_ctxt -> context '=>' 
    6767