diff options
Diffstat (limited to 'README.EXT')
| -rw-r--r-- | README.EXT | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/README.EXT b/README.EXT index 6844947fc9..e5760c184a 100644 --- a/README.EXT +++ b/README.EXT @@ -1081,9 +1081,10 @@ as follows: -- scan-arg-spec := param-arg-spec [block-arg-spec] -param-arg-spec := pre-arg-spec [post-arg-spec] / post-arg-spec +param-arg-spec := pre-arg-spec [post-arg-spec] / post-arg-spec / pre-opt-post-arg-spec pre-arg-spec := num-of-leading-mandatory-args [num-of-optional-args] post-arg-spec := sym-for-variable-length-args [num-of-trailing-mandatory-args] +pre-opt-post-arg-spec := num-of-leading-mandatory-args num-of-optional-args num-of-trailing-mandatory-args block-arg-spec := sym-for-block-arg num-of-leading-mandatory-args := DIGIT ; The number of leading |