From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4A86F8239C for ; Sun, 11 Mar 2018 14:30:24 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of mail@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=mailfrom; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of postmaster@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=helo; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="postmaster@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Ah4H54BXUF4Ev7nxprLrITrZaquXV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxWEt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJwgqJVrhGvqRNxzIHbYp2aOvVlc6PBft4XX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TzoEEBrQegCgmuGejhzzhIhXDo2q05zu8sFgTG0xYhH9IKq3?= =?us-ascii?q?nUqc/6NLsMXuC31aXIzjLDb+hX2Tf+8oTIdA4uoe2VUL92bMHfylEvGhvYglif?= =?us-ascii?q?qYHpJS2Z2+oJvmSB7OdtW/ijh3M7pwxxujSj28Uhh4rTio8a1lzI7zt1zJorKd?= =?us-ascii?q?GiSUN2b9ipG4ZKuS6ALYt5WMYiTnlouCkkzr0Gvoa2fC0Qx5Q72RHfaeWLc4uP?= =?us-ascii?q?4hL4VeaRIi10hHR7d7Kjnxqy8E6gxfPgVsSszVpHoSpInsPSun0D0xHf8MuKR/?= =?us-ascii?q?Vn8ku8xTqC1xjf6uReLkA1karbJYQhwrk1lpcLtETMBC72mEHtga+TbEok5van?= =?us-ascii?q?6+b+brXloZ+cLI50igLkPqQohMO/Hfw0MhISUGiD5eS8yLrj8FXlT7pQi/02lr?= =?us-ascii?q?DVsJTbJcQAuq60GBRV04Ym6xanFTiqytUYnX8dLFJEYh2LlYbpO0udaMz/WPy2?= =?us-ascii?q?hlDplDZw29jHOKfgC9PDNCvtirDkKJN090NegCk0P1Vcr8ZRA7AFCPf6RkLz8d?= =?us-ascii?q?/fFR46dQq537C0W51GyooCVDfXUeeiO6TIvArQv7N9E6y3fIYQ/Q3FBb0g7v/q?= =?us-ascii?q?g2U+nAZCL6ygwZYVLXO/BfVlZUOUfSi324tTISIxpgM7CdfSphiaSzcKOCS3Vr?= =?us-ascii?q?4x5HQ4D5mnDsHFS5z/2OXcjhf+JYVfYyV9Mn7JEXrscNzbCfIFdC+QZ8xmiT0H?= =?us-ascii?q?E76sV9162A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZIgD5LqVa/2lT75FdHAEBAQQBAQoBA?= =?us-ascii?q?YNQaWyDeIsSkBaWR4UvAoMQHQkFMBMBAgEBAQEBAQEBAWongjgigkoGIw8BVgs?= =?us-ascii?q?aAiYCAlcTCAEBhRipUIImhG+DQyeCGoENhCiDAoMRgwWFIUyCPIJiBJpWCZBcg?= =?us-ascii?q?VqHOIVWknQ2IIFSewo6gkSER4xfAQEB?= X-IPAS-Result: =?us-ascii?q?A0CZIgD5LqVa/2lT75FdHAEBAQQBAQoBAYNQaWyDeIsSkBa?= =?us-ascii?q?WR4UvAoMQHQkFMBMBAgEBAQEBAQEBAWongjgigkoGIw8BVgsaAiYCAlcTCAEBh?= =?us-ascii?q?RipUIImhG+DQyeCGoENhCiDAoMRgwWFIUyCPIJiBJpWCZBcgVqHOIVWknQ2IIF?= =?us-ascii?q?Sewo6gkSER4xfAQEB?= X-IronPort-AV: E=Sophos;i="5.47,455,1515452400"; d="scan'208";a="257770136" Received: from 105.ip-145-239-83.eu (HELO matej-kosik.net) ([145.239.83.105]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Mar 2018 14:30:23 +0100 Received: from [192.168.1.11] (bband-dyn63.178-40-202.t-com.sk [178.40.202.63]) by matej-kosik.net (Postfix) with ESMTPSA id DB698226E1 for ; Sun, 11 Mar 2018 14:30:22 +0100 (CET) To: caml-list@inria.fr References: From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649; url=http://matej-kosik.net/doc/kosik.asc Message-ID: <97fc418b-c016-7a7f-77ae-3823bf4b8a12@matej-kosik.net> Date: Sun, 11 Mar 2018 14:30:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] a question about Ocaml toplevel behavior Here is ta simplified version of the original question: If I do: #use "topfind";; #require "compiler-libs.common";; Parse.implementation (Lexing.from_string "foo");; What I see is this: - : Parsetree.structure = [{Parsetree.pstr_desc = Parsetree.Pstr_eval ({Parsetree.pexp_desc = Parsetree.Pexp_ident ; pexp_loc = ; pexp_attributes = []}, []); pstr_loc = }] What confuses me is the presence of "" stuff. Why are they there? Why don't I see the actual Ocaml terms (which do not belong to abstract types)?