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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 504217EE78 for ; Wed, 13 Apr 2016 23:30:19 +0200 (CEST) IronPort-PHdr: 9a23:XnkbXRFeqY5hM9y6OeaAm51GYnF86YWxBRYc798ds5kLTJ75o82wAkXT6L1XgUPTWs2DsrQf27qQ7v2rATdIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6bvptaLOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JY2wQlFJoCg3J5RbnX9+loyL8sKx90SyWNMrrTJg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail3-smtp-sop.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-f43.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.hamdaoui@gmail.com) identity=pra; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yann.hamdaoui@gmail.com designates 74.125.82.43 as permitted sender) identity=mailfrom; client-ip=74.125.82.43; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f43.google.com) identity=helo; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="postmaster@mail-wm0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DWAQAjuQ5XiytSfUpehAoDeqgbBAOHLYx9Goc0PBABAQEBAQEBAREBAQEICwsJHzFBEgGBWYItEQQZARscAgMSEA8CBRYLAgsDAgECARERAQUBLwgCHodxAQMSBKB7ggeBMT4xizaBaoJXiAcKGScNUYRSAQsYAQUKBW2FJYlWgjSCVgWYCIEtJ4QjiBaBUWSGdw6FVo1qL4EON4JAgVRqhkqDMAEBAQ X-IPAS-Result: A0DWAQAjuQ5XiytSfUpehAoDeqgbBAOHLYx9Goc0PBABAQEBAQEBAREBAQEICwsJHzFBEgGBWYItEQQZARscAgMSEA8CBRYLAgsDAgECARERAQUBLwgCHodxAQMSBKB7ggeBMT4xizaBaoJXiAcKGScNUYRSAQsYAQUKBW2FJYlWgjSCVgWYCIEtJ4QjiBaBUWSGdw6FVo1qL4EON4JAgVRqhkqDMAEBAQ X-IronPort-AV: E=Sophos;i="5.24,481,1454972400"; d="scan'208";a="174180029" Received: from mail-wm0-f43.google.com ([74.125.82.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Apr 2016 23:30:18 +0200 Received: by mail-wm0-f43.google.com with SMTP id u206so98776184wme.1 for ; Wed, 13 Apr 2016 14:30:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=BFKPxFoCPcs2FRrIT10XWpx9Uu+cF2YkFZe5MrGTf7g=; b=vmG06VYNzRgNSJukXYBqXJ/4tAI9doi5vrk92Oif05omWNJQcesMW37F3yVJCWuTfG XwnIW6lLW+978iMZ3qhl6T+1QgkZDPmI9fBYDC0rk2AZdR4QUCCCIMHJk23afw2jQaps GsMgyEtptDgcX8B7lvRry8doVYJ3Wx3mdAftjvwl0fPOHayjny6FlyW7/GXSWmWPfhBI Tczw5esrvMa/+rdfSBCniKwY4ApwCdN4OY9/gBmetopOIsqSM4j5qgUcpxiQarpMitxk TKNgFEc1/n7DxGuD7PjZl8qP0uPT6rfsJlueKka1QewUK6sZ9a97VV+ayrCnh+n40fUs nTeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=BFKPxFoCPcs2FRrIT10XWpx9Uu+cF2YkFZe5MrGTf7g=; b=dqSQHP+0ge0PwpMOxKhq0aa+o5Ko/w1QAvgY+4Dj9plYuC0fu8ht82IFAFju5htYdn eai7k298NFPFlk83tZhIiBo+n7D1io0qDpxFq63A0/kUDYbFD59poPeejTANQaE94MjS +8yuG2ObEP1c/+f/KNZHa1xRQA+7YYpBAlOPGkuUqwv4sFddhVdxpYG5Frz19S9stuLA KlHPZrMW/Qhgf8Zmg1tTseny67F7+tS0zhTsCCHaGzmKgbKQLHwy3JAcTNgChNQMCnZ9 xMCrf5nrQVZnaTKj1ItHe5eTJETGrbVKfYqpBFS81ACWuZBHoLm54udQspFC/sp4FVON OwWw== X-Gm-Message-State: AOPr4FX+UTWD7LM/tqZfo7H5dhgD9z6sYeZpEPE+uBn1vYb6A6BTsllBnNvzqjz0WLVX7w== X-Received: by 10.194.134.73 with SMTP id pi9mr11708692wjb.156.1460583018467; Wed, 13 Apr 2016 14:30:18 -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 w8sm40615185wjf.19.2016.04.13.14.30.17 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 13 Apr 2016 14:30:17 -0700 (PDT) To: caml-list@inria.fr From: Yann Hamdaoui Message-ID: <570EBA68.8010000@gmail.com> Date: Wed, 13 Apr 2016 23:30:16 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Inlined records don't work in toplevel Dear list, I tried to test inlined records for type constructors with 4.03.0+trunk+flambda in the toplevel and the syntax seems not to be recognized : %ocaml OCaml version 4.03.0+dev18-2016-04-01 [....] # type t = A of int;; type t = A of int # type t' = B of {x : int};; Error:Parse error: [str_item] or ";;" expected (in [top_phrase]) (the A is underlined) However if I put the code in a file test.ml type t = A of {x : int} let a = A {x=5} let () = match a with A r -> print_int r.x and run %ocaml test.ml 5 everything goes fine. Am I missing something ? -- Y.H