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