Skip to content
Failed

Changes

Summary

  1. add hashtbl remove and replace which return the previous value (#14060) (commit: 9d44d72) (details)
Commit 9d44d724ad63ea76e22f5ac4740d7d0a66ec92bd by noreply
add hashtbl remove and replace which return the previous value (#14060)

(commit: 9d44d72)
The file was modifiedChanges (diff)
The file was modifiedstdlib/templates/hashtbl.template.mli (diff)
The file was modifiedtestsuite/tests/lib-hashtbl/htbl.ml (diff)
The file was modifiedstdlib/hashtbl.ml (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace2.reference (diff)
The file was modifiedstdlib/moreLabels.mli (diff)
The file was modifiedstdlib/hashtbl.mli (diff)