author clasohm Thu, 26 Jan 1995 13:31:36 +0100 changeset 880 667dc43e3b98 parent 879 27675591cc50 child 881 d7dcba167ed8
 doc-src/Ref/defining.tex file | annotate | diff | comparison | revisions
--- 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 "..."}