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=0.7 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 969CABC69 for ; Thu, 31 May 2007 22:02:24 +0200 (CEST) Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.191]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4VK2N2r018412 for ; Thu, 31 May 2007 22:02:24 +0200 Received: by mu-out-0910.google.com with SMTP id w9so296091mue for ; Thu, 31 May 2007 13:02:23 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=StcIZTw6484FpWVuYdMDbwnujV4YmDn1lAgcuOPFv82XCxOOxPFJvKkgedvhiH+uYKvTvu1266VMXawFX+QsI6ZIS4sdSqNTrpdoF5C4GGG5YX8igyv3qQdfY/4OCKfbEzW7xUgGWEtNSfkIhfSLIql8SOkEu4s8KBzE9sXom5Y= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=j97nUVr8KS6dxE/Q32+oP0oq9ngblVIoQzTuAqoI3vVnrMsvpAg4+Npoy7vxBI/f3vQnf1tz4ieSRgzOPF+lFH4XkvVUKH+zRg22C9OUNX3TWE3/TsYva49gORVncHLGrEPqO/a7hjrdJQ9zmj9NlO+qAEJQwdv62VED+dvtlIA= Received: by 10.82.191.3 with SMTP id o3mr408886buf.1180641742738; Thu, 31 May 2007 13:02:22 -0700 (PDT) Received: from ?192.168.0.1? ( [82.246.197.195]) by mx.google.com with ESMTP id z37sm682915ikz.2007.05.31.13.02.20; Thu, 31 May 2007 13:02:21 -0700 (PDT) Subject: JavaScript parser From: David Teller To: OCaml Content-Type: text/plain Date: Thu, 31 May 2007 22:02:17 +0200 Message-Id: <1180641737.6053.17.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at concorde with ID 465F29CF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 univ-orleans:01 parser:01 ocaml:01 checker:01 univ-orleans:01 lifo:01 d'orleans:01 javascript:98 javascript:98 laboratoire:03 static:03 distributed:05 systems:12 fondamentale:12 Hi everyone, Does anyone know of a JavaScript parser for OCaml ? This would save me some work towards the development of a JS static checker. Thanks, David -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans