Mercurial > cpdt > repo
diff tools/make_template.ml @ 49:827d7e8a7d9e
Predicates with arguments
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 28 Sep 2008 10:59:04 -0400 |
parents | d45ba7e9b266 |
children | d07c77659c20 |
line wrap: on
line diff
--- a/tools/make_template.ml Sat Sep 27 16:10:53 2008 -0400 +++ b/tools/make_template.ml Sun Sep 28 10:59:04 2008 -0400 @@ -15,7 +15,8 @@ let idx = try Some (String.index line '(') with Not_found -> None in match idx with | Some idx -> - if String.length line > idx+1 && line.[idx+1] = '*' then + if String.length line > idx+1 && line.[idx+1] = '*' + && not (String.length line > idx+4 && String.sub line (idx+2) 3 = " EX") then if line.[String.length line - 2] = '*' && line.[String.length line - 1] = ')' then initial last_was_empty else