From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p34K7GVX020767 for ; Mon, 4 Apr 2011 22:07:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0AAFAkmk2AAtnFkWdsb2JhbACYX40FFAEBAQEJCwsHFAUguUaIbIVrBA X-IronPort-AV: E=Sophos;i="4.63,299,1299452400"; d="scan'208";a="104952251" Received: from smtp02.srv.cs.cmu.edu ([128.2.217.197]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Apr 2011 22:07:11 +0200 Received: from stratocaster.home (pool-173-75-141-44.pitbpa.fios.verizon.net [173.75.141.44]) (authenticated bits=0) by smtp02.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id p34K78Ik028271 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 4 Apr 2011 16:07:08 -0400 (EDT) Received: from ecc by stratocaster.home with local (Exim 4.74) (envelope-from ) id 1Q6q3I-0004IR-2X for caml-list@inria.fr; Mon, 04 Apr 2011 16:07:08 -0400 Date: Mon, 4 Apr 2011 16:07:08 -0400 From: Eric Cooper To: caml-list@inria.fr Message-ID: <20110404200708.GA16237@localhost> Mail-Followup-To: caml-list@inria.fr References: <20110404125959.GA29154@pps.jussieu.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20110404125959.GA29154@pps.jussieu.fr> User-Agent: Mutt/1.5.21 (2010-09-15) X-Scanned-By: mimedefang-cmuscs on 128.2.217.197 Subject: Re: [Caml-list] [ANN] The OCaml interactive toplevel in your Web browser On Mon, Apr 04, 2011 at 02:59:59PM +0200, Jerome Vouillon wrote: > Technically, the OCaml toplevel and the Js_of_ocaml compiler have been > put together in a single OCaml program, which has then been compiled > to Javascript. The source code is currently available in the darcs > repository of the Js_of_ocaml compiler. Very nice. I notice that (=) is defined on functional values in your implementation, whereas it raises an exception in the traditional toplevel. -- Eric Cooper e c c @ c m u . e d u