Changes between Version 16 and Version 17 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:27:29 PM (7 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v16 v17  
    6161 1. Introduce a new ''special identifier'' '''forall'''.  This identifier has a special interpretation in types and type schemes (i.e., it is ''not'' a type variable). 
    6262    However, '''forall''' can still be used as an ordinary variable in expressions. 
    63  1. syntax 
     63 1. Syntax for writing type schemes 
     64{{{ 
     65scheme    = 'forall' tvar_1 .. tyvar_n '.' opt_ctxt type    (n > 0) 
     66          | type 
     67 
     68ascheme   = '(' scheme ')' 
     69          | atype 
     70 
     71bscheme   = '(' scheme ')' 
     72          | btype 
     73 
     74opt_ctxt  = context '=>' 
     75          | 
     76}}} 
     77 
     78 
    6479   1. change "atype" or modify specific sections? 
    6580   1. 4.2.1 - syntax in "Algebreic Datatype Declarations", add ''forall'' to various bits.