From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA03676; Thu, 13 May 2004 16:30:26 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA00575 for ; Thu, 13 May 2004 16:30:25 +0200 (MET DST) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4DEUNEV013227 for ; Thu, 13 May 2004 16:30:24 +0200 Organization: Dipartimento di Informatica Received: from nutella.di.unipi.it (nutella [131.114.3.146]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id i4DEUND26732 for ; Thu, 13 May 2004 16:30:23 +0200 Received: from localhost (trento@localhost) by nutella.di.unipi.it (8.11.6/8.9.1) with ESMTP id i4DEUJx01651 for ; Thu, 13 May 2004 16:30:19 +0200 X-Authentication-Warning: nutella.di.unipi.it: trento owned process doing -bs Date: Thu, 13 May 2004 16:30:19 +0200 (CEST) From: Claudio Trento To: caml-list@inria.fr Subject: [Caml-list] Porblem with Num module Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-4.854, necessario 3, AWL 0.05, BAYES_00 -4.90) X-Miltered: at nez-perce with ID 40A3867F.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; trento:99 trento:99 cmo:01 linking:02 module:03 module:03 undefined:04 probably:05 maybe:06 type:07 claudio:07 claudio:07 unipi:08 i've:09 something:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I`ve included the line "open Num" at the begin of my test.ml file to use the Num module. Maybe it's not enough because I've this type of error in cmpilation: "Error while linking test.cmo: Reference to undefined global `Num'" Probably I forget something, someone could say me where I mistake? Thanks, Claudio ------------------- 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