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 38C927EE78 for ; Thu, 14 Apr 2016 09:14:33 +0200 (CEST) IronPort-PHdr: 9a23:fe6FhBwb4q6ybynXCy+O+j09IxM/srCxBDY+r6Qd0e0fIJqq85mqBkHD//Il1AaPBtWLra8ZwLOP4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZnqnLnrq9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4CjKSw3HxnIZXmwRjxsAVxnM6he8Xp70viL9q+tV1yyTPMmwRrcxD2eM9aBuHT3lkioCJnYI+WXTjdQ42LNSpBamvzRwxofVZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pKtJXV+c= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qg0-f54.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.192.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yallop@gmail.com designates 209.85.192.54 as permitted sender) identity=mailfrom; client-ip=209.85.192.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-qg0-f54.google.com) identity=helo; client-ip=209.85.192.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ChAABBQg9XkjbAVdFehAtuDwa8KBqFdAKBLwc7EQEBAQEBAQEBEQEBAQEHCwsJIS+CLYIUAQEBAwESER0BGx0BAwELBgULDQICJgICIQEBEQEFARwGEwgah3EBAwoIoieBMT4xizaBaoJXiAAKGScNUYRSAQEBAQEBAQMBAQEBARUBBQoFbYlwgkGEfoJWAQSXWDGFd4YhgXWCNYxbh0uGHxEegQ42giMegVM7MIl6AQEB X-IPAS-Result: A0ChAABBQg9XkjbAVdFehAtuDwa8KBqFdAKBLwc7EQEBAQEBAQEBEQEBAQEHCwsJIS+CLYIUAQEBAwESER0BGx0BAwELBgULDQICJgICIQEBEQEFARwGEwgah3EBAwoIoieBMT4xizaBaoJXiAAKGScNUYRSAQEBAQEBAQMBAQEBARUBBQoFbYlwgkGEfoJWAQSXWDGFd4YhgXWCNYxbh0uGHxEegQ42giMegVM7MIl6AQEB X-IronPort-AV: E=Sophos;i="5.24,483,1454972400"; d="scan'208";a="214045356" Received: from mail-qg0-f54.google.com ([209.85.192.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Apr 2016 09:14:30 +0200 Received: by mail-qg0-f54.google.com with SMTP id f105so58380311qge.2 for ; Thu, 14 Apr 2016 00:14:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=RGWyacLbpALjBveL2ylVFy+v/YKuOkhVYFHRvnAyJZU=; b=cb80bWXqGHAHSZEUgiLnzWSmKlSJEgajw+iw5TKUMF2Hnnld8xfnjUF24B5xFo3PYo V+qKsCZN3rWtLeJw4HKy+uGi+XQIPwiJJ7u3GEIAr+4PVjmOtPW07/ZdeiS6minSom+f NeF/9yw1TERM85q5dSvQR95zvYrVHpu10T5PpMpaOAxYFeYff9mzQjOvpE6bAyE5uQIN BD5brx87sGh6igyUezCOAx5UaWuDu5CQxxsT6aBdyI0pTfBTt7xcRGpMVgXOgATmdqoW wb2d3Ik9xKuwFejsHHSwV4/4uBilWY85qRTzDvKUaJtI6nfqZO0Lq2kNXu8mgM3q/X/z 2JJQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=RGWyacLbpALjBveL2ylVFy+v/YKuOkhVYFHRvnAyJZU=; b=SUN/u6tut15B1dgBGOr9jRmAyD4vFG8RyHGcjM7u44/vcgW1/BDw1f6t8tYDJCtOt+ L3j9A27cwpaec1NpzbwpzAA2VgVUCrTu0v/a2ZE5oZ1S4xPSsPmKfekWPx5zVNwT88+h hHXoogjES6cHK+OGlfXQduoNpNeZ5F3NB1QqNET+Bu94IW07oz2w6RKrPkCw7FDNYo8N gLruoB2o657Gb9Z2uTALUuOIaF5+BALLczemR6gO0jtRWTUeDFzPe4kWxhkkYHcWEWKE GbSZ0YlaD2qU3BKdCz/NWJiV4YEkru3j+Elzfi4x4xQx6V3J+aVpP9JrmE2CMsZgSwzV LT1g== X-Gm-Message-State: AOPr4FWKmpUXxq7GV+s1B97Tf64gmp2YMnhgTIgidRAlVIEtQHATMYYqPhqXqVro0XX6vHgIP21GXVjgkOh4Fw== MIME-Version: 1.0 X-Received: by 10.140.153.135 with SMTP id 129mr17099327qhz.38.1460618068996; Thu, 14 Apr 2016 00:14:28 -0700 (PDT) Received: by 10.55.164.206 with HTTP; Thu, 14 Apr 2016 00:14:28 -0700 (PDT) In-Reply-To: <570EBA68.8010000@gmail.com> References: <570EBA68.8010000@gmail.com> Date: Thu, 14 Apr 2016 08:14:28 +0100 Message-ID: From: Jeremy Yallop To: Yann Hamdaoui Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Inlined records don't work in toplevel Dear Yann, On 13 April 2016 at 22:30, Yann Hamdaoui wrote: > 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) The error is coming from Camlp4. Perhaps you have an .ocamlinit file that loads Camlp4 into the toplevel. It appears that Camlp4's parser, at least in the version you have installed, doesn't support the inlined record syntax. > However if I put the code in a file test.ml Running ocaml with a filename as argument doesn't run .ocamlinit files, so Camlp4 is not loaded and the standard OCaml parser is used instead. Kind regards, Jeremy.