Changes between Version 5 and Version 6 of Language/Declarations

Show
Ignore:
Timestamp:
06/25/09 02:06:02 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Declarations

    v5 v6  
    165165}}} 
    166166 
    167 Defines a new effect constructor and sets its kind. The result kind of the constructor must be !. 
    168  
    169 Inference involving effect constructors of kinds other than {{{!}}} and {{{(% -> !)}}} is not well tested #89. 
     167Defines a new effect constructor and sets its kind. The result kind of the constructor must be !. For example: 
     168 
     169{{{ 
     170effect !Read    :: % -> ! 
     171effect !ReadT   :: * -> ! 
     172effect !Console :: ! 
     173}}} 
     174 
     175Type inference involving user defined effect constructors of kinds other than {{{!}}} is not well tested #89. 
    170176 
    171177[[br]]