Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. stdlib: implement chop_suffix_opt in term of check_suffix (details)
  2. stdlib: no allocation for Filename.is_implicit (details)
Commit fed975497bef3cb6749a4b959aacf1bd864c5a5b by hugo.heuzard
stdlib: implement chop_suffix_opt in term of check_suffix
The file was modifiedstdlib/filename.ml (diff)
Commit fce7f5f74a5a5413a91d9b3d507a234145e0e5cc by hugo.heuzard
stdlib: no allocation for Filename.is_implicit
The file was modifiedstdlib/filename.ml (diff)