From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DD33B7F75C for ; Wed, 13 Aug 2014 20:47:52 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.219.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.219.46 as permitted sender) identity=mailfrom; client-ip=209.85.219.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f46.google.com) identity=helo; client-ip=209.85.219.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-oa0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4BAHey61PRVdsulGdsb2JhbABag19XBIJ2sm6XRodIAYEOCBYQAQEBAQcLCwkSK4QEAQEEEhEdARsdAQMMBgULDQICJgICIgERAQUBHAYTIogLAQMBBAwNpS5qiymBcoMQiicKGScNGE6EXhEBBQ6BHo1tMweCeYFTAQSSGIMrhnaBV5E1GCmFDzsvAQ X-IPAS-Result: Aq4BAHey61PRVdsulGdsb2JhbABag19XBIJ2sm6XRodIAYEOCBYQAQEBAQcLCwkSK4QEAQEEEhEdARsdAQMMBgULDQICJgICIgERAQUBHAYTIogLAQMBBAwNpS5qiymBcoMQiicKGScNGE6EXhEBBQ6BHo1tMweCeYFTAQSSGIMrhnaBV5E1GCmFDzsvAQ X-IronPort-AV: E=Sophos;i="5.01,857,1400018400"; d="scan'208";a="89246582" Received: from mail-oa0-f46.google.com ([209.85.219.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Aug 2014 20:47:52 +0200 Received: by mail-oa0-f46.google.com with SMTP id m1so131385oag.19 for ; Wed, 13 Aug 2014 11:47:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=+Yau9sV1L5+wtttCBFxDCeUBjnk1DV7dC1kz5NeY65w=; b=Qo1lkT9j6Zs3RdMP+Ww88lwlD1FGz21lhK/2h0iox2otiJztR5c63qJcSXICdw+8pb 3/Hp4gCXG+e38oBa7zvykB9WffHRuinTy2NWzeE613MAZhp/u9Hoz6BA3WUC54hdbJ81 fOkQghnk5gh1n3GFOMNZQtTeMm69FZf1Aa+QuzM9CDhSK/Tf/ZmTBXNW3KIK78lEVtOU Az+7dIDnOYbirHklI25/PQlqluZ7bEpF7lJAcwplKwCyDmGnit55ys+cVY24UjtUHGv6 yQv1nnI0ghxjBGEGwmdOOvruobOLcJJX0DGFy6iJyDeNsVzB5G6Vq0auwv0fmZc/iuIl Uaxw== X-Received: by 10.182.28.66 with SMTP id z2mr6849770obg.19.1407955671042; Wed, 13 Aug 2014 11:47:51 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.176.73 with HTTP; Wed, 13 Aug 2014 11:47:10 -0700 (PDT) In-Reply-To: <53EBB027.9090009@zoho.com> References: <53EB8484.5070907@le.ac.uk> <53EBB027.9090009@zoho.com> From: Gabriel Scherer Date: Wed, 13 Aug 2014 20:47:10 +0200 Message-ID: To: Drup Cc: Andrea Giugliano , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Parse error with camlp4 while sources compile Indeed, the manual says that modtype-name may be any identifier, not just a capitalized one: http://caml.inria.fr/pub/docs/manual-ocaml/names.html#modtype-name I've never seen any source code using this, though. On Wed, Aug 13, 2014 at 8:36 PM, Drup wrote: > Le 13/08/2014 18:28, Gabriel Scherer a =C3=A9crit : > >> Module type names, as module names, must start with an uppercase >> letter. Rename the signature into A or ASig, and you will be fine (for >> this particular error). > > In this case, camlp4 is wrong (and in my experience, it's often wrong ..). > Module type names can start with a lower case letter. > > # module type a =3D sig end ;; > module type a =3D sig end > > It's considered bad style, and is little know, since camlp4 get it wrong, > but it works. >