/[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 3057 by jyh, Sun Sep 10 18:26:37 2000 UTC revision 3062 by jyh, Tue Sep 19 03:03:23 2000 UTC
# Line 249  Line 249 
249   | white   | white
250     { TokWhite false }     { TokWhite false }
251    
252       (* Nested comments *)
253     | "(*"
254       { comment lexbuf; main lexbuf }
255    
256     (* Quotations *)     (* Quotations *)
257   | "<<"   | "<<"
258     { set_tag "";     { set_tag "";
# Line 294  Line 298 
298     { TokEof }     { TokEof }
299    
300  (*  (*
301     * Comments.
302     *)
303    and comment = parse
304       "(*"
305       { comment lexbuf; comment lexbuf }
306     | "*)"
307       { () }
308     | _
309       { comment lexbuf }
310     | eof
311       { parse_error_buf "comment is not terminated" lexbuf }
312    
313    (*
314   * Read the first string in the opname.   * Read the first string in the opname.
315   *)   *)
316  and opname = parse  and opname = parse

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

  ViewVC Help
Powered by ViewVC 1.1.26