From: "David Allsopp" <dra-news@metastack.com>
To: <caml-list@yquem.inria.fr>
Subject: RE: [Caml-list] 3.10.0 win xp mingw library path problems
Date: Fri, 24 Aug 2007 12:03:40 +0100 [thread overview]
Message-ID: <00ec01c7e63e$6dd0f4c0$6a7ba8c0@treble> (raw)
In-Reply-To: <1451ab01456394.14563941451ab0@net.lu.se>
> Hi,
>
> after installing ocaml-3.10.0-win-mgw.exe on WinXP
> the OCamlWinPlus v1.9RC4 says
>
> Objective Caml version 3.10.0
>
> # Big_int.big_int_of_int 32;;
> Reference to undefined global `Big_int'
You haven't loaded nums.cma - execute #load "nums.cma";;
> # Big_Int.big_int_of_int 32;;
> Wrong file naming: C:\Program2\ocaml\lib\big_Int.cmi
> contains the compiled interface for Big_int
OCaml requires the case of a module name to be the same as the interface
filename (.cmi) - even under windows - except that the first character may
be either lowercase or uppercase (presumably to allow for the difference in
general naming conventions under Windows/UNIX though I don't know the exact
history). When you tried Big_int.big_int_of_int before, OCaml knew what you
meant in terms of typing because big_int.cmi is in your OCaml lib directory
(it just couldn't actually run it because you hadn't loaded nums.cma which
contains the actual code in big_int.cmo). Saying Big_Int.foo requires
big_Int.cmi which doesn't exist and so causes the different error.
> Other libraries seem to work in OCamlWinPlus. However,
I've never OCamlWinPlus but...
> > Objective Caml version 3.08.1
I thought you were working with OCaml 3.10.0? Env.Error(_) is part of the
typing part of the compiler - I'm not sure, but I don't think that this
exception should make it to the toplevel! Is there something strange in your
.ocamlinit file or have you missed off part of the transcript? Or is your
OCAMLLIB pointing to the 3.10.0 lib rather than a 3.08.1 lib?
HTH,
David
prev parent reply other threads:[~2007-08-24 11:08 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-24 10:14 Marcus Uneson
2007-08-24 11:03 ` David Allsopp [this message]
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='00ec01c7e63e$6dd0f4c0$6a7ba8c0@treble' \
--to=dra-news@metastack.com \
--cc=caml-list@yquem.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