author clasohm Fri, 27 Jan 1995 12:31:18 +0100 changeset 883 92abd2ad9d08 parent 882 b118d1ea0dfd child 884 35c836adf48f
renamed Sign.ambiguity_level to Syntax.ambiguity_level
 doc-src/Ref/defining.tex file | annotate | diff | comparison | revisions
--- a/doc-src/Ref/defining.tex	Fri Jan 27 12:30:36 1995 +0100
+++ b/doc-src/Ref/defining.tex	Fri Jan 27 12:31:18 1995 +0100
@@ -678,11 +678,9 @@
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
+the value of {\tt Syntax.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.)
+many parse trees are necessary to generate the warning.

\begin{ttbox}
{\out Warning: Ambiguous input "..."}