Commits

Dmitry Grebeniuk  committed c23c212

.

  • Participants
  • Parent commits 0d5ddbd

Comments (0)

Files changed (1)

     value close_in () = pu "close_in";
     value read_into () (_:string) (_:int) (_:int) = pu "read_into";
 
-    value runIO x = x;
+    value runIO (x : m 'a) = (x :> [= `Ok of 'a | `Error of exn]);