* [Cocci] Error: Unbound value Common.union_set @ 2015-01-05 21:30 Emil Medve 2015-01-05 21:54 ` Julia Lawall 0 siblings, 1 reply; 8+ messages in thread From: Emil Medve @ 2015-01-05 21:30 UTC (permalink / raw) To: cocci Hello, I'm seeing the following errors: > File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") > File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: > File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") > File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: > File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") > File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") > File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") Here is the context and a few relevant version numbers: > make coccicheck MODE=report M=... > $ git describe --abbrev=0 > v3.19-rc2 > $ spatch --version > spatch version 1.0.0-rc23 with Python support and with PCRE support > $ ocaml -version > The OCaml toplevel, version 4.02.1 Any advice? Need extra information? Cheers, ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 21:30 [Cocci] Error: Unbound value Common.union_set Emil Medve @ 2015-01-05 21:54 ` Julia Lawall 2015-01-05 22:15 ` Emil Medve 0 siblings, 1 reply; 8+ messages in thread From: Julia Lawall @ 2015-01-05 21:54 UTC (permalink / raw) To: cocci On Mon, 5 Jan 2015, Emil Medve wrote: > Hello, > > > I'm seeing the following errors: > > > File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set This is really strange. What semantic patch are you running? Could you try spatch --sp-file us.cocci us.c where us.cocci is: @script:ocaml@ @@ let _ = Common.union_set [1;2] [3] in Printf.printf "ok\n" @@ @@ - foo(); and us.c is: int main () { foo(); } thanks, julia > > File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") > > File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: > > File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") > > File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: > > File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") > > File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") > > File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") > > Here is the context and a few relevant version numbers: > > > make coccicheck MODE=report M=... > > $ git describe --abbrev=0 > > v3.19-rc2 > > $ spatch --version > > spatch version 1.0.0-rc23 with Python support and with PCRE support > > $ ocaml -version > > The OCaml toplevel, version 4.02.1 > > Any advice? Need extra information? > > > Cheers, > _______________________________________________ > Cocci mailing list > Cocci at systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 21:54 ` Julia Lawall @ 2015-01-05 22:15 ` Emil Medve 2015-01-05 22:19 ` Julia Lawall 2015-01-06 15:39 ` Sébastien Hinderer 0 siblings, 2 replies; 8+ messages in thread From: Emil Medve @ 2015-01-05 22:15 UTC (permalink / raw) To: cocci Hello Julia, On 01/05/2015 03:54 PM, Julia Lawall wrote: > On Mon, 5 Jan 2015, Emil Medve wrote: > >> Hello, >> >> >> I'm seeing the following errors: >> >>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set > > This is really strange. What semantic patch are you running? All of them as I'm not using COCCI=... to select some specific single patch. I'll narrow it down a bit and get back to you > Could you try spatch --sp-file us.cocci us.c > > where us.cocci is: > > @script:ocaml@ > @@ > > let _ = Common.union_set [1;2] [3] in > Printf.printf "ok\n" > > @@ > @@ > > - foo(); > > and us.c is: > > int main () { > foo(); > } I'm sure this makes more sense to you then it makes to me: > $ spatch --sp-file us.cocci us.c > init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h > Using native version of ocamlc/ocamlopt/ocamldep > ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml > File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36: > Error: Unbound value Iteration.add_pending_instance > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml") Cheers, > thanks, > julia > >>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") >>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: >>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") >>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: >>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") >>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") >>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") >> >> Here is the context and a few relevant version numbers: >> >>> make coccicheck MODE=report M=... >>> $ git describe --abbrev=0 >>> v3.19-rc2 >>> $ spatch --version >>> spatch version 1.0.0-rc23 with Python support and with PCRE support >>> $ ocaml -version >>> The OCaml toplevel, version 4.02.1 >> >> Any advice? Need extra information? >> >> >> Cheers, >> _______________________________________________ >> Cocci mailing list >> Cocci at systeme.lip6.fr >> https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 22:15 ` Emil Medve @ 2015-01-05 22:19 ` Julia Lawall 2015-01-05 22:50 ` Emil Medve 2015-01-06 15:39 ` Sébastien Hinderer 1 sibling, 1 reply; 8+ messages in thread From: Julia Lawall @ 2015-01-05 22:19 UTC (permalink / raw) To: cocci On Mon, 5 Jan 2015, Emil Medve wrote: > Hello Julia, > > > On 01/05/2015 03:54 PM, Julia Lawall wrote: > > On Mon, 5 Jan 2015, Emil Medve wrote: > > > >> Hello, > >> > >> > >> I'm seeing the following errors: > >> > >>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > > > > This is really strange. What semantic patch are you running? > > All of them as I'm not using COCCI=... to select some specific single > patch. I'll narrow it down a bit and get back to you > > > Could you try spatch --sp-file us.cocci us.c > > > > where us.cocci is: > > > > @script:ocaml@ > > @@ > > > > let _ = Common.union_set [1;2] [3] in > > Printf.printf "ok\n" > > > > @@ > > @@ > > > > - foo(); > > > > and us.c is: > > > > int main () { > > foo(); > > } > > I'm sure this makes more sense to you then it makes to me: > > > $ spatch --sp-file us.cocci us.c > > init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h > > Using native version of ocamlc/ocamlopt/ocamldep > > ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml > > File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36: > > Error: Unbound value Iteration.add_pending_instance > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml") Something is completely wrong with your installation. Where did you get your Coccinelle from? Did you compile it yourself? Maybe it is an ocaml version problem. Your version is newer than mine. I will try to get someone to try with the ocaml version you have. julia > > > Cheers, > > > > thanks, > > julia > > > >>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") > >>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: > >>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > >>> Error: Unbound value Common.union_set > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") > >>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: > >>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > >>> Error: Unbound value Common.union_set > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") > >>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") > >>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: > >>> Error: Unbound value Common.union_set > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") > >> > >> Here is the context and a few relevant version numbers: > >> > >>> make coccicheck MODE=report M=... > >>> $ git describe --abbrev=0 > >>> v3.19-rc2 > >>> $ spatch --version > >>> spatch version 1.0.0-rc23 with Python support and with PCRE support > >>> $ ocaml -version > >>> The OCaml toplevel, version 4.02.1 > >> > >> Any advice? Need extra information? > >> > >> > >> Cheers, > >> _______________________________________________ > >> Cocci mailing list > >> Cocci at systeme.lip6.fr > >> https://systeme.lip6.fr/mailman/listinfo/cocci > ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 22:19 ` Julia Lawall @ 2015-01-05 22:50 ` Emil Medve 2015-01-06 10:09 ` Julia Lawall 0 siblings, 1 reply; 8+ messages in thread From: Emil Medve @ 2015-01-05 22:50 UTC (permalink / raw) To: cocci Hello Julia, On 01/05/2015 04:19 PM, Julia Lawall wrote: > On Mon, 5 Jan 2015, Emil Medve wrote: > >> Hello Julia, >> >> >> On 01/05/2015 03:54 PM, Julia Lawall wrote: >>> On Mon, 5 Jan 2015, Emil Medve wrote: >>> >>>> Hello, >>>> >>>> >>>> I'm seeing the following errors: >>>> >>>>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>> >>> This is really strange. What semantic patch are you running? >> >> All of them as I'm not using COCCI=... to select some specific single >> patch. I'll narrow it down a bit and get back to you scripts/coccinelle/null/badzero.cocci > File "/tmp/ocaml_cocci_cc56de.ml", line 21, characters 23-39: > Error: Unbound value Common.union_set > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cc56de.ml") This is the only patch that seems to produce unexpected results >>> Could you try spatch --sp-file us.cocci us.c >>> >>> where us.cocci is: >>> >>> @script:ocaml@ >>> @@ >>> >>> let _ = Common.union_set [1;2] [3] in >>> Printf.printf "ok\n" >>> >>> @@ >>> @@ >>> >>> - foo(); >>> >>> and us.c is: >>> >>> int main () { >>> foo(); >>> } >> >> I'm sure this makes more sense to you then it makes to me: >> >>> $ spatch --sp-file us.cocci us.c >>> init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h >>> Using native version of ocamlc/ocamlopt/ocamldep >>> ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml >>> File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36: >>> Error: Unbound value Iteration.add_pending_instance >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml") > > Something is completely wrong with your installation. > > Where did you get your Coccinelle from? http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc23.tgz > Did you compile it yourself? Sort of. This is a Gentoo box. The following self-tests seems to run correctly though: > ./spatch standard.h -parse_c -dir tests/ > ./spatch -iso_file standard.iso -macro_file_builtins standard.h -testall > ./spatch.opt -iso_file standard.iso -macro_file_builtins standard.h -testall Cheers, > Maybe it is an ocaml version problem. Your version is newer than mine. I > will try to get someone to try with the ocaml version you have. > > julia > > > >> >> >> Cheers, >> >> >>> thanks, >>> julia >>> >>>>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") >>>>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: >>>>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>>>> Error: Unbound value Common.union_set >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") >>>>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: >>>>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>>>> Error: Unbound value Common.union_set >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") >>>>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") >>>>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: >>>>> Error: Unbound value Common.union_set >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") >>>> >>>> Here is the context and a few relevant version numbers: >>>> >>>>> make coccicheck MODE=report M=... >>>>> $ git describe --abbrev=0 >>>>> v3.19-rc2 >>>>> $ spatch --version >>>>> spatch version 1.0.0-rc23 with Python support and with PCRE support >>>>> $ ocaml -version >>>>> The OCaml toplevel, version 4.02.1 >>>> >>>> Any advice? Need extra information? >>>> >>>> >>>> Cheers, >>>> _______________________________________________ >>>> Cocci mailing list >>>> Cocci at systeme.lip6.fr >>>> https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 22:50 ` Emil Medve @ 2015-01-06 10:09 ` Julia Lawall 2015-01-07 7:30 ` Emil Medve 0 siblings, 1 reply; 8+ messages in thread From: Julia Lawall @ 2015-01-06 10:09 UTC (permalink / raw) To: cocci We are looking into it. It seems to be related to the version of ocaml. julia On Mon, 5 Jan 2015, Emil Medve wrote: > Hello Julia, > > > On 01/05/2015 04:19 PM, Julia Lawall wrote: > > On Mon, 5 Jan 2015, Emil Medve wrote: > > > >> Hello Julia, > >> > >> > >> On 01/05/2015 03:54 PM, Julia Lawall wrote: > >>> On Mon, 5 Jan 2015, Emil Medve wrote: > >>> > >>>> Hello, > >>>> > >>>> > >>>> I'm seeing the following errors: > >>>> > >>>>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>> > >>> This is really strange. What semantic patch are you running? > >> > >> All of them as I'm not using COCCI=... to select some specific single > >> patch. I'll narrow it down a bit and get back to you > > scripts/coccinelle/null/badzero.cocci > > > File "/tmp/ocaml_cocci_cc56de.ml", line 21, characters 23-39: > > Error: Unbound value Common.union_set > > Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cc56de.ml") > > This is the only patch that seems to produce unexpected results > > >>> Could you try spatch --sp-file us.cocci us.c > >>> > >>> where us.cocci is: > >>> > >>> @script:ocaml@ > >>> @@ > >>> > >>> let _ = Common.union_set [1;2] [3] in > >>> Printf.printf "ok\n" > >>> > >>> @@ > >>> @@ > >>> > >>> - foo(); > >>> > >>> and us.c is: > >>> > >>> int main () { > >>> foo(); > >>> } > >> > >> I'm sure this makes more sense to you then it makes to me: > >> > >>> $ spatch --sp-file us.cocci us.c > >>> init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h > >>> Using native version of ocamlc/ocamlopt/ocamldep > >>> ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml > >>> File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36: > >>> Error: Unbound value Iteration.add_pending_instance > >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml") > > > > Something is completely wrong with your installation. > > > > Where did you get your Coccinelle from? > > http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc23.tgz > > > Did you compile it yourself? > > Sort of. This is a Gentoo box. The following self-tests seems to run > correctly though: > > > ./spatch standard.h -parse_c -dir tests/ > > ./spatch -iso_file standard.iso -macro_file_builtins standard.h -testall > > ./spatch.opt -iso_file standard.iso -macro_file_builtins standard.h -testall > > > Cheers, > > > > Maybe it is an ocaml version problem. Your version is newer than mine. I > > will try to get someone to try with the ocaml version you have. > > > > julia > > > > > > > >> > >> > >> Cheers, > >> > >> > >>> thanks, > >>> julia > >>> > >>>>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") > >>>>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: > >>>>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>>>> Error: Unbound value Common.union_set > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") > >>>>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: > >>>>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>>>> Error: Unbound value Common.union_set > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") > >>>>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") > >>>>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: > >>>>> Error: Unbound value Common.union_set > >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") > >>>> > >>>> Here is the context and a few relevant version numbers: > >>>> > >>>>> make coccicheck MODE=report M=... > >>>>> $ git describe --abbrev=0 > >>>>> v3.19-rc2 > >>>>> $ spatch --version > >>>>> spatch version 1.0.0-rc23 with Python support and with PCRE support > >>>>> $ ocaml -version > >>>>> The OCaml toplevel, version 4.02.1 > >>>> > >>>> Any advice? Need extra information? > >>>> > >>>> > >>>> Cheers, > >>>> _______________________________________________ > >>>> Cocci mailing list > >>>> Cocci at systeme.lip6.fr > >>>> https://systeme.lip6.fr/mailman/listinfo/cocci > ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-06 10:09 ` Julia Lawall @ 2015-01-07 7:30 ` Emil Medve 0 siblings, 0 replies; 8+ messages in thread From: Emil Medve @ 2015-01-07 7:30 UTC (permalink / raw) To: cocci Hello Julia, On 01/06/2015 04:09 AM, Julia Lawall wrote: > We are looking into it. It seems to be related to the version of ocaml. Thank you Cheers, > julia > > On Mon, 5 Jan 2015, Emil Medve wrote: > >> Hello Julia, >> >> >> On 01/05/2015 04:19 PM, Julia Lawall wrote: >>> On Mon, 5 Jan 2015, Emil Medve wrote: >>> >>>> Hello Julia, >>>> >>>> >>>> On 01/05/2015 03:54 PM, Julia Lawall wrote: >>>>> On Mon, 5 Jan 2015, Emil Medve wrote: >>>>> >>>>>> Hello, >>>>>> >>>>>> >>>>>> I'm seeing the following errors: >>>>>> >>>>>>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>> >>>>> This is really strange. What semantic patch are you running? >>>> >>>> All of them as I'm not using COCCI=... to select some specific single >>>> patch. I'll narrow it down a bit and get back to you >> >> scripts/coccinelle/null/badzero.cocci >> >>> File "/tmp/ocaml_cocci_cc56de.ml", line 21, characters 23-39: >>> Error: Unbound value Common.union_set >>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cc56de.ml") >> >> This is the only patch that seems to produce unexpected results >> >>>>> Could you try spatch --sp-file us.cocci us.c >>>>> >>>>> where us.cocci is: >>>>> >>>>> @script:ocaml@ >>>>> @@ >>>>> >>>>> let _ = Common.union_set [1;2] [3] in >>>>> Printf.printf "ok\n" >>>>> >>>>> @@ >>>>> @@ >>>>> >>>>> - foo(); >>>>> >>>>> and us.c is: >>>>> >>>>> int main () { >>>>> foo(); >>>>> } >>>> >>>> I'm sure this makes more sense to you then it makes to me: >>>> >>>>> $ spatch --sp-file us.cocci us.c >>>>> init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h >>>>> Using native version of ocamlc/ocamlopt/ocamldep >>>>> ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml >>>>> File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36: >>>>> Error: Unbound value Iteration.add_pending_instance >>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml") >>> >>> Something is completely wrong with your installation. >>> >>> Where did you get your Coccinelle from? >> >> http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc23.tgz >> >>> Did you compile it yourself? >> >> Sort of. This is a Gentoo box. The following self-tests seems to run >> correctly though: >> >>> ./spatch standard.h -parse_c -dir tests/ >>> ./spatch -iso_file standard.iso -macro_file_builtins standard.h -testall >>> ./spatch.opt -iso_file standard.iso -macro_file_builtins standard.h -testall >> >> >> Cheers, >> >> >>> Maybe it is an ocaml version problem. Your version is newer than mine. I >>> will try to get someone to try with the ocaml version you have. >>> >>> julia >>> >>> >>> >>>> >>>> >>>> Cheers, >>>> >>>> >>>>> thanks, >>>>> julia >>>>> >>>>>>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml") >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml") >>>>>>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39: >>>>>>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>>>> Error: Unbound value Common.union_set >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml") >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml") >>>>>>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39: >>>>>>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>>>> Error: Unbound value Common.union_set >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml") >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml") >>>>>>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml") >>>>>>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39: >>>>>>> Error: Unbound value Common.union_set >>>>>>> Fatal error: exception Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml") >>>>>> >>>>>> Here is the context and a few relevant version numbers: >>>>>> >>>>>>> make coccicheck MODE=report M=... >>>>>>> $ git describe --abbrev=0 >>>>>>> v3.19-rc2 >>>>>>> $ spatch --version >>>>>>> spatch version 1.0.0-rc23 with Python support and with PCRE support >>>>>>> $ ocaml -version >>>>>>> The OCaml toplevel, version 4.02.1 >>>>>> >>>>>> Any advice? Need extra information? >>>>>> >>>>>> >>>>>> Cheers, >>>>>> _______________________________________________ >>>>>> Cocci mailing list >>>>>> Cocci at systeme.lip6.fr >>>>>> https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 8+ messages in thread
* [Cocci] Error: Unbound value Common.union_set 2015-01-05 22:15 ` Emil Medve 2015-01-05 22:19 ` Julia Lawall @ 2015-01-06 15:39 ` Sébastien Hinderer 1 sibling, 0 replies; 8+ messages in thread From: Sébastien Hinderer @ 2015-01-06 15:39 UTC (permalink / raw) To: cocci Dear Emil, I'm an engineer working with Julia on Coccinelle. Many thanks to you for having reported this issue. It is due to a change in the OCaml compiler between versions 4.01 and 4.02. We will do our best to fix Coccinelle as soon as possible so that it also works with OCaml 4.02, but meanwhile, you can always make it work with an older version of OCaml such as 4.01. Thismeans to recompile coccinelle e.g.with OCaml 4.01. Hope this helps, S?bastien. ^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2015-01-07 7:30 UTC | newest] Thread overview: 8+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2015-01-05 21:30 [Cocci] Error: Unbound value Common.union_set Emil Medve 2015-01-05 21:54 ` Julia Lawall 2015-01-05 22:15 ` Emil Medve 2015-01-05 22:19 ` Julia Lawall 2015-01-05 22:50 ` Emil Medve 2015-01-06 10:09 ` Julia Lawall 2015-01-07 7:30 ` Emil Medve 2015-01-06 15:39 ` Sébastien Hinderer
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.