On Mon, 27 Feb 2012, Cyril Roelandt wrote:

On 02/27/2012 07:06 PM, ron minnich wrote:
I've not had much luck building on osx. The latest problem is this:

ocamlc  -I ../commons -I ../commons/ocamlextra -I ../globals -I
../menhirlib -c lexer_cocci.ml
File "lexer_cocci.mll", line 534, characters 3-40:
Error: The constructor TPArob expects 0 argument(s),
        but is applied here to 1 argument(s)


I don't think this error is linked to OSX. I have the exact same error on Debian testing.

Patching coccinelle like this :

diff --git a/parsing_cocci/lexer_cocci.mll b/parsing_cocci/lexer_cocci.mll
index df59d87..f555c4f 100644
--- a/parsing_cocci/lexer_cocci.mll
+++ b/parsing_cocci/lexer_cocci.mll
@@ -531,7 +531,7 @@ rule token = parse
          if !Data.in_rule_name or not !current_line_started
          then (start_line true; TArob)
          else (check_minus_context_linetype "@";
-                TPArob (get_current_line_type lexbuf)) }
+                TPArob ) }

  | "=~"  { start_line true; TTildeEq (get_current_line_type lexbuf) }
  | "!~" { start_line true; TTildeExclEq (get_current_line_type lexbuf) }

leads to this error :

File "lexer_cocci.mll", line 534, characters 3-9:
Error: The constructor TPArob expects 1 argument(s),
      but is applied here to 0 argument(s)


which is quite funny.


A colleague who knows OCaml tried to fix this, and finally got it working, without really knowing how. Running "git diff" shows a 30927 line patch : parsing_cocci/parser_cocci_menhir.ml and parsing_cocci/parser_cocci_menhir.mli were modified. I believe they are generated files.

They are generated files. They seem not to have gotten updated with the release of rc10. I will try to figure out why.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to