equal
deleted
inserted
replaced
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 |