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 OAA12153; Sat, 1 Jun 2002 14:13:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA11914 for caml-list@pauillac.inria.fr; Sat, 1 Jun 2002 14:13:21 +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 AAA02941 for ; Sat, 1 Jun 2002 00:02:42 +0200 (MET DST) Received: from abel (nat.umh.ac.be [193.190.193.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4VM2fn07078 for ; Sat, 1 Jun 2002 00:02:41 +0200 (MET DST) Received: from abel ([127.0.0.1] helo=localhost ident=trch) by abel with esmtp (Exim 3.35 #1 (Debian)) id 17DuUw-00069z-00; Sat, 01 Jun 2002 00:03:50 +0200 Date: Sat, 01 Jun 2002 00:03:49 +0200 (CEST) Message-Id: <20020601.000349.95746662.Christophe.Troestler@umh.ac.be> To: oandrieu@nerim.net Cc: caml-list@inria.fr Subject: Re: [Caml-list] about Obj.magic From: Christophe TROESTLER In-Reply-To: <15607.48028.50986.375950@karryall.dnsalias.org> References: <20020531225840C.garrigue@kurims.kyoto-u.ac.jp> <20020531.181936.55316303.debian00@tiscalinet.be> <15607.48028.50986.375950@karryall.dnsalias.org> Organization: Universite de Mons-Hainaut X-URL: http://www.umh.ac.be/math/an/ X-PGP-Fingerprint: CD33 D53D ED2B 6BE5 9018 6867 AD21 AA3F 9028 12D0 X-Spook: government SSL Uzi Leuken-Baden RSA corporate security EuroFed president wire transfer red noise X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 2.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 31 May 2002, Olivier Andrieu wrote: > > Christophe TROESTLER [Friday 31 May 2002] : > > Is there any safe way to check whether a "kind : ('a, 'b) > > Bigarray.kind" parameter is "float64", "complex64",... or are we bound > > to do > > kind = (Obj.magic float64 : ('a, 'b) Bigarray.kind) > > I'm not sure if that's what you mean but in the CVS version, there are > new functions like Genarray.kind : > external kind: ('a, 'b, 'c) t -> ('a, 'b) kind = "bigarray_kind" I mean e.g., let create kind = if kind = (Obj.magic float64 : ('a, 'b) Bigarray.kind) then ... fun a -> ... something ... else ... fun a -> ... something else ... where you have to imagine [a] as being a bigarray of kind [kind]. ChriS ------------------- 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