From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jezreel@gmail.com>
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 81CD27EE7D
	for <caml-list@sympa.inria.fr>; Mon,  1 Jun 2015 03:25:13 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jezreel@gmail.com) identity=pra; client-ip=209.85.214.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jezreel@gmail.com";
  x-sender="jezreel@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  jezreel@gmail.com designates 209.85.214.182 as permitted
  sender) identity=mailfrom; client-ip=209.85.214.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jezreel@gmail.com";
  x-sender="jezreel@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-ob0-f182.google.com) identity=helo;
  client-ip=209.85.214.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jezreel@gmail.com";
  x-sender="postmaster@mail-ob0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BPAwBSs2tVlLbWVdFchEIGgxjEJAc7EQEBAQEBAQERAQEBAQcLCwkfMEEDg1UiER0BGx4DEggBAgU3AiQBEQEFAVeHdQEDEqITgzE+MYs/gWuCeZh1ChknDVeERQEFDpBYglKBRQWMQYdqiXGVaBIjgQwJhDseMYJHAQEB
X-IPAS-Result: A0BPAwBSs2tVlLbWVdFchEIGgxjEJAc7EQEBAQEBAQERAQEBAQcLCwkfMEEDg1UiER0BGx4DEggBAgU3AiQBEQEFAVeHdQEDEqITgzE+MYs/gWuCeZh1ChknDVeERQEFDpBYglKBRQWMQYdqiXGVaBIjgQwJhDseMYJHAQEB
X-IronPort-AV: E=Sophos;i="5.13,529,1427752800"; 
   d="scan'208";a="161091380"
Received: from mail-ob0-f182.google.com ([209.85.214.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jun 2015 03:25:12 +0200
Received: by obew15 with SMTP id w15so93263536obe.1
        for <caml-list@inria.fr>; Sun, 31 May 2015 18:25:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=BsyhrXUURP7ctK1TrCH1qt7VXjN2coLkFWNb1vw/YCo=;
        b=p/rbldLR89+e52EArdqhqHCKI+3Hi2Zn6+55oRKI5rDQGZIjZof3057WZqOPGpfAGt
         D2Ny7dFlUgpXBu5RDGx0c6RtF+nIENFqyjlbNJ30YC7nKodAVgcfWQ1zrkzsU3yRTdtk
         c/5DnwN1ndRZBuiYx3hc92Ud1ubyoXqhQTOngQJFT+yXL8F1jcwLMdJPXFg+Pif7TH5f
         A+39KvsYK5XmP9dx5sXuGf16oDWnsgEZwHEpJEcUYomuWIMMgYao+vt1aRNEN5HGXYGx
         NcHfuKv6iViPUYUHtcUj2Dw0Ufr90nQ56rOnnwBoAzaUNrSCFCt1qRgFIVfsFCEhYQrG
         pxDw==
X-Received: by 10.182.99.202 with SMTP id es10mr16193130obb.47.1433121911450;
 Sun, 31 May 2015 18:25:11 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.76.100.173 with HTTP; Sun, 31 May 2015 18:24:51 -0700 (PDT)
From: Jez <jezreel@gmail.com>
Date: Sun, 31 May 2015 18:24:51 -0700
Message-ID: <CABVpgLXuq6HZwxcUzTgBK58+EdZj+kc+k+e0Mx25JxbbNuQaEg@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=089e01538c5c73b47f05176ab22f
Subject: [Caml-list] How hard would it be to make it possible to invoke
 functions in the debugger?

--089e01538c5c73b47f05176ab22f
Content-Type: text/plain; charset=UTF-8

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

--089e01538c5c73b47f05176ab22f
Content-Type: text/html; charset=UTF-8

<div dir="ltr">I&#39;d love if this were possible, and I&#39;d be willing to poke around the OCaml codebase to make this work, assuming it&#39;s not a fundamentally difficult thing.<div><br clear="all"><div><div class="gmail_signature">Jez</div></div>
</div></div>

--089e01538c5c73b47f05176ab22f--