From fam40@cam.ac.uk Tue Jan 17 18:28:11 2012 Received: from ppsw-52.csi.cam.ac.uk ([131.111.8.152]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1RnDlT-0000ua-T9 (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 17 Jan 2012 18:28:11 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: not scanned X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from fam40.dow.private.cam.ac.uk ([172.29.61.167]:62067 helo=Farhan.local) by ppsw-52.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:465) with esmtpsa (PLAIN:fam40) (TLSv1:DHE-RSA-AES256-SHA:256) id 1RnDlT-0004Fe-Fd (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Tue, 17 Jan 2012 18:28:11 +0000 Date: Tue, 17 Jan 2012 18:28:11 +0000 From: Farhan Mannan To: Mirage List Message-ID: <174A5923CC544AED83F5D579B0C02317@cam.ac.uk> Subject: trouble with installing lablgtk2 X-Mailer: sparrow 1.4.2 (build 959.4) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="4f15bdbb_4db127f8_4e30" X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 17 Jan 2012 18:28:12 -0000 X-Keywords: X-UID: 163 Status: O Content-Length: 1179 Lines: 36 --4f15bdbb_4db127f8_4e30 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline installing lablgtk2 from https://launchpad.net/ubuntu/+source/lablgtk2/2.14.2+dfsg-2build1 seemed to work but it doesn't show up in "ocamlfind list". there is a META file in there though - is there a way to force ocamlfind to pick it up? I have been trying to do this with "ocamlfind install" but to no avail Thanks, Farhan --4f15bdbb_4db127f8_4e30 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
installing lablgtk2 from https://launchpad.net/= ubuntu/+source/lablgtk2/2.14.2+dfsg-2build1 seemed to work

=
but it doesn't show up in =22ocamlfind list=22.

there is a META file in there though - is there a way t= o force ocamlfind to pick it up=3F 

I have = been trying to do this with =22ocamlfind install=22 but to no avail
=

Thanks,
=46arhan

--4f15bdbb_4db127f8_4e30-- From raphlalou@gmail.com Wed Jan 18 08:52:27 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1RnRFr-0007Mv-5X (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 18 Jan 2012 08:52:27 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -2.7 from SpamAssassin-3.3.2-1232341 * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.210.179 listed in list.dnswl.dnsbl.ja.net] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (raphlalou[at]gmail.com) * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from * author's domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-iy0-f179.google.com ([209.85.210.179]:36791) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with esmtp id 1RnRFq-0005Ef-rJ (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Wed, 18 Jan 2012 08:52:27 +0000 Received: by iakk32 with SMTP id k32so6230589iak.38 for ; Wed, 18 Jan 2012 00:52:25 -0800 (PST) MIME-Version: 1.0 Received: by 10.42.147.72 with SMTP id m8mr17246293icv.56.1326876745711; Wed, 18 Jan 2012 00:52:25 -0800 (PST) Received: by 10.43.48.196 with HTTP; Wed, 18 Jan 2012 00:52:25 -0800 (PST) In-Reply-To: <174A5923CC544AED83F5D579B0C02317@cam.ac.uk> References: <174A5923CC544AED83F5D579B0C02317@cam.ac.uk> Date: Wed, 18 Jan 2012 08:52:25 +0000 Message-ID: Subject: Re: trouble with installing lablgtk2 From: Raphael Proust To: Farhan Mannan Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Cc: Mirage List X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 18 Jan 2012 08:52:27 -0000 X-Keywords: X-UID: 164 Status: O Content-Length: 779 Lines: 33 If there is a META, and it is "installed" (it is somewhere sensible like /sur/lib/ocaml or something) you can check that ocamlfind knows that place by doing $ ocamlfind printconf If it doesn't have the right set of directories in its search path, you can edit the configuration file (listed by the previous command). On Tue, Jan 17, 2012 at 6:28 PM, Farhan Mannan wrote: > installing lablgtk2 > from=C2=A0https://launchpad.net/ubuntu/+source/lablgtk2/2.14.2+dfsg-2buil= d1 > seemed to work > > but it doesn't show up in "ocamlfind list". > > there is a META file in there though - is there a way to force ocamlfind = to > pick it up? > > I have been trying to do this with "ocamlfind install" but to no avail > > Thanks, > Farhan > --=20 _______ Raphael From anil@recoil.org Mon Jan 23 11:55:51 2012 Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by lists-2.csi.cam.ac.uk (lists.cam.ac.uk [131.111.8.15]:25) with esmtp id 1RpIV4-0001f9-VG (Exim 4.70) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 23 Jan 2012 11:55:50 +0000 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: score -1.9 from SpamAssassin-3.3.2-1234463 * -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from recoil.dh.bytemark.co.uk ([89.16.177.154]:23974 helo=dark.recoil.org) by ppsw-50.csi.cam.ac.uk (mx.cam.ac.uk [131.111.8.147]:25) with smtp id 1RpIV4-0000OR-qW (Exim 4.72) for cl-mirage@lists.cam.ac.uk (return-path ); Mon, 23 Jan 2012 11:55:50 +0000 Received: (qmail 20124 invoked by uid 634); 23 Jan 2012 11:55:50 -0000 X-Spam-Level: * X-Spam-Status: No, hits=-1.0 required=5.0 tests=ALL_TRUSTED X-Spam-Check-By: dark.recoil.org Received: from freak-0.srg.cl.cam.ac.uk (HELO [192.168.2.8]) (128.232.32.220) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 23 Jan 2012 11:55:49 +0000 From: Anil Madhavapeddy Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: Fwd: hope to see some blog posts about Async Date: Mon, 23 Jan 2012 11:55:46 +0000 References: To: "cl-mirage@lists.cam.ac.uk Mailing List" Message-Id: Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-BeenThere: cl-mirage@lists.cam.ac.uk X-Mailman-Version: 2.1.8 Precedence: list List-Id: MirageOS development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 23 Jan 2012 11:55:51 -0000 X-Keywords: X-UID: 165 Status: O Content-Length: 2263 Lines: 59 This is a really interesting variant on Lwt cancellation that Twitter = use in Finagle. Since we're having so many problems with the Lwt = approach, I suspect moving towards a monitor-style cancel propagation is = sensible. -anil Begin forwarded message: > From: "marius a. eriksen" > Subject: Re: hope to see some blog posts about Async > Date: 20 January 2012 19:21:53 GMT > To: ocaml-core@googlegroups.com > Cc: Stephen Weeks > Reply-To: ocaml-core@googlegroups.com >=20 > Cancellation is really tricky to get right. I think the correct choice > in many circumstances is to not support it at all, and instead use > some other mechanism when needed. >=20 > Concurrent ML presents a very nice solution to threads that require > cancellation: event synchronization is atomic. However, they don't > compose as well as futures do: For example, synchronization isn't > transitive across multiple processes. >=20 > What we ended up doing in Finagle[1], which I think worked out very > well, was to not support cancellation, but rather a cancellation > *signal* that flows in the opposite direction from value propagation. = The > signal is level triggered, and any interested party can listen to it. > The propagation composes in the expected way (opposite in direction > from the value). >=20 > In other words: >=20 > let composed =3D foo >>=3D (fun _ -> bar) >=20 > propagates cancellation signals on `composed' to `bar', just like = values > are propagated from `bar' to `composed'. >=20 > You can then listen to the signal (in scala: >=20 > on_cancellation bar (fun () -> (* whatever you like *)) >=20 > The nice thing about this approach is that only the updater of the > value need worry about cancellation, and we can use this to guarantee > that there's *only one update path*. This actually solves all of the > try =85 catch problems, because if there is cancellation, the signal > makes it all the way to the updater of the future, and *it* can decide > what to do. We introduced cancellation in this way about 6 months ago, > and there have yet to be any bugs surfaced from it. >=20 > btw: if Pipes weren't buffered, they'd essentially be CML's channels >=20 > [1] https://github.com/twitter/finagle >=20