From: oliver <oliver@first.in-berlin.de>
To: caml-list@inria.fr
Subject: Re: [Caml-list] OCamlMakefile, file, ocamljobinfo, opam, ocamlbrew -> something does not fit together
Date: Wed, 27 Feb 2013 17:32:46 +0100 [thread overview]
Message-ID: <20130227163246.GB6875@siouxsie> (raw)
In-Reply-To: <20130227162640.GA6875@siouxsie>
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
next prev parent reply other threads:[~2013-02-27 16:32 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-27 16:24 oliver
2013-02-27 16:26 ` oliver
2013-02-27 16:32 ` oliver [this message]
2013-02-27 16:40 ` oliver
2013-02-27 19:31 ` oliver
2013-02-27 20:39 ` Török Edwin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20130227163246.GB6875@siouxsie \
--to=oliver@first.in-berlin.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).