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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id E357BBBCA for ; Mon, 5 May 2008 08:31:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMCAAtGHkjBMjI+iGdsb2JhbACBU5AiAQEBDyCXUA X-IronPort-AV: E=Sophos;i="4.27,436,1204498800"; d="scan'208";a="11834053" Received: from haydn2002.u-bourgogne.fr ([193.50.50.62]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 May 2008 08:31:47 +0200 Received: from alcazar.inria.fr (guesdon@hydroptere.u-bourgogne.fr [193.52.236.56]) by haydn2002.u-bourgogne.fr (8.13.8/8.13.8) with ESMTP id m456Vjkj030562; Mon, 5 May 2008 08:31:45 +0200 Date: Mon, 5 May 2008 08:36:12 +0200 From: Maxence Guesdon To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Should a /\ operator be possible? Message-ID: <20080505083612.0903b052@alcazar.inria.fr> In-Reply-To: <2B71D022-538D-45CB-BCF9-B48A63187DD4@erratique.ch> References: <20080501194149.GA30095@annexia.org> <20080501212023.GA373@annexia.org> <481ADD86.3000802@frisch.fr> <2B71D022-538D-45CB-BCF9-B48A63187DD4@erratique.ch> X-Mailer: Claws Mail 3.4.0 (GTK+ 2.12.9; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Miltered: at haydn02.u-bourgogne.fr with ID 481EA9D1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Scanned-By: MIMEDefang 2.63 on 193.50.50.62 X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 bunzli:01 buenzli:01 syntax:01 cameleon:01 cameleon:01 snippets:01 invoke:01 wrote:01 caml-list:01 alain:01 define:02 On Fri, 2 May 2008 13:54:37 +0200 Daniel B=FCnzli wrote: >=20 > The unicode standard dicusses a syntax for identifiers here [1]. Note =20 > that determining if two identifiers are equal needs to invoke the =20 > unicode normalization machinery, it is not just a matter of knowing =20 > what is a letter and a symbol. That being said, I really don't see =20 > unicode identifiers as a must have feature, au contraire. >=20 > Regarding the use of math symbols, I think Alain is right, it should =20 > be addressed as a presentation issue. Actually that's the way Fortress =20 > [3] handles it, as a rendering issue. Chamo, the source code editor coming with Cameleon, has such a rendering feature, and here is an example snippet to use greek letters in the editor: http://home.gna.org/cameleon/snippets.en.html It's up the the user to define his own mapping function between source file and utf8 text displayed. Regards, Maxence