From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6BE7CBC69 for ; Fri, 24 Aug 2007 13:08:58 +0200 (CEST) Received: from anchor-post-33.mail.demon.net (anchor-post-33.mail.demon.net [194.217.242.91]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7OB8vBJ019593 for ; Fri, 24 Aug 2007 13:08:58 +0200 Received: from orion.metastack.com ([80.177.38.218]) by anchor-post-33.mail.demon.net with esmtp (Exim 4.42) id 1IOX25-0005Zv-CW for caml-list@yquem.inria.fr; Fri, 24 Aug 2007 11:08:55 +0000 Received: from treble (cpc2-cmbg6-0-0-cust535.cmbg.cable.ntl.com [81.107.34.24]) (authenticated bits=0) by orion.metastack.com (8.13.4/8.13.3) with ESMTP id l7OAm2Gl005253 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Fri, 24 Aug 2007 11:48:02 +0100 From: "David Allsopp" To: References: <1451ab01456394.14563941451ab0@net.lu.se> Subject: RE: [Caml-list] 3.10.0 win xp mingw library path problems Date: Fri, 24 Aug 2007 12:03:40 +0100 Organization: MetaStack Solutions Ltd. Message-ID: <00ec01c7e63e$6dd0f4c0$6a7ba8c0@treble> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 11 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3138 Thread-Index: AcfmNeJwHiVqQM3USmGt4v9BycrA1wABoX6w In-Reply-To: <1451ab01456394.14563941451ab0@net.lu.se> X-Miltered: at concorde with ID 46CEBC4A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mingw:01 ocaml-:01 ocamlwinplus:01 int':01 ocaml:01 lib:01 cmi:01 ocaml:01 cmi:01 lowercase:01 lib:01 cmo:01 foo:01 ocamlwinplus:01 compiler:01 > 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