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 B4FCB8239C for ; Sun, 11 Mar 2018 16:07:13 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout10.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of nicolas.ojeda.bar@lexifi.com is inclined to not designate 185.56.204.32 as permitted sender) identity=mailfrom; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.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@vrout10.yaziba.net) identity=helo; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrout10.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AS8RZNhPbGHcK0aG3PRgl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/j+rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7Tfc4BRWpZQMleSzBBDI27?= =?us-ascii?q?b4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xa810+ohHw/I3wIuAswAv2?= =?us-ascii?q?jbotjuKKcSSPq4wLXUwTnfbf5b3yr25ojSchAmpPGBRap+ccvNxkkoEwPCjE6Q?= =?us-ascii?q?ppT8MTOXyOsCrnKU4PJ9WOWqkW4stgZ8oj6uxsgwjYnJgpgaykve+SV+woY6O8?= =?us-ascii?q?C3R1RhbdG/CpRQrTqXN49oTcItQmFotic6xqcatp68eSgH0ZIqzAPRZfyAdoiH?= =?us-ascii?q?+BPjVOCJLDd5gnJlYrO/iAyo/Uiu0O3wTsm130xKripCldnArGwC1xvW6sWBV/?= =?us-ascii?q?Bz/V+h1C6S2w3Q6uxIO0A5mKvBJ5I/3rI9mYAfvErdEiPumkj7g7Waelg69uWo?= =?us-ascii?q?8ejqYavqqoWBO4J2igzzNLkllNalDuQiKAcOWnCW+eSi273n+k30WKtKjucxkq?= =?us-ascii?q?nErJDWONgXqrS5AgBP04cj6g2wAC283NQeg3YHMEpJeBOBj4f3J1HDOO30APS/?= =?us-ascii?q?jli2kDpmxurKMqP9DpjCNHTOnqntca5460FGyQozyd5f54hTCrEEOP/zXE7xu8?= =?us-ascii?q?DfDh89KQO02PzrCNJ/1owARG2AGLWVP7jIvl+S/e8vJ/eDZYAUuDbzKvgp/eLh?= =?us-ascii?q?jXg8mVMFZ6mmwYMXaGykHvRhO0iWfWDjgtIFEWsTugo+TffqiEGZXD5IZ3eyWr?= =?us-ascii?q?o86SshBIKnC4fDXIGtj6ab0Ce1BJ1afmVGCleRHnj2b4iEQPIMaD6KIs9mjzwE?= =?us-ascii?q?Sevpd4h08BiyuQ2y6L2Vq+mcrigRtJbL0dFp6u+WlhYp9D8yCcmBhTKjVWZxy0?= =?us-ascii?q?UJTDgyVbtIhk5wxl60+yRiy6heFNdU4/pSFAA4OJLVieZzEfj2VxLAcNbPQ1Gj?= =?us-ascii?q?FIb1SQotR848loddK312HM+v21WehnP7UY9QrKSCAdkPyoyZ2nHwI8hnzHOfjv?= =?us-ascii?q?slgkknTMoJPmqj1PUmq1rjQrXRmkDcrJ6EMLwG1XeXpmOO3WuAvQdTVwsiCfyY?= =?us-ascii?q?D0BaXVPfqJHC3m2HT7KqDu5/YBVbztOec/MMe9T7jF9PAvHuJIaGbg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DcAADXRKVahyDMOLlcGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYQ2bygKg0aKH41vggQTgQOBU5JfghUKI4UCAoMKBxkMBSsYAQI?= =?us-ascii?q?BAQEBAQEBAQESAQEBCA0JCCgugjgkgkgBBSNLCxAJAgsNAgIJHQICIhIBBQEKE?= =?us-ascii?q?gYTEoRuAxUEAQqLYpEbQIwSgiaHHAOBFCaCGoENhCiCLoZqgyOBXgEBHoMIgmI?= =?us-ascii?q?EhmQIk2oJhkODEIcQgjGMMIl5h0APAyCBBwIeggpwTzEGggwJgikQDIF6dolUg?= =?us-ascii?q?joBAQE?= X-IPAS-Result: =?us-ascii?q?A0DcAADXRKVahyDMOLlcGQEBAQEBAQEBAQEBAQcBAQEBAYQ?= =?us-ascii?q?2bygKg0aKH41vggQTgQOBU5JfghUKI4UCAoMKBxkMBSsYAQIBAQEBAQEBAQESA?= =?us-ascii?q?QEBCA0JCCgugjgkgkgBBSNLCxAJAgsNAgIJHQICIhIBBQEKEgYTEoRuAxUEAQq?= =?us-ascii?q?LYpEbQIwSgiaHHAOBFCaCGoENhCiCLoZqgyOBXgEBHoMIgmIEhmQIk2oJhkODE?= =?us-ascii?q?IcQgjGMMIl5h0APAyCBBwIeggpwTzEGggwJgikQDIF6dolUgjoBAQE?= X-IronPort-AV: E=Sophos;i="5.47,455,1515452400"; d="scan'208";a="317396552" Received: from vrout10.yaziba.net ([185.56.204.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Mar 2018 16:07:12 +0100 Received: from mtaout10.int.yaziba.net (mtaout10.int.yaziba.net [10.4.20.36]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout10.yaziba.net (mx10.yaziba.net) with ESMTPS id 152EE51F4F for ; Sun, 11 Mar 2018 16:07:12 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout10.int.yaziba.net (Postfix) with ESMTP id 0C205160227 for ; Sun, 11 Mar 2018 16:07:12 +0100 (CET) X-Virus-Scanned: amavisd-new at Received: from mtaout10.int.yaziba.net ([127.0.0.1]) by localhost (mtaout10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id WsX3TcvEX8x2 for ; Sun, 11 Mar 2018 16:07:11 +0100 (CET) Received: from mail-ot0-f175.google.com (mail-ot0-f175.google.com [74.125.82.175]) by mtaout10.int.yaziba.net (Postfix) with ESMTPSA id B4B421600CB for ; Sun, 11 Mar 2018 16:07:11 +0100 (CET) Received: by mail-ot0-f175.google.com with SMTP id f11so12941934otj.12 for ; Sun, 11 Mar 2018 08:07:11 -0700 (PDT) X-Gm-Message-State: AElRT7Gt3W2qyPeNE3e3m7oa0HwVwW+CVX5PMA9T1Rj/gcrrYBmYhufa h6CWwEu4MNasGZ+jn6nrzU2PxNAsvM40JMFGgIc= X-Google-Smtp-Source: AG47ELvMpjHdkzqGAw/hzsUEcEeJ5BbjWi8ui1gJ+4sKqtqytSKaTj8IYkwXZAtKvEotomh443kiSnu9sYtuH+Ki/CM= X-Received: by 10.157.46.112 with SMTP id c45mr3134387otd.124.1520780830437; Sun, 11 Mar 2018 08:07:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.74.139.125 with HTTP; Sun, 11 Mar 2018 08:06:49 -0700 (PDT) In-Reply-To: <97fc418b-c016-7a7f-77ae-3823bf4b8a12@matej-kosik.net> References: <97fc418b-c016-7a7f-77ae-3823bf4b8a12@matej-kosik.net> From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Sun, 11 Mar 2018 16:06:49 +0100 X-Gmail-Original-Message-ID: Message-ID: To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -51 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtfedrledugdejhecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnegoufhushhpvggtthffohhmrghinhculdegledmnecujfgurhepjghfhfffkffuvfgtgfesthhqredttddtjeenucfhrhhomheppfhitgholhojshgpqfhjvggurggpueomrhcuoehnihgtohhlrghsrdhojhgvuggrrdgsrghrsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehinhhrihgrrdhfrhdphigrhhhoohdrtghomhenucfkphepjeegrdduvdehrdekvddrudejheenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] a question about Ocaml toplevel behavior Hello Matej, My understanding is that the compiler will delay opening a .cmi file until absolutely necessary. Since it does not need to look into Location in order to compile the given phrase, the .cmi is not opened and the type Location.t remains abstract. But if you give the compiler an excuse to open location.cmi then the definition of the type Location.t will become known to the compiler and the toplevel will be able to print the values concretely. For example, evaluating Location.none as in you did in your previous message in one thing that will cause the compiler to load the corresponding .cmi file thereby making Location.t concrete. Best wishes, Nicol=C3=A1s On Sun, Mar 11, 2018 at 2:30 PM, Matej Ko=C5=A1=C3=ADk wrote: > 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 =3D > [{Parsetree.pstr_desc =3D > Parsetree.Pstr_eval > ({Parsetree.pexp_desc =3D Parsetree.Pexp_ident ; pexp_loc = =3D ; > pexp_attributes =3D []}, > []); > pstr_loc =3D }] > > 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 t= ypes)? > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs