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 B89287FC86 for ; Fri, 20 Mar 2015 15:51:55 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.218.49 as permitted sender) identity=mailfrom; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@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-oi0-f49.google.com) identity=helo; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-oi0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CHAABxMwxVmzHaVdFcg1haBIMKszqOEIF+hXUCgSwHTAEBAQEBAREBAQEBAQYLCwkULoQVAQEDARIRHQEbEgIKAwELBgUEBxodAgIiAREBBQEKEgYTEhCHeAEDCQgNpTU+MYsxgWuCd49VChknAwpUhF0BAQgBAQEBGAEFDooKf4RtC4JogUUFhQoKjyaEAIF/gRsRKYVPizoSI4EMCYQsIjEBgkIBAQE X-IPAS-Result: A0CHAABxMwxVmzHaVdFcg1haBIMKszqOEIF+hXUCgSwHTAEBAQEBAREBAQEBAQYLCwkULoQVAQEDARIRHQEbEgIKAwELBgUEBxodAgIiAREBBQEKEgYTEhCHeAEDCQgNpTU+MYsxgWuCd49VChknAwpUhF0BAQgBAQEBGAEFDooKf4RtC4JogUUFhQoKjyaEAIF/gRsRKYVPizoSI4EMCYQsIjEBgkIBAQE X-IronPort-AV: E=Sophos;i="5.11,437,1422918000"; d="scan'208";a="104141961" Received: from mail-oi0-f49.google.com ([209.85.218.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Mar 2015 15:51:54 +0100 Received: by oiag65 with SMTP id g65so92994135oia.2 for ; Fri, 20 Mar 2015 07:51:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=GtSlyIvg40zN+8cGE+0LgsW/rzCqEKnYRJwfakALmX8=; b=E30RZSyFlp+L9JHXvaVyyLtU7fMAXPTRSwfLrNwlsqCycbZ2zenevYe1teikhc0w+K avUrDAabhS7+LRoFOQOePhvIWXxiPmW6j66NbcgVslsSDAfsoDt8J2n8GkHQyzIppuER 6afDv0JfNi2DnCKPl9Ic7kiPKvXiEYlUzV6uIyIDN95nErfyfhsT2p4H6bdpJwe7WUF9 px6R5K8wVV9K0F6SIK0SqVNDOfxaoCPVs+ccd9hUvWCG31a3M7+xcvVBMgg8/Zmpj81t joax+WW8hX7eZnVeTft2gA3vKBjzzMry618CYfJH4HSCwpVdhzX9h1Ix9omeo5SLF6Ev GL2A== MIME-Version: 1.0 X-Received: by 10.182.20.237 with SMTP id q13mr45812370obe.82.1426863113489; Fri, 20 Mar 2015 07:51:53 -0700 (PDT) Received: by 10.202.185.8 with HTTP; Fri, 20 Mar 2015 07:51:53 -0700 (PDT) In-Reply-To: <030985B532E5495490714B2D1E6CA6A4@erratique.ch> References: <030985B532E5495490714B2D1E6CA6A4@erratique.ch> Date: Fri, 20 Mar 2015 10:51:53 -0400 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=e89a8f838e0905d2b50511b9759d Subject: Re: [Caml-list] Utop Difficulties with C callbacks --e89a8f838e0905d2b50511b9759d Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Sorry Daniel, I should have done even more homework. I got tired after working so hard at it. I thought I had tried everything. But sometimes the amount of information and required reading can be somewhat overwhelming. Somewhere between Intel PIN, SCADA systems, SANS courses, Zyre, ZeroMQ, OCaml, CMU's BAP, and other things I'm interested in, I have to know when it's faster to just stop and ask or to keep trying. In any case, I notice that Google's forums is really great because they're searchable, which means I can save other people time by searching for things that have already been asked. I subscribed myself through that medium rather than the caml-list that's available at the ocaml site :) By the way -- that worked!! I'm editing the Makefile to augment the normal build process. I should have some merge requests out today for each of the projects :) On Fri, Mar 20, 2015 at 5:57 AM, Daniel B=C3=BCnzli wrote: > Btw. it is easy to forget that all this is quite well documented in > OCaml's manual and is always worth a (re)read. See sections 19.1.[3-6] > > http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec414 > > Best, > > Daniel > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --e89a8f838e0905d2b50511b9759d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Sorry Daniel, I should have done even more homework. I got= tired after working so hard at it. I thought I had tried everything.=C2=A0=

But sometimes the amount of information and required re= ading can be somewhat overwhelming. Somewhere between Intel PIN, SCADA syst= ems, SANS courses, Zyre, ZeroMQ, OCaml, CMU's BAP, and other things I&#= 39;m interested in, I have to know when it's faster to just stop and as= k or to keep trying.

In any case, I notice that Go= ogle's forums is really great because they're searchable, which mea= ns I can save other people time by searching for things that have already b= een asked. I subscribed myself through that medium rather than the caml-lis= t that's available at the ocaml site :)

By the= way -- that worked!!

I'm editing the Makefile= to augment the normal build process. I should have some merge requests out= today for each of the projects :)
On Fri, Mar 20, 2015 at 5:57 AM, Daniel B=C3= =BCnzli <daniel.buenzli@erratique.ch> wrote:
Btw. it is easy to forget that all this is qui= te well documented in OCaml's manual and is always worth a (re)read. Se= e sections 19.1.[3-6]

http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec41= 4

Best,

Daniel



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--e89a8f838e0905d2b50511b9759d--