Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

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

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