From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 66A877F30A for ; Wed, 27 Feb 2013 17:32:48 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8EAEM0LlHAbSoIe2dsb2JhbABFhk+2LYUbehYOAQEWJgQjgiABBSMEYgsJEQIFGgcCAg8FGIhXBKw/kmEVgQ6NNESCLTJhA44yiA6BH5EegTc X-IPAS-Result: At8EAEM0LlHAbSoIe2dsb2JhbABFhk+2LYUbehYOAQEWJgQjgiABBSMEYgsJEQIFGgcCAg8FGIhXBKw/kmEVgQ6NNESCLTJhA44yiA6BH5EegTc X-IronPort-AV: E=Sophos;i="4.84,747,1355094000"; d="scan'208";a="4738594" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Feb 2013 17:32:47 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178002249.adsl.alicedsl.de [85.178.2.249]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r1RGWkOq014678 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Wed, 27 Feb 2013 17:32:46 +0100 Received: by first (Postfix, from userid 1000) id 886DA15400E6; Wed, 27 Feb 2013 17:32:46 +0100 (CET) Date: Wed, 27 Feb 2013 17:32:46 +0100 From: oliver To: caml-list@inria.fr Message-ID: <20130227163246.GB6875@siouxsie> References: <20130227162405.GA6223@siouxsie> <20130227162640.GA6875@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20130227162640.GA6875@siouxsie> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] OCamlMakefile, file, ocamljobinfo, opam, ocamlbrew -> something does not fit together another added info: ------------------- oliver@siouxsie:~$ cd Programmierung/ANY-DL/any-dl oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ make clean && make rm -f any-dl any-dl.top cli.cmi parsetreetypes.cmi scriptparser.cmi scriptlexer.cmi parsers.cmi network.cmi main.cmi cli.cmo parsetreetypes.cmo scriptparser.cmo scriptlexer.cmo parsers.cmo network.cmo main.cmo cli.cmx parsetreetypes.cmx scriptparser.cmx scriptlexer.cmx parsers.cmx network.cmx main.cmx cli.asm parsetreetypes.asm scriptparser.asm scriptlexer.asm parsers.asm network.asm main.asm cli.s parsetreetypes.s scriptparser.s scriptlexer.s parsers.s network.s main.s cli.o parsetreetypes.o scriptparser.o scriptlexer.o parsers.o network.o main.o scriptlexer.ml scriptparser.mli scriptparser.ml any-dl.cma any-dl.cmxa any-dl.a any-dl.cmi any-dl.cmo any-dl.cmi any-dl.cmx any-dl.o cli.annot parsetreetypes.annot scriptparser.annot scriptlexer.annot parsers.annot network.annot main.annot .cmi .cmo .cmx .o dllany-dl_stubs.so rm -rf ._bcdi ._ncdi ._d ocamllex scriptlexer.mll 59 states, 586 transitions, table size 2698 bytes ocamlyacc -v scriptparser.mly make[1]: Entering directory `/home/oliver/Programmierung/ANY-DL/any-dl' ocamlfind ocamldep scriptparser.mli > ._bcdi/scriptparser.di ocamlfind ocamldep scriptparser.ml > ._d/scriptparser.d ocamlfind ocamldep scriptlexer.ml > ._d/scriptlexer.d ocamlfind ocamldep main.ml > ._d/main.d ocamlfind ocamldep network.ml > ._d/network.d ocamlfind ocamldep parsers.ml > ._d/parsers.d ocamlfind ocamldep parsetreetypes.ml > ._d/parsetreetypes.d ocamlfind ocamldep cli.ml > ._d/cli.d make[1]: Leaving directory `/home/oliver/Programmierung/ANY-DL/any-dl' make[1]: Entering directory `/home/oliver/Programmierung/ANY-DL/any-dl' ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c cli.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c parsetreetypes.ml File "parsetreetypes.ml", line 89, characters 28-1359: Warning P: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: (Show_tags|Title_extract) ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptparser.mli ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptparser.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptlexer.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c parsers.ml File "parsers.ml", line 57, characters 10-14: Warning Y: unused variable base. ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c network.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c main.ml File "main.ml", line 307, characters 78-89: Warning Y: unused variable max_col_idx. File "main.ml", line 306, characters 78-89: Warning Y: unused variable max_row_idx. File "main.ml", line 561, characters 55-803: Warning S: this expression should have type unit. File "main.ml", line 118, characters 8-9: Warning U: this match case is unused. ocamlfind ocamlc \ -package pcre,netstring,netsys,netclient,curl,xml-light -linkpkg \ -o any-dl \ cli.cmo parsetreetypes.cmo scriptparser.cmo scriptlexer.cmo parsers.cmo network.cmo main.cmo make[1]: Leaving directory `/home/oliver/Programmierung/ANY-DL/any-dl' oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ od -c ./any-dl |head 0000000 # ! / u s r / b i n / o c a m l 0000020 r u n \n T \0 \0 \0 343 003 \0 \0 ) \0 \0 \0 0000040 * \0 \0 \0 001 \0 \0 \0 \0 \0 \0 \0 V \0 \0 \0 0000060 016 \0 \0 \0 \0 \0 \0 \0 D \0 \0 \0 \v \0 \0 \0 0000100 C \0 \0 \0 \r \0 \0 \0 \f \0 \0 \0 2 \0 \0 \0 0000120 " \0 \0 \0 \v \0 \0 \0 @ \0 \0 \0 \0 \0 \0 \0 0000140 ( \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 ( \0 \0 \0 0000160 002 \0 \0 \0 ) \0 \0 \0 * \0 \0 \0 003 \0 \0 \0 0000200 003 \0 \0 \0 205 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 0000220 c \0 \0 \0 ( \0 \0 \0 004 \0 \0 \0 003 \0 \0 \0 oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ cd oliver@siouxsie:~$ source ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc oliver@siouxsie:~$ cd Programmierung/ANY-DL/any-dl oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ make clean && make rm -f any-dl any-dl.top cli.cmi parsetreetypes.cmi scriptparser.cmi scriptlexer.cmi parsers.cmi network.cmi main.cmi cli.cmo parsetreetypes.cmo scriptparser.cmo scriptlexer.cmo parsers.cmo network.cmo main.cmo cli.cmx parsetreetypes.cmx scriptparser.cmx scriptlexer.cmx parsers.cmx network.cmx main.cmx cli.asm parsetreetypes.asm scriptparser.asm scriptlexer.asm parsers.asm network.asm main.asm cli.s parsetreetypes.s scriptparser.s scriptlexer.s parsers.s network.s main.s cli.o parsetreetypes.o scriptparser.o scriptlexer.o parsers.o network.o main.o scriptlexer.ml scriptparser.mli scriptparser.ml any-dl.cma any-dl.cmxa any-dl.a any-dl.cmi any-dl.cmo any-dl.cmi any-dl.cmx any-dl.o cli.annot parsetreetypes.annot scriptparser.annot scriptlexer.annot parsers.annot network.annot main.annot .cmi .cmo .cmx .o dllany-dl_stubs.so rm -rf ._bcdi ._ncdi ._d ocamllex scriptlexer.mll 59 states, 586 transitions, table size 2698 bytes ocamlyacc -v scriptparser.mly make[1]: Entering directory `/home/oliver/Programmierung/ANY-DL/any-dl' ocamlfind ocamldep scriptparser.mli > ._bcdi/scriptparser.di ocamlfind ocamldep scriptparser.ml > ._d/scriptparser.d ocamlfind ocamldep scriptlexer.ml > ._d/scriptlexer.d ocamlfind ocamldep main.ml > ._d/main.d ocamlfind ocamldep network.ml > ._d/network.d ocamlfind ocamldep parsers.ml > ._d/parsers.d ocamlfind ocamldep parsetreetypes.ml > ._d/parsetreetypes.d ocamlfind ocamldep cli.ml > ._d/cli.d make[1]: Leaving directory `/home/oliver/Programmierung/ANY-DL/any-dl' make[1]: Entering directory `/home/oliver/Programmierung/ANY-DL/any-dl' ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c cli.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c parsetreetypes.ml File "parsetreetypes.ml", line 91, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 92, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 94, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 105, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 112, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 117, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 118, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 120, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 121, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 122, characters 20-21: Warning 28: wildcard pattern given as argument to a constant constructor File "parsetreetypes.ml", line 89, characters 28-1359: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: (Title_extract|Show_tags) ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptparser.mli ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptparser.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c scriptlexer.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c parsers.ml File "parsers.ml", line 57, characters 10-14: Warning 26: unused variable base. ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c network.ml ocamlfind ocamlc -package pcre,netstring,netsys,netclient,curl,xml-light -c main.ml File "main.ml", line 561, characters 55-803: Warning 10: this expression should have type unit. File "main.ml", line 118, characters 8-9: Warning 11: this match case is unused. File "main.ml", line 306, characters 78-89: Warning 26: unused variable max_row_idx. File "main.ml", line 307, characters 78-89: Warning 26: unused variable max_col_idx. ocamlfind ocamlc \ -package pcre,netstring,netsys,netclient,curl,xml-light -linkpkg \ -o any-dl \ cli.cmo parsetreetypes.cmo scriptparser.cmo scriptlexer.cmo parsers.cmo network.cmo main.cmo make[1]: Leaving directory `/home/oliver/Programmierung/ANY-DL/any-dl' oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ od -c ./any-dl |head 0000000 177 E L F 002 001 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 0000020 002 \0 > \0 001 \0 \0 \0 220 r @ \0 \0 \0 \0 \0 0000040 @ \0 \0 \0 \0 \0 \0 \0 240 D 005 \0 \0 \0 \0 \0 0000060 \0 \0 \0 \0 @ \0 8 \0 \t \0 @ \0 \0 035 \0 0000100 006 \0 \0 \0 005 \0 \0 \0 @ \0 \0 \0 \0 \0 \0 \0 0000120 @ \0 @ \0 \0 \0 \0 \0 @ \0 @ \0 \0 \0 \0 \0 0000140 370 001 \0 \0 \0 \0 \0 \0 370 001 \0 \0 \0 \0 \0 \0 0000160 \b \0 \0 \0 \0 \0 \0 \0 003 \0 \0 \0 004 \0 \0 \0 0000200 8 002 \0 \0 \0 \0 \0 \0 8 002 @ \0 \0 \0 \0 \0 0000220 8 002 @ \0 \0 \0 \0 \0 034 \0 \0 \0 \0 \0 \0 \0 oliver@siouxsie:~/Programmierung/ANY-DL/any-dl$ That 'file' might be buggy or too old, ok, could be. But I doubt that od will be so buggy that it confuses ocaml-bytecode and ELF-headers. That would mean the earth is flat again. Ciao, Oliver