Changes between Version 5 and Version 6 of Language/Declarations

Timestamp:

06/25/09 02:06:02 (4 years ago)

Author:

benl (IP: 150.203.160.45)

Comment:

--

Language/Declarations

@@ -165 +165 @@
 }}}
 
-Defines a new effect constructor and sets its kind. The result kind of the constructor must be !.
-
-Inference involving effect constructors of kinds other than {{{!}}} and {{{(% -> !)}}} is not well tested #89.
+Defines a new effect constructor and sets its kind. The result kind of the constructor must be !. For example:
+
+{{{
+effect !Read    :: % -> !
+effect !ReadT   :: * -> !
+effect !Console :: !
+}}}
+
+Type inference involving user defined effect constructors of kinds other than {{{!}}} is not well tested #89.
 
 [[br]]