anchor.diff:   *
    *
    * $Log$
  + * Revision 1.22  2003/03/19 21:33:13  gilham
  + * Fixed LATEX_COMMENT to handle  comment blocks not ended with
  + * "\begin{spec}".
  + *
    * Revision 1.21  2003/03/19 19:25:43  weilyn
    * Added patterns.
    * Made "\end{spec}" a starting latex comment token in lexer.
  
positive.code: }
      : begin:"def"
        name=qualifiableOpNames
        (params=formalOpParameters equals
         | equals) 
        expr=expression            {def = builder.createDef(name, params, expr);
                                    ParserUtil.setBounds(builder, def, begin, LT(0));
                                   }
  
negative.code:     ;
  
  private tightPattern
      : (embedPattern) => embedPattern
  //this is the (COLONCOLON tightPattern)? part of the closedPattern production    | consPattern
      | aliasedPattern
      | quotientPattern
  //the rule for relaxPattern wasn't in the official grammar    | relaxPattern
      | closedPattern (COLONCOLON tightPattern)?
      ;
  
  private aliasedPattern
      : variablePattern "as" tightPattern
      ;
  
  private embedPattern
      : name closedPattern
      ;
  
  private variablePattern
  