doc-src/Ref/defining.tex
 changeset 3801 5ba459e15dd7 parent 3694 fe7b812837ad child 3802 f13d5b840858
equal inserted replaced
3800:5a74678c8645 3801:5ba459e15dd7
   722 the value of {\tt Syntax.ambiguity_level} which has type {\tt int
   722 the value of {\tt Syntax.ambiguity_level} which has type {\tt int
   723 ref}.  Its default value is 1 and by increasing it one can control how
   723 ref}.  Its default value is 1 and by increasing it one can control how
   724 many parse trees are necessary to generate the warning.
   724 many parse trees are necessary to generate the warning.
   725
   725
   726 \begin{ttbox}
   726 \begin{ttbox}
   727 {\out Warning: Ambiguous input "..."}
   727 {\out Ambiguous input "\dots"}
   728 {\out produces the following parse trees:}
   728 {\out produces the following parse trees:}
   729 {\out ...}
   729 {\out \dots}
   730 {\out Fortunately, only one parse tree is type correct.}
   730 {\out Fortunately, only one parse tree is type correct.}
   731 {\out It helps (speed!) if you disambiguate your grammar or your input.}
   731 {\out You may still want to disambiguate your grammar or your input.}
   732 \end{ttbox}
   732 \end{ttbox}
   733
   733
   734 The following message is normally caused by using the same
   734 The following message is normally caused by using the same
   735 syntax in two different productions:
   735 syntax in two different productions:
   736
   736