Changes between Version 25 and Version 26 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 9:02:01 PM (7 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v25 v26  
    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) 
     
    7171bscheme  -> '(' poly ')' | btype 
    7272}}} 
    73  3. Syntax for '''data''' and '''newtype''' declarations  
     73 3. Static checking on schemes 
     74   1. TODO 
     75 4. Syntax for '''data''' and '''newtype''' declarations  
    7476{{{ 
    7577-- Section 4.2.1