Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Arg: a new Rest_all spec, similar to Rest, that passes all arguments at once (commit: 63eb3da) (details)
Commit 63eb3dad0d1f59b97f6748e1df727c37d1fd84b0 by gabriel.scherer
Arg: a new Rest_all spec, similar to Rest, that passes all arguments at once

In particular this allow to detect a Rest_all keyword followed by no
arguments at all (an empty list).
 (commit: 63eb3da)
The file was modifiedstdlib/arg.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedstdlib/arg.mli (diff)
The file was addedtestsuite/tests/lib-arg/test_rest_all.ml
The file was modifieddriver/main_args.ml (diff)