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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 075E67EE99 for ; Wed, 8 Jan 2014 20:29:25 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.215.46 as permitted sender) identity=mailfrom; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-la0-f46.google.com) identity=helo; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-la0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMFAM6mzVLRVdculGdsb2JhbABZg0NWgj+oSY4nAQQDgQ4IFg4BAQEBBwsLCRIqgmwBGx4DEhBdAREBBQEiiAIBAxENmmGDCIxcgwmRGgoZJw1khC0BBQyTNwSJQ45UgTCOeBgphHob X-IPAS-Result: AuMFAM6mzVLRVdculGdsb2JhbABZg0NWgj+oSY4nAQQDgQ4IFg4BAQEBBwsLCRIqgmwBGx4DEhBdAREBBQEiiAIBAxENmmGDCIxcgwmRGgoZJw1khC0BBQyTNwSJQ45UgTCOeBgphHob X-IronPort-AV: E=Sophos;i="4.95,626,1384297200"; d="scan'208";a="52320940" Received: from mail-la0-f46.google.com ([209.85.215.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Jan 2014 20:29:07 +0100 Received: by mail-la0-f46.google.com with SMTP id eh20so1484116lab.33 for ; Wed, 08 Jan 2014 11:29:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=4YQyLt/QciNBDMWMB4WsDxvinPVz9cA9ccLZjUZPvwU=; b=ycCDSO5fyNzpW2/U7FWUFNmUVDwKnz9UAUUHBvOqdYIlgY3g0ZvsPGJUy12ublWXCZ b2jCa5OH9DUYU1+F9vm4biZeFgKaOHXsCCUCZp9fMWz0TMRrqW9EPz2c8yL5Gao/WZ3p uVfaqndNqx+/pp6piD5LqLrnr3UrvCl21Dj7cFD2xx7ZHwPUt40v9BQENZAVjdog/id8 5V0so+8Vg6idzL0y7rKFBXofpz8jRTTAIg1+2PA79CheJYt168DcxOvHsNBQIbjQCUYg BxlUQcI6wfVEiFWrMTOY5gz+khms4LrKokZOAT40m2Ph3uouUnYo13sdXr6ujCuFYN4Y wksw== MIME-Version: 1.0 X-Received: by 10.152.219.166 with SMTP id pp6mr6366507lac.46.1389209347032; Wed, 08 Jan 2014 11:29:07 -0800 (PST) Received: by 10.114.60.80 with HTTP; Wed, 8 Jan 2014 11:29:06 -0800 (PST) Date: Wed, 8 Jan 2014 11:29:06 -0800 Message-ID: From: Martin DeMello To: OCaml List Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Bugs found when porting 0install from python to ocaml Thomas Leonard of 0install has written up a series of blog posts detailing his porting of 0install from python to OCaml. The latest one, on the bugs he encountered along the way, is particularly interesting: http://roscidus.com/blog/blog/2014/01/07/ocaml-the-bugs-so-far/ martin