From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 14F80800B6 for ; Sun, 1 Jan 2017 20:25:38 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=manfred.lotz@arcor.de; spf=Pass smtp.mailfrom=manfred.lotz@arcor.de; spf=None smtp.helo=postmaster@mail-in-07.arcor-online.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of manfred.lotz@arcor.de) identity=pra; client-ip=151.189.21.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manfred.lotz@arcor.de"; x-sender="manfred.lotz@arcor.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of manfred.lotz@arcor.de designates 151.189.21.47 as permitted sender) identity=mailfrom; client-ip=151.189.21.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manfred.lotz@arcor.de"; x-sender="manfred.lotz@arcor.de"; 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-in-07.arcor-online.net) identity=helo; client-ip=151.189.21.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manfred.lotz@arcor.de"; x-sender="postmaster@mail-in-07.arcor-online.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxHUPJBQ39iEGkfzGcgVBm+8waNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YxCN2/xhgRfzUJnB7Loc0qyN4vymAT1LuMrc+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/hKiO/MjYagBMwT68eq9aLROsrAyXuNNFr5FlL/MUwx3HuHZEM8?= =?us-ascii?q?BR2XEgcVeamRjm68v2+Jl/4QxZofkm7YhMXPOpLOwDUbVEAWF+YCgO78rxuEyb?= =?us-ascii?q?QA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ATAACDVmlYhy8VvZddGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgmclAQEBAQGCCo5Jk1GHe40gggiGIgKBX0A?= =?us-ascii?q?TAQEBAQEBAQEBAQESAQEBCA0JCR0wgjMYgh4BAQMBEigGAQE4BAsLISUPEjYZI?= =?us-ascii?q?ogyAQMQCQOlE4lFgw2DCAEBBYNKAkgFCIMJASkIhkWEYYJOgkSFFZpNNYF6i0u?= =?us-ascii?q?DbIFqAYhBhjaJc4hKIAGBPVGDVCCBanGIPgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ATAACDVmlYhy8VvZddGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgmclAQEBAQGCCo5Jk1GHe40gggiGIgKBX0ATAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCA0JCR0wgjMYgh4BAQMBEigGAQE4BAsLISUPEjYZIogyAQMQCQOlE4l?= =?us-ascii?q?Fgw2DCAEBBYNKAkgFCIMJASkIhkWEYYJOgkSFFZpNNYF6i0uDbIFqAYhBhjaJc?= =?us-ascii?q?4hKIAGBPVGDVCCBanGIPgEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,432,1477954800"; d="scan'208";a="252454699" Received: from mail-in-07.arcor-online.net ([151.189.21.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 01 Jan 2017 20:25:37 +0100 Received: from mail-in-11-z2.arcor-online.net (mail-in-11-z2.arcor-online.net [151.189.8.28]) by mx.arcor.de (Postfix) with ESMTP id 3ts9Ch1rNCzBqp5 for ; Sun, 1 Jan 2017 20:25:36 +0100 (CET) Received: from mail-in-05.arcor-online.net (mail-in-05.arcor-online.net [151.189.21.45]) by mail-in-11-z2.arcor-online.net (Postfix) with ESMTP id 3A0233269FF for ; Sun, 1 Jan 2017 20:25:36 +0100 (CET) X-Greylist: Passed host: 93.208.60.68 X-DKIM: Sendmail DKIM Filter v2.8.2 mail-in-05.arcor-online.net 3ts9Ch19LDzrY4 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=arcor.de; s=mail-in; t=1483298736; bh=jpiQhOk8TLL0JcXqYeWkftEBMF2rf6z7ek9WqYbeFrQ=; h=Date:From:To:Subject:Message-ID:In-Reply-To:References: MIME-Version:Content-Type:Content-Transfer-Encoding; b=SQsq/2f/yDPBFt55+mnzXqqhntVjNkr4Ct5CtOqXPrSwuq5YNIYFNluOpA87N40il rUY4RHEecaCxnSgVUZRy/vIX9FJL16cufbfKV1oDbidliUeIBYDlu++2au0eZQyq9t 2iAJE4IwJRkrTsFWHjltLKksvBGza76rFs1q2OQg= Received: from hogwart (p5dd03c44.dip0.t-ipconnect.de [93.208.60.68]) (Authenticated sender: manfred.lotz@arcor.de) by mail-in-05.arcor-online.net (Postfix) with ESMTPA id 3ts9Ch19LDzrY4 for ; Sun, 1 Jan 2017 20:25:36 +0100 (CET) Received: from hogwart.bsdlocal.net (localhost [IPv6:::1]) by hogwart (Postfix) with ESMTP id 13687E3AE1 for ; Sun, 1 Jan 2017 20:25:34 +0100 (CET) Date: Sun, 1 Jan 2017 20:25:34 +0100 From: Manfred Lotz To: caml-list@inria.fr Message-ID: <20170101202534.11ed3411@hogwart.bsdlocal.net> In-Reply-To: References: <20170101152022.GA1291@Magus.localnet> X-Mailer: Claws Mail 3.14.1 (GTK+ 2.24.31; x86_64-redhat-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] ANN: BER MetaOCaml N104, for OCaml 4.04.0 On Sun, 1 Jan 2017 11:03:56 -0500 Gabriel Scherer wrote: > In my book, (e [@attr]) is supposed to be an OCaml term > that behaves as the expression (e), with some extra (tooling- or > optimization- related) expression of intent. I see you mentioning 'my book' for the second time. Where is your book to be found? -- Manfred