Changes between Version 19 and Version 20 of PolymorphicComponents


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

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v19 v20  
    6363 2. Syntax for writing type schemes:
    6464{{{
    65 scheme   -> 'forall' tvar_1 .. tyvar_n '.' opt_ctxt type    (n > 0)
    66           | type
     65poly     -> 'forall' tvar_1 .. tyvar_n '.' opt_ctxt type    (n > 0)
     66opt_ctxt -> context '=>'
    6767
    68 ascheme  -> '(' scheme ')'
    69           | atype
    70 
    71 bscheme  -> '(' scheme ')'
    72           | btype
    73 
    74 opt_ctxt -> context '=>'
    75           |
     68scheme   -> '(' poly ')' | type
     69ascheme  -> '(' poly ')' | atype
     70bscheme  -> '(' poly ')' | btype
    7671}}}
    7772 3. Syntax for '''data''' and '''newtype''' declarations
    78  Change ''type'',''atype'',''btype'' to ''scheme'', ''ascheme'', ''bscheme'' respectively.
    7973{{{
    8074-- Section 4.2.1