From: Richard Jones <rich@annexia.org>
To: caml-list@inria.fr
Subject: [Caml-list] ocamldep bug (probably)
Date: Mon, 11 Aug 2003 09:59:59 +0100 [thread overview]
Message-ID: <20030811085959.GA2238@redhat.com> (raw)
I have a file called main.ml which does:
open GMain (* from lablgtk2 *)
...
window#connect#destroy ~callback:Main.quit;
When ocamldep is run on this file, it generates a dependency which
looks like:
main.cmo: ... main.cmo ...
This is incorrect.
In this case the fix is reasonably simple, ie. just remove the 'open
GMain' line and replace the callback with an explicit
'GMain.Main.quit'. However in the general case this could cause all
sorts of unexplained errors.
Rich.
--
Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj
Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you.
PTHRLIB is a library for writing small, efficient and fast servers in C.
HTTP, CGI, DBI, lightweight threads: http://www.annexia.org/freeware/pthrlib/
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
reply other threads:[~2003-08-11 9:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=20030811085959.GA2238@redhat.com \
--to=rich@annexia.org \
--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