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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 04D97BC37 for ; Thu, 10 Dec 2009 12:56:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUCABdxIEtQDPJjfGdsb2JhbACEJZdBAQELCQoHEwWpQpAgg1lTBIFjgTWDPA X-IronPort-AV: E=Sophos;i="4.47,374,1257116400"; d="asc'?scan'208,217";a="38353360" Received: from smtp28.orange.fr ([80.12.242.99]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Dec 2009 12:56:50 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2828.orange.fr (SMTP Server) with ESMTP id 721EF800020D for ; Thu, 10 Dec 2009 12:56:50 +0100 (CET) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2828.orange.fr (SMTP Server) with ESMTP id 65BA980001FF for ; Thu, 10 Dec 2009 12:56:50 +0100 (CET) Received: from [192.168.1.2] (LAubervilliers-153-53-1-14.w217-128.abo.wanadoo.fr [217.128.128.14]) by mwinf2828.orange.fr (SMTP Server) with ESMTP id 325EA800020D for ; Thu, 10 Dec 2009 12:56:50 +0100 (CET) X-ME-UUID: 20091210115650206.325EA800020D@mwinf2828.orange.fr Subject: revised syntax for abstract types ? From: Serge Leblanc To: caml-list@yquem.inria.fr Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-4j7G1J3hVRkhtHiEElLZ" Date: Thu, 10 Dec 2009 12:56:44 +0100 Message-Id: <1260446204.22959.298.camel@serge2.localnet> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 X-Spam: no; 0.00; syntax:01 syntax:01 ocaml:01 camlp:01 gpg:01 3324:01 ocaml:01 camlp:01 gpg:01 3324:01 ubuntu:98 ubuntu:98 333399:98 333399:98 unbound:01 X-Attachments: cset="utf-8" type="application/pgp-signature" name="signature.asc" --=-4j7G1J3hVRkhtHiEElLZ Content-Type: multipart/alternative; boundary="=-cGks6ed2daXPqYJuA7Lc" --=-cGks6ed2daXPqYJuA7Lc Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi, the documentation for the revised syntax explain that abstract types are expressed by : type bar =3D 'a; but ocaml returns an error. # Objective Caml version 3.11.1 Camlp4 Parsing version 3.11.1 # type bar =3D 'a ; Error: Unbound type parameter 'a http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html Thanks, -- Serge Leblanc gpg --keyserver hkp://keyserver.ubuntu.com:11371 --recv-keys 0x33243C1B Fingerprint =3D 066C 005F 5595 D85C 7673 D969 1DD4 90C4 3324 3C1B --=-cGks6ed2daXPqYJuA7Lc Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Hi, the documentation for the revised syntax explain that abstract types ar= e expressed by :
type bar =3D 'a; but ocaml returns an error.


#
        Objective Caml version 3.11.1
Camlp4 Parsing version 3.11.1

# type bar =3D 'a ;
Error: Unbound type parameter 'a

http= ://caml.inria.fr/pub/docs/manual-camlp4/manual007.html

Thanks,
--
Serge Leblanc
gpg --keyserver  hkp://keyserver.ubuntu.com:11= 371 --recv-keys 0x33243C1B
Fingerprint =3D 066C 005F 5595 D85C 7673  D969= 1DD4 90C4 3324 3C1B
--=-cGks6ed2daXPqYJuA7Lc-- --=-4j7G1J3hVRkhtHiEElLZ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEABECAAYFAksg4fYACgkQHdSQxDMkPBuhtwCfVtz73S9LVM8WcFtBUOBugFdG NgoAoIKIqkpEb5GoIskGTJCIf0TGOb3F =4SBx -----END PGP SIGNATURE----- --=-4j7G1J3hVRkhtHiEElLZ--