Changes between Version 16 and Version 17 of PolymorphicComponents

Timestamp:

04/04/07 13:27:29 (6 years ago)

Author:

diatchki

Comment:

--

PolymorphicComponents

@@ -61 +61 @@
  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).
     However, '''forall''' can still be used as an ordinary variable in expressions.
- 1. syntax
+ 1. Syntax for writing type schemes
+{{{
+scheme    = 'forall' tvar_1 .. tyvar_n '.' opt_ctxt type    (n > 0)
+          | type
+
+ascheme   = '(' scheme ')'
+          | atype
+
+bscheme   = '(' scheme ')'
+          | btype
+
+opt_ctxt  = context '=>'
+          |
+}}}
+
+
    1. change "atype" or modify specific sections?
    1. 4.2.1 - syntax in "Algebreic Datatype Declarations", add ''forall'' to various bits.