From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7E26E7F61E for ; Tue, 21 Nov 2017 20:22:26 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.44,432,1505772000"; d="scan'208";a="245522920" Received: from unknown (HELO localhost) ([193.52.24.39]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 Nov 2017 20:22:26 +0100 Date: Tue, 21 Nov 2017 20:22:25 +0100 From: Rodolphe Lepigre To: Gabriel Scherer Cc: Caml list Message-ID: <20171121192225.GD1991@HPArchRod.localdomain> References: <66db11ce-9b53-918e-addb-6bcc727a6464@users.sourceforge.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.9.1 (2017-09-22) Subject: Re: [Caml-list] Checking support for string concatenation by OCaml On 21/11/17 18:42, Gabriel Scherer wrote: > This would create a cyclic dependency as String depends on Pervasives > (for (+), for example). Speaking of which, it would be great to have an "Int" module in the standard library to be able to write "Map.Make(Int)". Is there a reason why this has not (yet) been done? Of course, this also applies to "Float". Cheers, Rodolphe -- Rodolphe Lepigre Inria (Deducteam), LSV, CNRS, Université Paris-Saclay, FRANCE https://lepigre.fr