From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 08C2D7FA89 for ; Wed, 24 Aug 2016 16:16:14 +0200 (CEST) IronPort-PHdr: 9a23:8yqPiR9gMFyMGP9uRHKM819IXTAuvvDOBiVQ1KB91uwcTK2v8tzYMVDF4r011RmSDNydsKwP1Lae8/i5HzdRudDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvjotuIPU4X2HL9Oeo0d0Tu612J94E/ushLEu4J0BzHo39FKax95FhDAhatpSv6/dq655V58i5d6LoL/s9EVrjmLexjFeQLRGduD2dg78TusVzHTBCTznoaSGQf1BRSUCbf6xSve571uSz+s6JY0TWTOc7/BeQxXD2+5qNoQTfnjS4GM3gy92SB2Z84t75SvB/0/083+IXTeozAbPc= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f65.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.65 as permitted sender) identity=mailfrom; client-ip=74.125.82.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-f65.google.com) identity=helo; client-ip=74.125.82.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f65.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DBAgA7q71Xf0FSfUpdgykBAQEBAYFwrEKLTIF+h2Q5EwIBAQEBAQEBARIBAQkLCwkXMUESgV8YgjAuARseAxIQFjQBBA8RAQUBV4d1AQMXBJ8ZggeBMj4yjSaCXQWGWgoZJw1Ug10CBhCGHYlZhRAFmUiPIoFXAYdzhgWOeDGBECABhDBwhW2CUwEBAQ X-IPAS-Result: A0DBAgA7q71Xf0FSfUpdgykBAQEBAYFwrEKLTIF+h2Q5EwIBAQEBAQEBARIBAQkLCwkXMUESgV8YgjAuARseAxIQFjQBBA8RAQUBV4d1AQMXBJ8ZggeBMj4yjSaCXQWGWgoZJw1Ug10CBhCGHYlZhRAFmUiPIoFXAYdzhgWOeDGBECABhDBwhW2CUwEBAQ X-IronPort-AV: E=Sophos;i="5.28,570,1464645600"; d="scan'208";a="233957078" Received: from mail-wm0-f65.google.com ([74.125.82.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Aug 2016 16:16:06 +0200 Received: by mail-wm0-f65.google.com with SMTP id i5so2861493wmg.2 for ; Wed, 24 Aug 2016 07:16:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:user-agent:mime-version; bh=1rX2WPRplrjLYpy74OYTuDZA8VTdG3U/8UNsEfTmoPY=; b=MwvKcwErlMxA+j6jjXzc6JQ1cgGdiyXwCICM+qlU2A0PwXG+z1ve4wLHEyf2zWa8Bf CMfS0qlN7RCQMiIVDr2lTME1rhg13OAE/yKjDoXgjd5aDExNdvmXOQxnHT11nfFjZWeu zELH4VTks5+E5rbPQyEK94zIKOSK22XbQ5Smgr5/8IuTvAr11cxio9n/11nXSJhkfw26 LA5gg+5fEmPa4cOIPkEAOFVRDWPth2/o6D3SzUjTV1JfRODfqj0o27tHBIzFNmGSQXaH e4qQI8CP82jw5uwJLECK3dH/X2Ybot+rQEP/I0HjQpVtjXydAKL8X7OFN9sLKtcr0aCJ EBPQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=1rX2WPRplrjLYpy74OYTuDZA8VTdG3U/8UNsEfTmoPY=; b=JQzoJRix+0yqa8xA+oDDpaOERUK89dlPrdlMiaxADFZg9sBtzz5SmX2JX25Ch9Rq8e bSNKm6thx4+AvnX4/L8vQ6ejdbQWCT/2Ho0HNj5p1PFYuoPlzIOJvO6AXJVUHrv0eNXH tfDZkJeFPhKGszeJ7Rch8pdxPdD8j88WMX69wy3XhzDEMHAwvRQ5TmfvXbk/E/QJ8b4v rTl7tbE3MQ8QoiwSDXK+T3+dqZwQCMriqMLu5dCcgt0/XXAwX39OHRfHbgRwaTVPC8FX lFDx9yIA8iPtrVxzNOaBypETf/cqcTMEbeE+7XCA53IkM7B4lU/6DXYtzmO0H9V7whIK smRw== X-Gm-Message-State: AE9vXwNaCxZYzeBBelSlupopk0hrP9eUBvE0TqEF7aoboXdeUvpn3S+WWggJnEeojvLdgA== X-Received: by 10.28.92.82 with SMTP id q79mr3445336wmb.113.1472048165690; Wed, 24 Aug 2016 07:16:05 -0700 (PDT) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id us9sm10191644wjb.43.2016.08.24.07.16.04 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 24 Aug 2016 07:16:04 -0700 (PDT) From: Malcolm Matalka To: caml-list@inria.fr Date: Wed, 24 Aug 2016 14:16:03 +0000 Message-ID: <864m6adzh8.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] DTrace support? Hello, Is it possible to add dtrace probes in Ocaml code? I'd like to allow some code I'm writing to be instrumented with the tool. Also, is there any documentation on what (if any) probes the Ocaml run-time offers for dtrace? Thanks, /Malcolm