Lines Matching defs:COMMENT
187 | SOME #"*" => COMMENT clean_open (inc scr)
255 | SOME #"*" => COMMENT clean_include (inc scr)
326 | SOME #"*" => COMMENT clean_initial (inc scr)
329 and COMMENT k scr =
334 | SOME #"\n" => COMMENT k (newline scr)
335 | _ => COMMENT k (inc scr)
340 | SOME #"*" => COMMENT (COMMENT k) (inc scr)
341 | SOME #"\n" => COMMENT k (newline scr)
342 | _ => COMMENT k (inc scr)
348 | SOME #"\n" => COMMENT k (newline scr)
349 | _ => COMMENT k (inc scr)