From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <elfring@users.sourceforge.net>
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 398027F75C
	for <caml-list@sympa.inria.fr>; Thu, 11 Sep 2014 10:33:31 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  elfring@users.sourceforge.net) identity=pra;
  client-ip=212.227.17.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="elfring@users.sourceforge.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  elfring@users.sourceforge.net) identity=mailfrom;
  client-ip=212.227.17.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="elfring@users.sourceforge.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.web.de) identity=helo;
  client-ip=212.227.17.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="postmaster@mout.web.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkoBAM9dEVTU4xELnGdsb2JhbABg1DYBgQoWEAEBAQEBBg0JCRQqhAQBAQMBHVsBEAshFg8JAwIBAgFFBg0BBwEBiDYMrAuTZgEXj00HhEwBBJx8hysTBZFZgzkBAQE
X-IPAS-Result: AkoBAM9dEVTU4xELnGdsb2JhbABg1DYBgQoWEAEBAQEBBg0JCRQqhAQBAQMBHVsBEAshFg8JAwIBAgFFBg0BBwEBiDYMrAuTZgEXj00HhEwBBJx8hysTBZFZgzkBAQE
X-IronPort-AV: E=Sophos;i="5.04,504,1406584800"; 
   d="scan'208";a="94094009"
Received: from mout.web.de ([212.227.17.11])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Sep 2014 10:33:30 +0200
Received: from [192.168.1.215] ([78.49.18.115]) by smtp.web.de (mrweb101) with
 ESMTPSA (Nemesis) id 0MNcV4-1XQJms0qkc-007EDE; Thu, 11 Sep 2014 10:33:28
 +0200
Message-ID: <54115E56.5080208@users.sourceforge.net>
Date: Thu, 11 Sep 2014 10:33:26 +0200
From: SF Markus Elfring <elfring@users.sourceforge.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0
MIME-Version: 1.0
To: Francois Berenger <francois.berenger@inria.fr>
CC: caml-list@inria.fr
References: <54101221.3010304@users.sourceforge.net> <1410348425.3003.11.camel@thinkpad> <5410BB11.2070406@users.sourceforge.net> <5411533C.6060802@inria.fr> <5411590D.2050508@users.sourceforge.net> <54115C33.4050408@inria.fr>
In-Reply-To: <54115C33.4050408@inria.fr>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID:  V03:K0:BMyI+IzeQCLrYyqnI37/PQwo3/zCmlULbD3OJ0E2tqzU9ANd/Cy
 fpyJh9e5FCwe4ByvVpUTiCKPUzeHMUqrVGx/JG7/sdNOe96scRsGSfu6tu40Es2Xg5Kf2pA
 x14X9Lcjnd8ccqD66RbhnsE8kq37/nGpZFAHOu2Lr/Twoemann1guPu7PIzr63pi5OgDXKy
 FhKi97TXKsaYeWS0AxjxQ==
X-UI-Out-Filterresults: notjunk:1;
Subject: Re: [Caml-list] Clarification for the configuration of comparison
 functions

>> Should the shown function name be replaced by a call for "~cmp"?
> 
> Probably, but I am also not familiar with this code base.

Can any other OCaml software designer give a definitive advice here besides the
original developers?

Regards,
Markus