Remove effects, rename to 4.12+domains

1 files changed, 0 insertions, 33 deletions

diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
index 621eb90554..41f65b1acc 100644
--- a/stdlib/stdlib.mli
+++ b/stdlib/stdlib.mli
@@ -45,39 +45,6 @@ exception Exit
 (** The [Exit] exception is not raised by any library function.  It is
     provided for use in your programs. *)
 
-(** {6 Effects} *)
-
-(** [perform e] performs an effect [e].
-
-    @raises Unhandled if there is no active handler. *)
-external perform : 'a eff -> 'a = "%perform"
-
-(** [continue k x] resumes the continuation [k] by passing [x] to [k].
-
-    @raise Invalid_argument if the continuation has already been
-    resumed. *)
-val continue: ('a, 'b) continuation -> 'a -> 'b
-
-(** [discontinue k e] resumes the continuation [k] by raising the
-    exception [e] in [k].
-
-    @raise Invalid_argument if the continuation has already been
-    resumed. *)
-val discontinue: ('a, 'b) continuation -> exn -> 'b
-
-(** [reperform e k] is semantically equivalent to:
-
-    {[
-      match perform e with
-      | v -> continue k v
-      | exception e -> discontinue k e
-    ]}
-
-    but it can be implemented directly more efficiently and is a
-    very common case: it is what you should do with effects that
-    you don't handle. *)
-val reperform: 'a eff -> ('a, 'b) continuation -> 'b
-
 exception Match_failure of (string * int * int)
   [@ocaml.warn_on_literal_pattern]
 (** Exception raised when none of the cases of a pattern-matching