From 6875b3fdf3d7b23948ef2bd06775a40cd0b595ce Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Wed, 3 Jan 2024 16:27:26 +0000 Subject: [PATCH] Uncomment Effect in stdlib.ml{,i} --- ocaml/stdlib/stdlib.ml | 3 --- ocaml/stdlib/stdlib.mli | 4 ---- 2 files changed, 7 deletions(-) diff --git a/ocaml/stdlib/stdlib.ml b/ocaml/stdlib/stdlib.ml index 9fd37c6929f..c781aeb6bbe 100644 --- a/ocaml/stdlib/stdlib.ml +++ b/ocaml/stdlib/stdlib.ml @@ -608,10 +608,7 @@ module Complex = Complex module Condition = Condition module Digest = Digest module Domain = Domain -(* CR ocaml 5 effects: - BACKPORT module Effect = Effect -*) module Either = Either module Ephemeron = Ephemeron module Filename = Filename diff --git a/ocaml/stdlib/stdlib.mli b/ocaml/stdlib/stdlib.mli index 20507d4c9db..2ee4db284df 100644 --- a/ocaml/stdlib/stdlib.mli +++ b/ocaml/stdlib/stdlib.mli @@ -1410,14 +1410,10 @@ module Domain = Domain [@@alert unstable "The Domain interface may change in incompatible ways in the future." ] -(* CR ocaml 5 effects: -BACKPORT module Effect = Effect -[@@alert "-unstable"] [@@alert unstable "The Effect interface may change in incompatible ways in the future." ] -*) module Either = Either module Ephemeron = Ephemeron module Filename = Filename