From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nicolas.ratier@femto-st.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 7C13D7F9BB
	for <caml-list@sympa.inria.fr>; Wed,  2 Jul 2014 10:34:09 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  nicolas.ratier@femto-st.fr) identity=pra;
  client-ip=194.57.88.66;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nicolas.ratier@femto-st.fr";
  x-sender="nicolas.ratier@femto-st.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  nicolas.ratier@femto-st.fr) identity=mailfrom;
  client-ip=194.57.88.66;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nicolas.ratier@femto-st.fr";
  x-sender="nicolas.ratier@femto-st.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@lifc-proxy.univ-fcomte.fr) identity=helo;
  client-ip=194.57.88.66;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nicolas.ratier@femto-st.fr";
  x-sender="postmaster@lifc-proxy.univ-fcomte.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmcBAJXDs1PCOVhCl2dsb2JhbABaykqBLQ8BAQEBAQgWBzyEQkA9FhgDAgECAVgIAQGIQpplqmSPPIQtBaFvkD4
X-IPAS-Result: AmcBAJXDs1PCOVhCl2dsb2JhbABaykqBLQ8BAQEBAQgWBzyEQkA9FhgDAgECAVgIAQGIQpplqmSPPIQtBaFvkD4
X-IronPort-AV: E=Sophos;i="5.01,587,1400018400"; 
   d="scan'208";a="83255603"
Received: from lifc.univ-fcomte.fr (HELO lifc-proxy.univ-fcomte.fr) ([194.57.88.66])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 02 Jul 2014 10:33:45 +0200
Received: from [172.16.120.233] (nat-tf.ens2m.fr [194.167.45.244] (may be forged))
	(authenticated bits=0)
	by lifc-proxy.univ-fcomte.fr (8.14.4/8.14.4/Debian-4) with ESMTP id s628Xhl6021382
	(version=TLSv1/SSLv3 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Wed, 2 Jul 2014 10:33:44 +0200
Message-ID: <53B3C402.8070001@femto-st.fr>
Date: Wed, 02 Jul 2014 10:34:10 +0200
From: Nicolas Ratier <nicolas.ratier@femto-st.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120328 Thunderbird/11.0.1
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Scanned-By: MIMEDefang 2.71 on 194.57.88.66
Subject: [Caml-list] Case insensitive in type

Hello,

We use the type :

type term =
   | Term of string * term list
   | Var  of string * int
;;

I would like the string of the Term constructor not to be case sensitive,
for example, all the following terms should be the same :
Term("Plus",[...])
Term("plus",[...])
Term("PLUs",[...])

Is it possible ?
Thanks,

Nicolas