From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BBD91BC37 for ; Thu, 30 Apr 2009 14:14:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnIHAF8z+UnRVdvgaWdsb2JhbACWLT8NCA0HEKZdgQiQUQEDAQODfAU X-IronPort-AV: E=Sophos;i="4.40,273,1238968800"; d="scan'208";a="39271831" Received: from mail-ew0-f224.google.com ([209.85.219.224]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Apr 2009 14:14:42 +0200 Received: by ewy24 with SMTP id 24so1940039ewy.27 for ; Thu, 30 Apr 2009 05:14:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :content-type:content-transfer-encoding:mime-version:subject:date :x-mailer; bh=tpGq2bDV4i9W33PCH5h5QP2Lgh/zIX0g/Ku2mgiaaS8=; b=r0631R8Ecyc3YFtYr9zwIdAfZAX8LzV/HmBcJd7V5Gnpci8t2esrDhwOxTq+vo28/a mhtcot0D9INHZ8TEP6wNUztzMbbTInCMw2E61qfGaz+PUh/tp+uBJjmZXTvaA3A8vQh5 Hx5j+ZDllUgRn4EXqpAOPAnBkXGSSxjsSi1Wg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:content-type:content-transfer-encoding :mime-version:subject:date:x-mailer; b=XiQFnLAvSfkWRvscQGQ5f5+7DPeHFXkybErI+2tEgAB7b+yV2ujNHRbbrdHiSA3tFG somWJw0Fr0n9iWxHD5bwDjwQ7OZ0YRn9sbQ1h9dCkadgYEVbFPKlRjvYEK8/S13VhIaO 56Or79HmoZPenOZOtMMPYVinl3XFRu3TDI5S4= Received: by 10.210.81.10 with SMTP id e10mr1570226ebb.86.1241093681745; Thu, 30 Apr 2009 05:14:41 -0700 (PDT) Received: from ?10.10.30.20? (249.Red-88-6-143.staticIP.rima-tde.net [88.6.143.249]) by mx.google.com with ESMTPS id 5sm3702542eyf.44.2009.04.30.05.14.39 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 30 Apr 2009 05:14:41 -0700 (PDT) Message-Id: <170624B9-E8DE-4E94-BAA5-2CAF928CE54B@gmail.com> From: Joel Reymont To: O'Caml Mailing List Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: arm backend Date: Thu, 30 Apr 2009 13:14:37 +0100 X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; ocamlopt:01 hacker:02 usable:02 arm:14 arm:14 ---:17 thanks:17 performance:20 actively:23 mac:24 com:74 com:74 joel:26 joel:26 the:27 Is the ARM backend (ocamlopt) usable and actively maintained? Thanks, Joel --- Mac hacker with a performance bent http://linkedin.com/in/joelreymont