# HG changeset patch
# User clasohm
# Date 791123496 -3600
# Node ID 667dc43e3b98c6fcb09060e5560d63485df4618a
# Parent  27675591cc50e1621ae4f666e07305b5ef7deb79
added documentation of Sign.ambiguity_level

diff -r 27675591cc50 -r 667dc43e3b98 doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Thu Jan 26 12:44:50 1995 +0100
+++ b/doc-src/Ref/defining.tex	Thu Jan 26 13:31:36 1995 +0100
@@ -674,9 +674,15 @@
 The warning and error messages that can be produced during this process are
 as follows:
 
-If an ambiguity can be resolved by type inference this warning
-is shown to remind the user that parsing is (unnecessarily) slowed
-down:
+If an ambiguity can be resolved by type inference the following
+warning is shown to remind the user that parsing is (unnecessarily)
+slowed down. In cases where it's not easily possible to eliminate the
+ambiguity the frequency of the warning can be controlled by changing
+the value of {\tt Sign.ambiguity_level} which has type {\tt int
+ref}. Its default value is 1 and by increasing it one can control how
+many parse trees are necessary to generate the warning. (Regardless of
+{\tt Sign.ambiguity_level} still only one of these parse trees is
+allowed to be type correct.)
 
 \begin{ttbox}
 {\out Warning: Ambiguous input "..."}