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 B61D97FA4D for ; Sat, 2 Aug 2014 11:23:04 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; 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@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEJAJus3FNQRFuw/2dsb2JhbABagw1SV4InrCMFBgUBboRhl2WIWRZ3hDETexMhBSiIegGgAqcLhXwviT6DGYEcBYYIiG6NDoFVkwuDTjwv X-IPAS-Result: AqEJAJus3FNQRFuw/2dsb2JhbABagw1SV4InrCMFBgUBboRhl2WIWRZ3hDETexMhBSiIegGgAqcLhXwviT6DGYEcBYYIiG6NDoFVkwuDTjwv X-IronPort-AV: E=Sophos;i="5.01,785,1400018400"; d="scan'208";a="88023997" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 02 Aug 2014 11:23:04 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.80) (envelope-from ) id 1XDVWo-0005Yd-HR for caml-list@inria.fr; Sat, 02 Aug 2014 10:23:02 +0100 Date: Sat, 2 Aug 2014 10:23:02 +0100 From: "Richard W.M. Jones" To: caml-list@inria.fr Message-ID: <20140802092302.GA21347@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] OCaml 4.02 & {| in comments I came across a strange problem when compiling Coq. The compiler grumbled about an unterminated string, but pointed me to a comment: (* between u v = {w|u<=w<=v, w canonical} *) This was a puzzle, but I added the following patch to Coq to fix it and moved on. ---------------------------------------------------------------------- --- coq-8.4pl4.old/kernel/univ.ml 2014-04-24 16:13:03.000000000 +0100 +++ coq-8.4pl4/kernel/univ.ml 2014-08-01 11:00:10.447233148 +0100 @@ -226,7 +226,7 @@ (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *) -(* between u v = {w|u<=w<=v, w canonical} *) +(* between u v = { w | u<=w<=v, w canonical } *) (* between is the most costly operation *) let between g arcu arcv = ---------------------------------------------------------------------- Today I was reading about the new ppx extensions, and now I understand that {| is the syntax used for quoted strings. Puzzle solved! However my question is: Is it a bug that the compiler complains about {| inside a comment? Rich. -- Richard Jones Red Hat