equal
deleted
inserted
replaced
41 val is_command: T -> bool |
41 val is_command: T -> bool |
42 val keyword_with: (string -> bool) -> T -> bool |
42 val keyword_with: (string -> bool) -> T -> bool |
43 val is_command_modifier: T -> bool |
43 val is_command_modifier: T -> bool |
44 val ident_with: (string -> bool) -> T -> bool |
44 val ident_with: (string -> bool) -> T -> bool |
45 val is_proper: T -> bool |
45 val is_proper: T -> bool |
46 val is_improper: T -> bool |
|
47 val is_comment: T -> bool |
46 val is_comment: T -> bool |
48 val is_informal_comment: T -> bool |
47 val is_informal_comment: T -> bool |
49 val is_formal_comment: T -> bool |
48 val is_formal_comment: T -> bool |
50 val is_ignored: T -> bool |
49 val is_ignored: T -> bool |
51 val is_begin_ignore: T -> bool |
50 val is_begin_ignore: T -> bool |
234 |
233 |
235 fun is_proper (Token (_, (Space, _), _)) = false |
234 fun is_proper (Token (_, (Space, _), _)) = false |
236 | is_proper (Token (_, (Comment _, _), _)) = false |
235 | is_proper (Token (_, (Comment _, _), _)) = false |
237 | is_proper _ = true; |
236 | is_proper _ = true; |
238 |
237 |
239 val is_improper = not o is_proper; |
|
240 |
|
241 fun is_comment (Token (_, (Comment _, _), _)) = true |
238 fun is_comment (Token (_, (Comment _, _), _)) = true |
242 | is_comment _ = false; |
239 | is_comment _ = false; |
243 |
240 |
244 fun is_informal_comment (Token (_, (Comment NONE, _), _)) = true |
241 fun is_informal_comment (Token (_, (Comment NONE, _), _)) = true |
245 | is_informal_comment _ = false; |
242 | is_informal_comment _ = false; |