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 56EC87EE78 for ; Thu, 14 Apr 2016 09:49:51 +0200 (CEST) IronPort-PHdr: 9a23:uvI3jxOR1ftwxRW5pKol6mtUPXoX/o7sNwtQ0KIMzox0KPvyrarrMEGX3/hxlliBBdydsKIUzbeL+Pm6AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkb3vsMSJOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCmC/HYZQy0nmx5MBBCNuADzWpP2qgP1s+N83G+ROsigHp4uXjH33q5tTlfIgSILPjkk8SmDm8V2iuRbqRetrhtiwqbbZYiUMLx1eaaLLoBSfnZIQssED38JOYi7dYZaSrNZZes= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yann.hamdaoui@gmail.com; spf=Pass smtp.mailfrom=yann.hamdaoui@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f68.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yann.hamdaoui@gmail.com) identity=pra; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yann.hamdaoui@gmail.com designates 74.125.82.68 as permitted sender) identity=mailfrom; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@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-wm0-f68.google.com) identity=helo; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="postmaster@mail-wm0-f68.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ABAQCTSg9XkkRSfUpehA56qASHLYsMgXGGDgKBNzoSAQEBAQEBAQERAQEBAQcLCwkhL0ESAYFZghUBAQQSER0BGxwBAQMMBgULDQICBRYLAgIJAwIBAgEREQEFARwGDQgCHodxAQMSBKI9gTE+MYs2gWqCV4d9ChknDVGEUgEBAQEBAQEBAQEBAQEBAQEUAQUKBW2FJYRLhz+CVgEEmAmBVIw5gVEBh1oOhVaNai+BDicBgjEegVRqiDiBQgEBAQ X-IPAS-Result: A0ABAQCTSg9XkkRSfUpehA56qASHLYsMgXGGDgKBNzoSAQEBAQEBAQERAQEBAQcLCwkhL0ESAYFZghUBAQQSER0BGxwBAQMMBgULDQICBRYLAgIJAwIBAgEREQEFARwGDQgCHodxAQMSBKI9gTE+MYs2gWqCV4d9ChknDVGEUgEBAQEBAQEBAQEBAQEBAQEUAQUKBW2FJYRLhz+CVgEEmAmBVIw5gVEBh1oOhVaNai+BDicBgjEegVRqiDiBQgEBAQ X-IronPort-AV: E=Sophos;i="5.24,484,1454972400"; d="scan'208";a="214053383" Received: from mail-wm0-f68.google.com ([74.125.82.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Apr 2016 09:49:50 +0200 Received: by mail-wm0-f68.google.com with SMTP id l6so20300962wml.3 for ; Thu, 14 Apr 2016 00:49:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:cc:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding; bh=9LPxCjNwjjCNohNUmsSsWv5jkosKVdNzFq6qr/slgEQ=; b=mLhuvMBH+5y/iR8wFRYpWEWYRRqjwpvGPyU2W/XCGrtoiktFCSteILHFYPDK9riCgD wPqs/aimzzk9ydk/138TKGr+HQ/SOKYIT1hWD9g7iZ/uvIh9QktHUzrEFJie6LlQLu4O gR5XJBwkwk0ZwSoFuN7p/OpLNJmhm3b12vjYAtqiHXpzrZeDbWQzQC6mj7ccrXsQI4IJ OV97NcRQbuyKnPsM8MLIzI2hefKr5fnR7onTdNWJwcBVyEi11Wm/Mu++ekOjhh6LZoHL 7LT1glmsN8KNWsG3tRLfB+rtHfufNOXnyIyinRtdRxONNZQ/Nh9LwGjdjrSrQ5DTVhMu +4Rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:cc:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=9LPxCjNwjjCNohNUmsSsWv5jkosKVdNzFq6qr/slgEQ=; b=RyoOb0oQjzNg9riDOsIOryRSqgHE9mBrNDCeEY9IKoBsalDI2FXjGKg6L038/vNivl dFkzBtPMtSMl+cykFxfq00hUVecPXquP+bWzu5MALXMl5Pup5/K/6MGJUiq1Mdqz3IEm ISpyD5Txy8wbvBby7662TePj96+UWuNIbFzFCpWQ+mtNGRUqPUnCJct3rBHc6G0uLpGG sDG2zyGNRw0Tp40LtDTCYTvymJcFcrTj/G8KWrRQoup+yj7KxeLdIYCYytv9V79aKolO B2jQ4GP52fUHIkzAJsyfxT90PTyHksgpJrHwPR/EcoZKIZ7w8boxI3rerXvx88V4Exnd 8ZVA== X-Gm-Message-State: AOPr4FVwxV8Y9x0bAGiIuCw2GAwUB4jlu/xeD1fKWhLyl7x00PQ6UwkVQp5Qookb3adBqA== X-Received: by 10.28.211.75 with SMTP id k72mr14430286wmg.77.1460620190605; Thu, 14 Apr 2016 00:49:50 -0700 (PDT) Received: from [192.168.1.31] (ivr94-h06-89-95-212-250.dsl.sta.abo.bbox.fr. [89.95.212.250]) by smtp.gmail.com with ESMTPSA id cb2sm42519777wjc.16.2016.04.14.00.49.49 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 14 Apr 2016 00:49:49 -0700 (PDT) To: Jeremy Yallop References: <570EBA68.8010000@gmail.com> Cc: Caml List From: Yann Hamdaoui Message-ID: <570F4B9A.6080909@gmail.com> Date: Thu, 14 Apr 2016 09:49:46 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Inlined records don't work in toplevel On 14/04/2016 09:14, Jeremy Yallop wrote: > Perhaps you have an .ocamlinit file > that loads Camlp4 into the toplevel. Indeed ! Now it works. Thank you very much -- Y.H.