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 3BFF37EF0D for ; Thu, 11 Feb 2016 16:38:13 +0100 (CET) IronPort-PHdr: 9a23:OTrE6RRJNOCNfz5Wqg73bWWoxNpsv+yvbD5Q0YIujvd0So/mwa64bBCN2/xhgRfzUJnB7Loc0qyN4/+mAjBLvs3JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuIP04X33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs0ccVWAfiVJyDgbE91muQpf2tyLh8PBw1iiBFcLzRLEwHz+l6vE4ZgXvjXI/Nz898XnPh4ROgahWulr1vxx+x4/MeIzTKvd0c7n1ctYTRG4HVcFUAX8SSrigZpcCWrJSdd1TqJPw8h5X9UOz Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=philippe.veber@gmail.com; spf=Pass smtp.mailfrom=philippe.veber@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of philippe.veber@gmail.com) identity=pra; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of philippe.veber@gmail.com designates 209.85.161.181 as permitted sender) identity=mailfrom; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f181.google.com) identity=helo; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="postmaster@mail-yw0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A9AgBxqrxWmLWhVdFehAxtBohVpkiDM4cugWchhWwCgSsHOhIBAQEBAQEBARABAQEBAQYLCwkhLkESAYFZggsJAQEBAwESER0BGx0BAwELBgUDAQc3AgIiAREBBQEcBjWHYgEDCggOpFmBMT4xizSBaYJXhQYKGScNUYNzAQEBAQEBBAEBAQEBAQEBEgEBBAoEhgSENoN4Z4JTgToFlneBOowZjnVEjD4RHoENJweCKR6BUzsuglyER4EwAQEB X-IPAS-Result: A0A9AgBxqrxWmLWhVdFehAxtBohVpkiDM4cugWchhWwCgSsHOhIBAQEBAQEBARABAQEBAQYLCwkhLkESAYFZggsJAQEBAwESER0BGx0BAwELBgUDAQc3AgIiAREBBQEcBjWHYgEDCggOpFmBMT4xizSBaYJXhQYKGScNUYNzAQEBAQEBBAEBAQEBAQEBEgEBBAoEhgSENoN4Z4JTgToFlneBOowZjnVEjD4RHoENJweCKR6BUzsuglyER4EwAQEB X-IronPort-AV: E=Sophos;i="5.22,431,1449529200"; d="scan'208,217";a="164359977" Received: from mail-yw0-f181.google.com ([209.85.161.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Feb 2016 16:38:12 +0100 Received: by mail-yw0-f181.google.com with SMTP id g127so41671468ywf.2 for ; Thu, 11 Feb 2016 07:38:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=LnTze42abfzZAYbhoyb6eFBBI02AQqmEhCuK6JCJ2Ow=; b=EOSJI6nFxlBOHdHxb1ON4Rm+6m2qgPur6jPKK8cfiNk4HOv9i8cBvXpP7/fCV14iD7 1pFDEA9QB9+FyYaBakPguadppOJWw6o3k63Z2qUbP8cFgjJFUBlE7PahXD0/yzaw93Sy lZjAE9x6ffxmqtHRwS9HdJXMoWsTFk2Bn6WAENVveaq9V+Ke71G/aj68R0I4yCtTAVfV ASWbDFtncwllNVTNpjJ3Mlpu+b/6X8IPcRM1W+1VAYIqcnEcyTzzdU+fHQN9xmBqfQcq AltOXyLO5FXD6JJouOsYdTfSmP2OaBb4IAkonerhF8M1dnJKWtGC3jKNCh2i8eL1JOUN xrFA== 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:from:date :message-id:subject:to:cc:content-type; bh=LnTze42abfzZAYbhoyb6eFBBI02AQqmEhCuK6JCJ2Ow=; b=ZcCZN1tiqFF36E9SA8kTvfDyHzJjjpWXE4sqJCQ97v5mVgjFu5wl+tVq3UPwwmfj27 Dhfhiae7kCH1pGbV+/MhkfNvbFmh+/wX5VKM/WZfrIRh6dAR0IcrAFsFHB91yhd8bO4+ ACKXJO9SqPFUcby33twwxkxV9ChDQ2/ulmMvvGmvsPEfDQZ3ag+0YVIViczclXs7Gq0N XF6rQ7tFBhsUhUgw9qiUvQ8+QyIyZwbkvkjeWJRRz212lcxFbwz0QldnFHAXh4S1UuzL gJusTTfzDOAoFLX70xCi+WNIMyX+9RuIL9vTWfnMme5zvXJYQaWf68WTobGb5U6Icydd Uvwg== X-Gm-Message-State: AG10YOTDq/O1TPxNsmgu2BDWcpJarqNK584pdr+agTUVVlZXPMMkBUO5xJmssszDY3ElqNnLLWgWrofn/0ejrQ== X-Received: by 10.13.241.199 with SMTP id a190mr26505248ywf.47.1455205091096; Thu, 11 Feb 2016 07:38:11 -0800 (PST) MIME-Version: 1.0 Received: by 10.13.210.197 with HTTP; Thu, 11 Feb 2016 07:37:51 -0800 (PST) In-Reply-To: References: From: Philippe Veber Date: Thu, 11 Feb 2016 16:37:51 +0100 Message-ID: To: Thomas Refis Cc: caml users Content-Type: multipart/alternative; boundary=94eb2c03272087c042052b8056d8 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Accessing values calculated by Toploop.execute_phrase --94eb2c03272087c042052b8056d8 Content-Type: text/plain; charset=UTF-8 > PS: https://www.youtube.com/watch?v=p8oi6M4z_e0 > 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. --94eb2c03272087c042052b8056d8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Fair enough, I gues= s I had it coming :)

Thanks for the= hint anyway! I guess I'll rather deal with `out_phrase` values to spar= e me a few disgraceful segfaults.
--94eb2c03272087c042052b8056d8--