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=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 2302DBBAF for ; Fri, 25 Jul 2008 10:02:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAFgliUjAXQIm/2dsb2JhbACLGaY7 X-IronPort-AV: E=Sophos;i="4.31,252,1215381600"; d="asc'?scan'208";a="15480351" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Jul 2008 10:02:13 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6P82DlT026965 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 25 Jul 2008 10:02:13 +0200 X-IronPort-AV: E=Sophos;i="4.31,252,1215381600"; d="asc'?scan'208";a="27660464" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail4-relais-sop.national.inria.fr with SMTP; 25 Jul 2008 10:02:12 +0200 Received: by ausone.inria.fr (sSMTP sendmail emulation); Fri, _d Jul 2008 10:01:37 +0200 From: "Nicolas Pouillard" Cc: caml-list Subject: Re: [Caml-list] OCaml and Matlab To: Till Crueger References: <1798.131.220.243.225.1216889271.squirrel@webmail.iai.uni-bonn.de> <1216891332-sup-8191@ausone.inria.fr> In-Reply-To: Date: Fri, 25 Jul 2008 10:01:37 +0200 Message-Id: <1216972883-sup-4576@ausone.inria.fr> User-Agent: Sup/git Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=-1216972897-642303-61175-2108-4-="; micalg="pgp-sha1" MIME-Version: 1.0 X-Miltered: at discorde with ID 48898885.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 unbound:01 wrote:01 abstract:01 abstract:01 syntactic:01 matlab:01 caml-list:01 revised:02 X-Attachments: cset="UTF-8" type="application/pgp-signature" name="signature.asc" name="signature.asc" --=-1216972897-642303-61175-2108-4-= Content-Type: text/plain; charset=UTF-8 Excerpts from Till Crueger's message of Thu Jul 24 22:40:59 +0200 2008: > 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? They are. -- Nicolas Pouillard aka Ertai --=-1216972897-642303-61175-2108-4-= Content-Disposition: attachment; filename="signature.asc" Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.8 (Darwin) iEYEARECAAYFAkiJiGEACgkQj+FCNw9dwLlrAwCfWg/QYgdU8U/H/4aMztgcRjWk Zu0An2tbp5rIp79fybFSTE29gyAY96dK =J4+C -----END PGP SIGNATURE----- --=-1216972897-642303-61175-2108-4-=--