diff --git a/_oasis b/_oasis index bd4e8a18..d39a25cd 100644 --- a/_oasis +++ b/_oasis @@ -59,7 +59,7 @@ Library "containers" Library "containers_io" Path: src/io - Modules: + Modules: Containers_io_is_deprecated BuildDepends: bytes FindlibParent: containers FindlibName: io diff --git a/src/advanced/CCMonadIO.ml.cppo b/src/advanced/CCMonadIO.cppo.ml similarity index 100% rename from src/advanced/CCMonadIO.ml.cppo rename to src/advanced/CCMonadIO.cppo.ml diff --git a/src/io/containers_io_is_deprecated.ml b/src/io/containers_io_is_deprecated.ml new file mode 100644 index 00000000..4784fafb --- /dev/null +++ b/src/io/containers_io_is_deprecated.ml @@ -0,0 +1,7 @@ +(** {!CCIO} has moved into {!Containers}, the main library. + + The reason is that it has no additional dependency and is arguably a + useful completement to parts of {!Pervasives} (the channel management) + + As a result, linking "containers" rather than "containers.io" should be + enough if one needs {!CCIO}. *)