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/refman/RefMan-syn.tex')

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}{}
 
-- 
cgit v1.2.3

