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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 86A15BBAF for ; Thu, 24 Jul 2008 22:40:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0AAPmFiEiD3AgEjWdsb2JhbACBWpB6AQEBAQkFCAUTn2o X-IronPort-AV: E=Sophos;i="4.31,248,1215381600"; d="scan'208";a="13428710" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jul 2008 22:40:58 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6OKew80009994 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 24 Jul 2008 22:40:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0AAPmFiEiD3AgEjWdsb2JhbACBWpB6AQEBAQkFCAUTn2o X-IronPort-AV: E=Sophos;i="4.31,248,1215381600"; d="scan'208";a="13428709" Received: from postfix.iai.uni-bonn.de ([131.220.8.4]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jul 2008 22:40:57 +0200 X-IAI-Env-From: : [212.201.72.136] Received: from reitoei.dyndns.info (pptp-212-201-72-136.pptp.stw-bonn.de [212.201.72.136]) by postfix.iai.uni-bonn.de (Postfix) with ESMTP id DCD265C82D for ; Thu, 24 Jul 2008 22:40:56 +0200 (MEST) (envelope-from crueger@informatik.uni-bonn.de) (envelope-to caml-list@inria.fr) (1) (internal use: ta=1, tu=1, te=1, am=L, au=crueger) Date: Thu, 24 Jul 2008 22:40:59 +0200 To: "caml-list@yquem.inria.fr" Subject: Re: [Caml-list] OCaml and Matlab From: "Till Crueger" Organization: =?iso-8859-15?Q?Universit=E4t_Bonn?= Content-Type: text/plain; format=flowed; delsp=yes; charset=iso-8859-15 MIME-Version: 1.0 References: <1798.131.220.243.225.1216889271.squirrel@webmail.iai.uni-bonn.de> <1216891332-sup-8191@ausone.inria.fr> Content-Transfer-Encoding: 7bit Message-ID: In-Reply-To: <1216891332-sup-8191@ausone.inria.fr> User-Agent: Opera Mail/9.50 (Linux) X-Miltered: at discorde with ID 4888E8DA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0200,:01 compiler:01 workarounds:01 syntax:01 syntax:01 mli:01 kann:98 dich:98 essen:98 unbound:01 wrote:01 abstract:01 abstract:01 syntactic:01 On Thu, 24 Jul 2008 11:23:27 +0200, Nicolas Pouillard wrote: >> So I am not at all surprised, that it won't work, because the 'a >> actually >> is unbound. Was this maybe possible with older versions of the compiler, >> or are there some workarounds, to get it working again? > > That's a syntactic over the revised syntax of abstract types, now > abstract > types are like in the original syntax: > > type mxArray; Ok, that was also my first guess, that occured to me afterwards. So I changed it to normal abstract types and fixed the .mli file. However, the problem still remains, because the types are the same way in the actuall implementation file. So it seems like there is more at work here, because abstract types are not possible in .ml files, or are they? -- Wenn du den Fnord nicht siehst, kann er dich auch nicht essen.