Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added String prefix and suffix tests. (commit: e00d7f3) (details)
  2. Use new String.is_suffix function. (commit: ddb1b5e) (details)
  3. dune: temporarily remove use of new primitive before building (commit: 7bf55c6) (details)
  4. dune: depend on new runtime files (commit: 8213916) (details)
Commit e00d7f3a42531dd3f49817ca14928e6b2b9d00dc by bernhardschommer
Added String prefix and suffix tests.

The functions test if the second argument is a prefix or suffix of the
first argument.
 (commit: e00d7f3)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/lib-string/test_string.ml (diff)
The file was modifiedstdlib/string.ml (diff)
The file was modifiedstdlib/stringLabels.mli (diff)
The file was modifiedstdlib/string.mli (diff)
Commit ddb1b5e4b59f80dc0cd33244fb57ff4ae571660a by bernhardschommer
Use new String.is_suffix function.
 (commit: ddb1b5e)
The file was modifiedstdlib/filename.ml (diff)
Commit 7bf55c6c54456ccadd341b17283daacf1a51a31b by thomas.refis
dune: temporarily remove use of new primitive before building
 (commit: 7bf55c6)
The file was modifiedstdlib/dune (diff)
Commit 821391667fec5e9a52e76eee504960d20d491799 by thomas.refis
dune: depend on new runtime files
 (commit: 8213916)
The file was modifiedruntime/dune (diff)