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 IAA13301; Wed, 12 May 2004 08:31:52 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA14210 for ; Wed, 12 May 2004 08:31:51 +0200 (MET DST) From: briand@aracnet.com Received: from citrine.spiritone.com (citrine.spiritone.com [216.99.193.133]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4C6VnSH009436 for ; Wed, 12 May 2004 08:31:50 +0200 Received: from soggy.deldotd.com (216-99-206-32.cust.aracnet.com [216.99.206.32]) by citrine.spiritone.com (8.12.10/8.12.8) with ESMTP id i4C6VmrF030177 for ; Tue, 11 May 2004 23:31:48 -0700 Received: from briand by soggy.deldotd.com with local (Exim 3.36 #1 (Debian)) id 1BNnHQ-0001t2-00 for ; Tue, 11 May 2004 23:31:48 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16545.50388.591926.577605@soggy.deldotd.com> Date: Tue, 11 May 2004 23:31:48 -0700 To: caml-list@inria.fr Subject: [Caml-list] 'b is unbound X-Mailer: VM 6.92 under Emacs 21.2.1 X-Miltered: at concorde with ID 40A1C4D5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; bigarray:01 bigarray:01 float:02 float:02 unbound:02 unbound:02 unit:03 unit:03 explicitly:03 constructor:03 argument:03 layout:04 array:04 array:04 64,:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm getting the following error: method op : (float, 'a, 'b) Bigarray.Array2.t -> float array -> float array -> unit end The method op has type (float, 'a, 'b) Bigarray.Array2.t -> float array -> float array -> unit where 'b is unbound Is 'b really unbound, or is the inferencer simply unable to figure out what the type should be ? I tried explicitly setting the type for the first argument, but could not create a type which would not give me some sort of error, e.g. method op (j: (float, Bigarray.float64, Bigarray.c_layout) Bigarray.Array2.t) ... gives me an error : Unbound type constructor Bigarray.float64 Any help appreciated... 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