/[mojave]/metaprl/mllib/comment_parse.mll
ViewVC logotype

Diff of /metaprl/mllib/comment_parse.mll

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

revision 3062 by jyh, Tue Sep 19 03:03:23 2000 UTC revision 3444 by nogin, Thu Nov 15 23:03:47 2001 UTC
# Line 243  Line 243 
243  rule main = parse  rule main = parse
244     (* White space *)     (* White space *)
245     '\n' optwhite '*'     '\n' optwhite '*'
    { TokWhite true }  
246   | '\n'   | '\n'
247     { TokWhite true }     { TokWhite true }
248   | white   | white
# Line 287  Line 286 
286     { TokSpecial (Lexing.lexeme_char lexbuf 0) }     { TokSpecial (Lexing.lexeme_char lexbuf 0) }
287    
288     (* Alphanumeric names *)     (* Alphanumeric names *)
289   | name   | name | number
    { TokString (true, Lexing.lexeme lexbuf) }  
  | number  
290     { TokString (true, Lexing.lexeme lexbuf) }     { TokString (true, Lexing.lexeme lexbuf) }
291   | _   | _
292     { TokString (false, Lexing.lexeme lexbuf) }     { TokString (false, Lexing.lexeme lexbuf) }
# Line 672  Line 669 
669  and parse_opname_name mode buffer opname buf =  and parse_opname_name mode buffer opname buf =
670     let token = parse_token buf in     let token = parse_token buf in
671        match token with        match token with
672           TokString (true, s) ->           TokString (true, s) | TokQString s ->
             add_opname_string mode buffer opname s buf  
        | TokQString s ->  
673              add_opname_string mode buffer opname s buf              add_opname_string mode buffer opname s buf
674         | TokSpecial '_' ->         | TokSpecial '_' ->
675              if is_math_mode mode then              if is_math_mode mode then

Legend:
Removed from v.3062  
changed lines
  Added in v.3444

  ViewVC Help
Powered by ViewVC 1.1.26