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 A6D857EE7D for ; Tue, 2 Jun 2015 16:27:45 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DmAQBevG1VnHDIaSZbhEIGgxi7UYdHCgKBNgc5EwEBAQEBAQERAQEBAQEGFglPhCMBAQQSER0BATcBDwsLDQICJgICIQESAQUBHAYTIod2AxIDqUk+MYpPcIRkAQWaAQ2FGwEBAQEBBQEBAQEBAQEVBgqBF4oigk2COQeCaIFFi1uQdIFckDOFOxIjgRWCXoE/bYJHAQEB X-IPAS-Result: A0DmAQBevG1VnHDIaSZbhEIGgxi7UYdHCgKBNgc5EwEBAQEBAQERAQEBAQEGFglPhCMBAQQSER0BATcBDwsLDQICJgICIQESAQUBHAYTIod2AxIDqUk+MYpPcIRkAQWaAQ2FGwEBAQEBBQEBAQEBAQEVBgqBF4oigk2COQeCaIFFi1uQdIFckDOFOxIjgRWCXoE/bYJHAQEB X-IronPort-AV: E=Sophos;i="5.13,540,1427752800"; d="scan'208";a="133050848" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 02 Jun 2015 16:27:44 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with smtp (Exim 4.82) (envelope-from ) id 1YznAN-0001ND-4d for caml-list@inria.fr; Tue, 02 Jun 2015 10:27:43 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BVbb1f-AAABZ4-EH; 2015-06-02 10:27:43.132444-04:00 Received: from mail-oi0-f52.google.com ([209.85.218.52]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1YznAN-0001YO-1J for caml-list@inria.fr; Tue, 02 Jun 2015 10:27:43 -0400 Received: by oihb142 with SMTP id b142so126706065oih.3 for ; Tue, 02 Jun 2015 07:27:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=j4tmw8tHAFp2OU2uvDW5qQjL4pTaFTRKjSaSrbAMryI=; b=FTe99izs2xuBzMeqOEGRatoHQ86+rQJbrCnlPUe13HcWcC3YU9p7OkpDW4KBh96Gp+ hXS2jbdX1g8rw4jRvN2oNHxMesZjrtRbkyEdR9FoA7lGWOg3/yRpMyAuoS48IimGhQtB xKARBwfWBkyIdX/bH0vghCJfqvgYkaKWs5kmk= 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:date :message-id:subject:from:to:cc:content-type; bh=j4tmw8tHAFp2OU2uvDW5qQjL4pTaFTRKjSaSrbAMryI=; b=mYLElKgl8zMN6yj9KiUxwA2zjYaeVnItggDT0EZmbZKXq5VksXsNRNA6DyPtB3nz29 aEQzhwaxWRrRfADQhoiVOMDbL6zSVae7wzFmOBTPvaljUsQU1ijyuu+QI5WyTvsDSz4N Sd+DjiHzs8Vrb2MAmqXMtEcnMLXpyw0qihbCvLS9P2fHqjGkPbH4gsHmLcJYo6DpivGg BXhgrQVKLBMSz012EEAFwej53CzLOhXRNB3+wvKx41hAthC6nBt6aUqLW0/eZjs94p1e WPf4FgWCgknFWqPt32HfnsvyOCddDcvP1yYYuNgpdQ3bFH7eVWywHLhNksNCTE8bZbaC vOmA== X-Gm-Message-State: ALoCoQmpFluCwixkF7tz7o0SFgTKL/3Lv3VUhgXIMOmtJwPq17EVkPfrt237ulS70z+LRCcFCC/Kgq/ozeFG/L1/rJiJQFZfgYFGHkEsjt6EFz1ttYR23+C56LdAVsToUqxg2GDtzlW2 X-Received: by 10.182.196.72 with SMTP id ik8mr22990265obc.36.1433255262691; Tue, 02 Jun 2015 07:27:42 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.182.196.72 with SMTP id ik8mr22990255obc.36.1433255262618; Tue, 02 Jun 2015 07:27:42 -0700 (PDT) Received: by 10.202.200.87 with HTTP; Tue, 2 Jun 2015 07:27:42 -0700 (PDT) In-Reply-To: References: Date: Tue, 2 Jun 2015 16:27:42 +0200 Message-ID: From:Mark Shinwell To:Jez Cc:"caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] How hard would it be to make it possible to invoke functions in the debugger? Do you mean in the bytecode debugger (ocamldebug)? I'm not sure, although others on this list will know. The enhanced native code debugging support that I've been working on should have this capability. This may land for 4.03 at the end of the year, but could be delayed until next year. Mark On 1 June 2015 at 03:24, Jez wrote: > I'd love if this were possible, and I'd be willing to poke around the OCaml > codebase to make this work, assuming it's not a fundamentally difficult > thing. > > Jez