diff options
| author | Maxime Dénès | 2018-02-24 09:32:47 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-02-24 09:32:47 +0100 |
| commit | c4aeaa7aedb04bf156a4946b05bad8f66d5eec69 (patch) | |
| tree | e31dda0134d712ebe9fbcedacf9ceb30ee7d1cd2 | |
| parent | de00217b6726adc99bbc2eaaa0df93e01bf9c471 (diff) | |
| parent | 6304640dbd82cf24e2fb8346881223d165acf934 (diff) | |
Merge PR #6819: Document Arguments extra scopes flag
| -rw-r--r-- | doc/refman/RefMan-syn.tex | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex index a4ed2134e1..836753db16 100644 --- a/doc/refman/RefMan-syn.tex +++ b/doc/refman/RefMan-syn.tex @@ -1021,6 +1021,14 @@ Arguments scopes can be cleared with the following command: {\tt Arguments {\qualid} : clear scopes} \end{quote} +Extra argument scopes, to be used in case of coercion to Funclass +(see Chapter~\ref{Coercions-full}) or with a computed type, +can be given with + +\begin{quote} +{\tt Arguments} {\qualid} \nelist{\textunderscore {\tt \%} \scope}{} {\tt : extra scopes.} +\end{quote} + \begin{Variants} \item {\tt Global Arguments} {\qualid} \nelist{\name {\tt \%}\scope}{} |
