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=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D38FDBC69 for ; Thu, 31 May 2007 22:13:17 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.179]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4VKDGFY015718 for ; Thu, 31 May 2007 22:13:17 +0200 Received: by py-out-1112.google.com with SMTP id u52so517175pyb for ; Thu, 31 May 2007 13:13:16 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=okNHug8+ECJNM78+xf75irV6ZmqG6ThU8aWWthrVqBmHDyyg545nkmB+WTQurnVChPK9wnf04KJ0Q2yKNu/m4bgjhyTFXvHIvlPNCIBQxKlJY1Ce4RvMSJuhQrGl2rYoEaLEjpotY53zuuDKuEBX5fbdOWQxvrwZl5iPtHk6iow= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=a4VYIiu8UvN0ib7ubgUjCnaOUcP+W8NEjiareQCXZN0XzxgYVBIgAWmXvWtarbuf54uBSFlRAcAqWikTimx409S9NVgWy/Eq8auVOrCuDbFXrsTwQ1fbsxySx4FS15zMX0KVNsyVIEh4+Y4zqhVOc2ann76HvKknZVz4ZlNbzWU= Received: by 10.114.39.16 with SMTP id m16mr994998wam.1180642394530; Thu, 31 May 2007 13:13:14 -0700 (PDT) Received: by 10.114.130.2 with HTTP; Thu, 31 May 2007 13:13:14 -0700 (PDT) Message-ID: <604682010705311313j10b71c4fq387fa4fe1f80d453@mail.gmail.com> Date: Thu, 31 May 2007 16:13:14 -0400 From: "Stephen Weeks" Sender: stephentweeks@gmail.com To: "David Teller" Subject: Re: [Caml-list] JavaScript parser Cc: OCaml In-Reply-To: <1180641737.6053.17.camel@Blefuscu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1180641737.6053.17.camel@Blefuscu> X-Google-Sender-Auth: cca27fde2d09198f X-Miltered: at discorde with ID 465F2C5C.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 parser:01 ocaml:01 checker:01 sml:01 sml:01 javascript:98 javascript:98 caml-list:01 implemented:02 static:03 implementing:06 unstable:08 cgi:90 scratch:10 > Does anyone know of a JavaScript parser for OCaml ? This would save me some > work towards the development of a JS static checker. I know of one in SML, which might be easier to port than to start from scratch. http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/entain/javascript/unstable/ Also, the Mozilla guys are implementing the Ecmascript 4 spec in SML. They are pretty far along as I understand it. They must have some kind of JS parser implemented in SML too. You might ask on the ES4 list. https://mail.mozilla.org/listinfo/es4-discuss