Here is a patch that should avoid the problem.
julia
diff --git a/parsing_cocci/iso_compile.ml b/parsing_cocci/iso_compile.ml
index 2316e2f..e191ebf 100644
--- a/parsing_cocci/iso_compile.ml
+++ b/parsing_cocci/iso_compile.ml
@@ -14,18 +14,44 @@ isomorphism. This is allowed if all elements of an
isomorphism have only
one token or if we can somehow match up equal tokens of all of the
isomorphic variants. *)
+type mcodeinfo =
+ MetaName of Ast.meta_name
+ | Str of string
+ | Cst of Ast.constant
+ | SAOp of Ast0.simpleAssignOp
+ | FixOp of Ast.fixOp
+ | UnOp of Ast.unaryOp
+ | ArOp of Ast.arithOp
+ | LogOp of Ast.logicalOp
+ | CV of Ast.const_vol
+ | Sign of Ast.sign
+ | Struct of Ast.structUnion
+ | Store of Ast.storage
+ | Inc of Ast.inc_file
+
let sequence_tokens =
- let mcode x =
- (* sort of unpleasant to convert the token representation to a string
- but we can't make a list of mcodes otherwise because the types are all
- different *)
- [(Dumper.dump (Ast0.unwrap_mcode x),Ast0.get_pos_ref x)] in
+ let mcode f x =
+ (* have to convert the mcodes to a common type so that we can make a list
+ out of them *)
+ [(f x,Ast0.get_pos_ref x)] in
let donothing r k e = k e in
let bind x y = x @ y in
let option_default = [] in
V0.flat_combiner bind option_default
- mcode mcode mcode mcode mcode mcode mcode mcode mcode mcode mcode
- mcode mcode mcode
+ (mcode (function x -> MetaName (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Str (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Cst (Ast0.unwrap_mcode x)))
+ (mcode (function x -> SAOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> ArOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> FixOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> UnOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> ArOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> LogOp (Ast0.unwrap_mcode x)))
+ (mcode (function x -> CV (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Sign (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Struct (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Store (Ast0.unwrap_mcode x)))
+ (mcode (function x -> Inc (Ast0.unwrap_mcode x)))
donothing donothing donothing donothing donothing donothing donothing
donothing donothing donothing donothing donothing donothing
donothing donothing donothing donothing donothing donothing donothing
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
