Skip to content

monads: core_kernel.rope no longer exists in v0.16  #1589

Open
@bmourad01

Description

It seems this functionality has been separated into the jane_rope package (which currently depends on base v0.16). Would we need to break compatibility with previous versions (i.e. < v0.16.0) of janestreet libraries to upgrade, or hard stop at v0.15? Perhaps a third option exists?

ping @ivg

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions