comparison 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
comparison
equal deleted inserted replaced
48:b262252669ce 49:827d7e8a7d9e
13 initial true 13 initial true
14 | Some line -> 14 | Some line ->
15 let idx = try Some (String.index line '(') with Not_found -> None in 15 let idx = try Some (String.index line '(') with Not_found -> None in
16 match idx with 16 match idx with
17 | Some idx -> 17 | Some idx ->
18 if String.length line > idx+1 && line.[idx+1] = '*' then 18 if String.length line > idx+1 && line.[idx+1] = '*'
19 && not (String.length line > idx+4 && String.sub line (idx+2) 3 = " EX") then
19 if line.[String.length line - 2] = '*' && line.[String.length line - 1] = ')' then 20 if line.[String.length line - 2] = '*' && line.[String.length line - 1] = ')' then
20 initial last_was_empty 21 initial last_was_empty
21 else 22 else
22 comment last_was_empty 23 comment last_was_empty
23 else begin 24 else begin