Changes between Version 25 and Version 26 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 9:02:01 PM (8 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