HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release coccinelle-0.2.0rc1
[bpt/coccinelle.git]
/
tools
/
bridge.ml
diff --git
a/tools/bridge.ml
b/tools/bridge.ml
index
7df0b06
..
6e3037c
100644
(file)
--- a/
tools/bridge.ml
+++ b/
tools/bridge.ml
@@
-97,7
+97,7
@@
let collect_ors fp lines =
| line::xs ->
let (c,k,v) = split_or line in
let ((c1,k1,v1),rest) = loop xs in
| line::xs ->
let (c,k,v) = split_or line in
let ((c1,k1,v1),rest) = loop xs in
- if c = c1 && k = k1
+ if c = c1 && k = k1
&& not (k = [])
then
if List.mem v v1
then ((c1,k1,v1),rest)
then
if List.mem v v1
then ((c1,k1,v1),rest)
@@
-112,7
+112,7
@@
let collect_ors fp lines =
[] -> failwith "not possible"
| [x] -> (c,k@v) :: prev
| (tag,_)::_ ->
[] -> failwith "not possible"
| [x] -> (c,k@v) :: prev
| (tag,_)::_ ->
- let vs =
+
(*
let vs =
Printf.sprintf "%s:(%s)" tag
(String.concat "|"
(List.sort compare
Printf.sprintf "%s:(%s)" tag
(String.concat "|"
(List.sort compare
@@
-120,8
+120,8
@@
let collect_ors fp lines =
let attempt =
Printf.sprintf "%s: %s %s" c
(String.concat " " (List.map (function (k,v) -> k^":"^v) k))
let attempt =
Printf.sprintf "%s: %s %s" c
(String.concat " " (List.map (function (k,v) -> k^":"^v) k))
- vs in
- if
List.mem attempt fp
+ vs in
*)
+ if
true (*List.mem attempt fp*)
then
let vs =
Printf.sprintf "\\\\\\\\\\(%s\\\\\\\\\\)"
then
let vs =
Printf.sprintf "\\\\\\\\\\(%s\\\\\\\\\\)"