In pattern position you must write patterns, not expressions; this is a
different syntaxic class that, in particular, doesn't have any Module.foo
syntax.
Writing bound variable in pattern position and hoping that it will do an
equality test is a classic mistake. Even if you did "open Sys;;" then match
on "sigterm", it wouldn't do what you want. A correct way to do it:

  | pid, Unix.WSIGNALED sig when sig = Sys.sigterm -> ...

On Thu, Nov 18, 2010 at 3:59 PM, Philippe Strauss <philou@philou.ch> wrote:

> Hello caml'ers
>
> This one is short, I'm writting a signal handler:
>
> 205: let sig_exit () =
> 206:    Unix.kill !chpid Sys.sigterm ;
> 207:    match (Unix.waitpid [] !chpid) with
> 208:    | pid, Unix.WSIGNALED (Sys.sigterm) -> log `LOG_NOTICE "child
> terminated by parent"
> 209:    | pid, pstat -> log `LOG_ERR "child asked to terminate by parent,
> but unexpected process status received"
>
> and compilation chokes on:
>
> philou@air:~/mysrc/deconvolution/jackond$ make
> ocamlfind opt -thread -package
> unix,threads,netsys,netstring,netplex,rpc,equeue,jack,str,syslog -c
> patcher.ml -o patcher.cmx
> File "patcher.ml", line 208, characters 28-35:
> Error: Syntax error
> make: *** [patcher.cmx] Error 2
>
> replacing Sys.sigterm by -11 or signumber, it compiles fine.
>
> I don't get it.
>
> It's using ocaml 3.12 of godi, on osx 10.6.5, x86_64
>
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>