From 6304640dbd82cf24e2fb8346881223d165acf934 Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Thu, 22 Feb 2018 18:38:24 -0800 Subject: Document Arguments extra scopes flag --- doc/refman/RefMan-syn.tex | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'doc') diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex index a4ed2134e..836753db1 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}{} -- cgit v1.2.3