Changes between Version 23 and Version 24 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:59:15 PM (7 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)