Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/ml-yacc/doc/mlyacc.tex
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/ml-yacc/doc/mlyacc.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 138, Mon Sep 7 21:11:35 1998 UTC revision 139, Mon Sep 7 21:11:35 1998 UTC
# Line 333  Line 333 
333  \begin{quote}  \begin{quote}
334  \raggedright  \raggedright
335  \tt  \tt
336                  \%arg \%eop \%header \%keyword \%left \%name \%nodefault                  \%arg \%eop \%header \%token\_sig\_info \%keyword
337                    \%left \%name \%nodefault
338                  \%nonassoc \%nonterm \%noshift \%pos \%prec \%prefer                  \%nonassoc \%nonterm \%noshift \%pos \%prec \%prefer
339                  \%pure \%right \%start \%subst \%term \%value \%verbose                  \%pure \%right \%start \%subst \%term \%value \%verbose
340  \end{quote}  \end{quote}
# Line 365  Line 366 
366  \mbox{cmd} & ::= & \mbox{{\tt \%arg} (Any-ML-pattern) {\tt :} ML-type} \\  \mbox{cmd} & ::= & \mbox{{\tt \%arg} (Any-ML-pattern) {\tt :} ML-type} \\
367   & | & \mbox{{\tt \%eop} symbol-list} \\   & | & \mbox{{\tt \%eop} symbol-list} \\
368   & | & \mbox{{\tt \%header} code} \\   & | & \mbox{{\tt \%header} code} \\
369     & | & \mbox{{\tt \%token\_sig\_info} code} \\
370   & | & \mbox{{\tt \%keyword} symbol-list} \\   & | & \mbox{{\tt \%keyword} symbol-list} \\
371   & | & \mbox{{\tt \%left} symbol-list} \\   & | & \mbox{{\tt \%left} symbol-list} \\
372   & | & \mbox{{\tt \%name} identifier} \\   & | & \mbox{{\tt \%name} identifier} \\
# Line 502  Line 504 
504  \end{verbatim}  \end{verbatim}
505  \end{tt}  \end{tt}
506  \end{samepage}  \end{samepage}
507    \item[{\tt \%token\_sig\_info}]
508    \begin{samepage}
509    You may add specifications to the signature \{parser name\}_TOKENS
510    here.  This may be useful in adding structures or types that
511    subsequently occur as arguments to various tokens.  The declartion
512    should be of the form:
513    \begin{tt}
514    \begin{verbatim}
515    %token_sig_info (type mytype
516                     structure MyStructure : MyStructure_sig
517                     ...
518                    )
519    \end{verbatim}
520    \end{tt}
521    Any specification you put here must be satisfied by the code you give
522    in the user declarations.%
523    \end{samepage}
524  \item[{\tt \%left},{\tt \%right},{\tt \%nonassoc}]  \item[{\tt \%left},{\tt \%right},{\tt \%nonassoc}]
525  You should list the precedence declarations in order of increasing (tighter-binding)  You should list the precedence declarations in order of increasing (tighter-binding)
526   precedence.  Each precedence declaration consists   precedence.  Each precedence declaration consists

Legend:
Removed from v.138  
changed lines
  Added in v.139

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0