From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 0AAC1BB81 for ; Wed, 28 Sep 2005 14:46:45 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8SCkii6009680 for ; Wed, 28 Sep 2005 14:46:44 +0200 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 OAA15206 for ; Wed, 28 Sep 2005 14:46:43 +0200 (MET DST) Received: from mx.laposte.net (mx.laposte.net [81.255.54.11]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8SCkhu2026075 for ; Wed, 28 Sep 2005 14:46:43 +0200 Received: from smtp.laposte.net (10.150.9.37) by mx.laposte.net (7.2.060.1) id 4329511C0089A5C9 for caml-list@inria.fr; Wed, 28 Sep 2005 14:46:43 +0200 Received: from laposte.net (10.150.9.77) by smtp.laposte.net (7.2.056.5) id 433A63B70002551D for caml-list@inria.fr; Wed, 28 Sep 2005 14:46:43 +0200 Date: Wed, 28 Sep 2005 14:46:42 +0200 Message-Id: Subject: Bigarray and polymorphic functions MIME-Version: 1.0 X-Sensitivity: 3 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable From: "matthieu.dubuget" To: "caml-list" X-XaM3-API-Version: 4.1 (B103) X-SenderIP: 127.0.0.1 X-Miltered: at nez-perce with ID 433A90B4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 433A90B3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bigarray:01 matthieu:01 dubuget:01 matthieu:01 dubuget:01 polymorphic:01 polymorphic:01 assert:01 compile:01 functions:01 functions:01 int:01 int:01 argument:01 match:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Is it possible to write polymorphic functions with Bigarray's as argument? Something like let p b =3D match Array1.kind b with int8_signed -> "first case" |int8_unsigned -> "second case" | _ -> assert false but which could compile? After some tries, I was not able to find any solution. Salutations Matthieu=0A=0AAcc=E9dez au courrier =E9lectronique de La Poste : www.lapo= ste.net ; =0A3615 LAPOSTENET (0,34=80/mn) ; t=E9l : 08 92 68 13 50 (0,34=80= /mn)=0A=0A