From: briand@aracnet.com
To: caml-list@pauillac.inria.fr
Date: Mon, 23 Aug 2004 13:27:19 -0700
Message-ID: <16682.21287.26129.98212@soggy.deldotd.com> (raw)
This is a really weird user experience :
~/src/ocaml/math $ ocaml
Objective Caml version 3.08.0
# #load "const.cmo";;
# Const.pi
;;
- : float = 3.14159265358979312
#
Great, so that works as per the manual...
So then I change into another directory and load the EXACT SAME file.
~/src/ocaml/math $ cd ..
~/src/ocaml $ cd pll
~/src/ocaml/pll $ ocaml
Objective Caml version 3.08.0
# #load "../math/const.cmo";;
# Const.pi;;
Unbound value Const.pi
Huh ??
Brian
-------------------
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
next reply index
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-23 20:27 briand [this message]
2004-08-23 20:36 ` [Caml-list] Re : [path directives] Jean-Baptiste Rouquier
2004-08-24 1:41 ` briand
2004-08-24 1:54 ` Jacques GARRIGUE
2004-08-25 18:54 ` briand
2004-08-24 9:09 ` [Caml-list] Damien Doligez
Reply instructions:
You may reply publically 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=16682.21287.26129.98212@soggy.deldotd.com \
--to=briand@aracnet.com \
--cc=caml-list@pauillac.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
caml-list - the Caml user's mailing list
Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list
AGPL code for this site: git clone https://public-inbox.org/ public-inbox