From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 15787BBAF for ; Mon, 28 Jun 2010 04:13:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhgDAIeiJ0zIg9C6i2dsb2JhbACSfYwvFQEBARUKGCKuY4Y+LohYhSQEijQ X-IronPort-AV: E=Sophos;i="4.53,493,1272837600"; d="scan'208";a="54052603" Received: from emailteste.ufop.br ([200.131.208.186]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Jun 2010 04:13:08 +0200 Received: (qmail 3488 invoked by uid 89); 28 Jun 2010 02:13:04 -0000 Received: by simscan 1.3.1 ppid: 3481, pid: 3485, t: 0.0067s scanners: attach: 1.3.1 clamav: 0.96/m:52/d:10754 Received: from unknown (HELO malaquias.no-ip.org) (romildo@iceb.ufop.br@200.131.25.75) by 0 with ESMTPA; 28 Jun 2010 02:13:04 -0000 Received: by malaquias.no-ip.org (Postfix, from userid 500) id 3028F19671D; Sun, 27 Jun 2010 23:15:43 -0300 (BRT) Date: Sun, 27 Jun 2010 23:15:43 -0300 From: =?iso-8859-1?Q?Jos=E9?= Romildo Malaquias To: caml-list@inria.fr Subject: Symbol type Message-ID: <20100628021543.GA14360@malaquias.DHCP-GERAL> Mail-Followup-To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; romildo:01 malaquias:01 romildo:01 ocaml:01 compiler:01 atoms:98 prolog:01 lisp:02 scheme:05 comparison:05 function:08 useful:09 symbols:09 constant:11 type:14 Is there a symbol type in OCaml, with a constant time comparison function? Something like symbols from Scheme and LISP or atoms from Prolog. Useful in compiler construction. Romildo