From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p359fH39022516 for ; Tue, 5 Apr 2011 11:41:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMDAFDjmk2GnQCBk2dsb2JhbACYYI0JFAEBAQEJCQsJFAMiwlaFawQ X-IronPort-AV: E=Sophos;i="4.63,303,1299452400"; d="scan'208";a="96302347" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Apr 2011 11:41:12 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id p359ektj090444 for ; Tue, 5 Apr 2011 11:40:59 +0200 (CEST) X-Ids: 168 Received: from strontium.pps.jussieu.fr (strontium.pps.jussieu.fr [134.157.168.38]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTPS id 4547CC005F; Tue, 5 Apr 2011 11:40:45 +0200 (CEST) Received: from vouillon by strontium.pps.jussieu.fr with local (Exim 4.74) (envelope-from ) id 1Q72kf-0001AN-2Y; Tue, 05 Apr 2011 11:40:45 +0200 Date: Tue, 5 Apr 2011 11:40:45 +0200 From: Jerome Vouillon To: caml-list@inria.fr Message-ID: <20110405094045.GA4183@pps.jussieu.fr> References: <20110404125959.GA29154@pps.jussieu.fr> <20110404200708.GA16237@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20110404200708.GA16237@localhost> User-Agent: Mutt/1.5.20 (2009-06-14) X-Miltered: at jchkmail.jussieu.fr with ID 4D9AE39E.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4D9AE39E.002/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ Subject: Re: [Caml-list] [ANN] The OCaml interactive toplevel in your Web browser On Mon, Apr 04, 2011 at 04:07:08PM -0400, Eric Cooper wrote: > 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. Indeed, the generic comparison function does not check for functional values. Thus, the (implementation-dependent) string representations of the functions end up to be compared. -- Jerome