[Cocci] "TODO: FunCall" in python match printing
Julia Lawall
julia at diku.dk
Fri Mar 6 11:03:24 CET 2009
On Fri, 6 Mar 2009, Carl-Daniel Hailfinger wrote:
> On 06.03.2009 08:56, Julia Lawall wrote:
> > Below is a patch for Coccinelle-0.1.5 that solves the Funcall problem. It
> > also solves a problem with casts.
> >
>
> It seems your copy of 0.1.5 differs from my downloaded source copy of
> 0.1.5 (coccinelle-0.1.5.tgz).
> The hunk affecting coccinelle-0.1.5/python/pycocci.ml does not apply
> here and the code it refers to lives in
> coccinelle-0.1.5/python/yes_pycocci.ml instead. I changed the patch
> accordingly and installed current menhir, but now I get this error:
Right. This was my comment about the links and the need perhaps to start
from scratch. But perhaps I got it backwards - there are the yes
and no versions in the distribution and pycocci and pycocci_aux after
running ./configure...
> ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I
> ../pycaml -I ../parsing_c -I ../parsing_cocci -c pycocci.ml
> File "pycocci.ml", line 203, characters 45-51:
> This expression has type
> Ast_c.expression = (Ast_c.expressionbis * Ast_c.exp_info ref) * Ast_c.il
> but is here used with type Ast_c.expressionbis
> make[2]: *** [pycocci.cmo] Error 2
> make[2]: Leaving directory `/sources/tmptrees/coccinelle-0.1.5/python'
> make[1]: *** [python] Error 2
> make[1]: Leaving directory `/sources/tmptrees/coccinelle-0.1.5'
> make: *** [all] Error 2
>
>
> If you have an updated patch, I'll test.
I think the patch is ok as is, except for the file name problem. Could
you try starting over, but first edit the patch to replace all occurrences
of pycocci_aux.ml with yes_pycocci_aux.ml and all occurrences of
pycocci.ml by yes_pycocci.ml?
julia
More information about the Cocci
mailing list