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 B13907EE78 for ; Thu, 14 Apr 2016 09:01:38 +0200 (CEST) IronPort-PHdr: 9a23:xAyU/x2/fvr+YgNXsmDT+DRfVm0co7zxezQtwd8ZsegVIvad9pjvdHbS+e9qxAeQG96Lu7QZ1qGP6vqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34LqiqvrosebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKszE5SCNeshdSGUKNuBT7RYv8qCv3rPBV1jOXMMv7UfY4VGLxvO9QVBb0hXJfZHYC+2bNh5kogQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=misterherr@freenet.de; spf=None smtp.mailfrom=misterherr@freenet.de; spf=None smtp.helo=postmaster@mout3.freenet.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout3.freenet.de) identity=helo; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout3.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CgAABRPw9Xk11cBMNegwx/fagDlCoahXQCgTY7EQEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEIwRREQsYAgIFFgsCAgkDAgECAUUTCAEBiA8BFgMBr3qMRAmBKwGERQELHnyJcIULgjSCVgWYCQGFdopLhwEEhVaPJzaCQYFUaol6AQEB X-IPAS-Result: A0CgAABRPw9Xk11cBMNegwx/fagDlCoahXQCgTY7EQEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEIwRREQsYAgIFFgsCAgkDAgECAUUTCAEBiA8BFgMBr3qMRAmBKwGERQELHnyJcIULgjSCVgWYCQGFdopLhwEEhVaPJzaCQYFUaol6AQEB X-IronPort-AV: E=Sophos;i="5.24,483,1454972400"; d="scan'208";a="174236140" Received: from mout3.freenet.de ([195.4.92.93]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Apr 2016 09:01:38 +0200 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout3.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1aqbHU-0007tR-F3 for caml-list@inria.fr; Thu, 14 Apr 2016 09:01:36 +0200 Received: from localhost ([::1]:60155 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1aqbHU-0003Mk-AW for caml-list@inria.fr; Thu, 14 Apr 2016 09:01:36 +0200 Received: from mx12.freenet.de ([195.4.92.22]:47075) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1aqbFK-0000If-Qb for caml-list@inria.fr; Thu, 14 Apr 2016 08:59:22 +0200 Received: from x50abaf3d.dyn.telefonica.de ([80.171.175.61]:42060 helo=suse132-intel.home.loc) by mx12.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1aqbFK-0003WW-JI for caml-list@inria.fr; Thu, 14 Apr 2016 08:59:22 +0200 To: caml-list@inria.fr References: <570EBA68.8010000@gmail.com> From: "Mr. Herr" Message-ID: <570F3FC9.3080001@freenet.de> Date: Thu, 14 Apr 2016 08:59:21 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 MIME-Version: 1.0 In-Reply-To: <570EBA68.8010000@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originated-At: 80.171.175.61!42060 Subject: Re: [Caml-list] Inlined records don't work in toplevel On 13.04.2016 23:30, Yann Hamdaoui wrote: > 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 ? > most recent version is beta2 AFAIK, this case is okay - protocol: strobel@suse132-intel:~> ocamli OCaml version 4.03.0+beta2 # type t = A of int;; type t = A of int # type t' = B of {x : int};; type t' = B of { x : int; } # /Str.