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 55BE87EF0D for ; Thu, 11 Feb 2016 16:42:07 +0100 (CET) IronPort-PHdr: 9a23:TCKBuxxDGnKJbMDXCy+O+j09IxM/srCxBDY+r6Qd0eISIJqq85mqBkHD//Il1AaPBtWErakYwLWN+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU1Jj8iLv60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jTtRjHTBOX6zMiX28biFIcGwjE6BDiRpq3rCbwu/BV1yyTPMmwRrcxD2eM9aBuHSPojyIOLHYD/W/WkYQkkKJcpRu64QZyzY/PSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=refis.thomas@gmail.com; spf=Pass smtp.mailfrom=refis.thomas@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f41.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of refis.thomas@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of refis.thomas@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@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-wm0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="postmaster@mail-wm0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BpAQCuqrxWmClSfUpehAxeDwaIVal7iTaHGQc8EAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CFQEBBBIRHQEbHQEDDAEFBQsPAiYCAiEBAREBBQEcBhMih2IBAxIOpFuBMT4xizSBaYJXhQcKGScNUYNzAQEIAhgBAQQKBG2DFIIDhDaCNx2BJIM6gToBBJZ3gTqEFIYSgXOOdUSGOoYEER6BDTdggzA8LocjgTABAQE X-IPAS-Result: A0BpAQCuqrxWmClSfUpehAxeDwaIVal7iTaHGQc8EAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CFQEBBBIRHQEbHQEDDAEFBQsPAiYCAiEBAREBBQEcBhMih2IBAxIOpFuBMT4xizSBaYJXhQcKGScNUYNzAQEIAhgBAQQKBG2DFIIDhDaCNx2BJIM6gToBBJZ3gTqEFIYSgXOOdUSGOoYEER6BDTdggzA8LocjgTABAQE X-IronPort-AV: E=Sophos;i="5.22,431,1449529200"; d="scan'208";a="202675500" Received: from mail-wm0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Feb 2016 16:42:06 +0100 Received: by mail-wm0-f41.google.com with SMTP id p63so78959375wmp.1 for ; Thu, 11 Feb 2016 07:42:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=QisMkXx7f6UgndKAjUWSPV4/vyhe/FB2+BkU4BH89Zc=; b=fM9jceoJPDFSjFZ00Qa9knZZ1vL6O9h3SPJC2VM9cTHpJ7TaRnT1t4najhMuZRR761 /iRjGJ9lE1srfh4bHC9p3R44DEf+q077NeIvMQZ5c8NUy4e/Z0CQgOZQ21pMxeGC3T60 LuMSMLoSeFJ3GE4zlDfr/pfqJxnxKKqeAFEkkm3lnbvqnrI36zb8S5wJjTvodTeunWFp Mv9yCtoQsPAU/yeKzRxAuhGNta4S3/v7BhPcDpjrI6WZR7umNpmFBP/RKATRA3s6Kyi0 y7FI4q2HSUMdExNGZxjwp/JUQiXf0d6+hIvbpVym3HwFXrDiNusi30L4goK87nSntFIG Rz8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=QisMkXx7f6UgndKAjUWSPV4/vyhe/FB2+BkU4BH89Zc=; b=S9BwiwoaqND1jjG5rHLDWXfeTkASfkim4QWq8radAnAdFJ/OkPhMd9/KcEtMQDEQvZ Fp8RT9rf5Y9kfYHosKUn2pB9yIgQ2sO5FUGzabnr4G+80ro8pvxPa0ugukUiCO5QvVHX rFF3sTUmA0Z9deisay9Ih4rXEc6GHvP77Wc/kg2PZBE3cBqXcRqCcnpoV/5CVl++o/7e cB91eVZ1L5M68Za6BPPU0+Or8HIQtMe8LUAMrClCf+jdyfRs3V9Vbe3criN5VBhfquIn 0fO4s8yydYwAikrnjDDNIYXVMux1Mz23YESKRiFc6+VwFSc3efaxRX6NiolOuqf3zKRS ZZ9g== X-Gm-Message-State: AG10YOSqO4ckmLb2pUKgWKypH2NN7HU+1AI9HmRlbx8MF4ZDlo/P2VQEvDYYb5NLH2s1xQhG/s7LirgPby10Bg== MIME-Version: 1.0 X-Received: by 10.195.12.50 with SMTP id en18mr21867984wjd.18.1455205326464; Thu, 11 Feb 2016 07:42:06 -0800 (PST) Sender: refis.thomas@gmail.com Received: by 10.27.229.194 with HTTP; Thu, 11 Feb 2016 07:42:06 -0800 (PST) In-Reply-To: References: Date: Thu, 11 Feb 2016 15:42:06 +0000 X-Google-Sender-Auth: AVLmuS7uZtE9nnJUb1-TX4q7Rkw Message-ID: From: Thomas Refis To: Philippe Veber Cc: caml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: thomas.refis@gmail.com Subject: Re: [Caml-list] Accessing values calculated by Toploop.execute_phrase 2016-02-11 15:37 GMT+00:00 Philippe Veber : > Fair enough, I guess I had it coming :) > > Thanks for the hint anyway! I guess I'll rather deal with `out_phrase` > values to spare me a few disgraceful segfaults. To be fair, utop does what I described (more or less) : https://github.com/diml/utop/blob/master/src/lib/uTop_main.cppo.ml#L645 Hopefully someday Toploop will be reorganized a bit to make easier for people to write their own toplevel. Someday. Hopefully.