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