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 94B4E7F919 for ; Thu, 19 May 2016 12:18:57 +0200 (CEST) IronPort-PHdr: 9a23:Sk3HPRanw8ZTFUHT3Fc6eUb/LSx+4OfEezUN459isYplN5qZpcu5bnLW6fgltlLVR4KTs6sC0LqH9fu6EjZYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0oMeYOV0ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Ku4zRLlcSTAnKHwd5cvxtBCFQxHFri8XW2AS1x5JGBTt7RfgX563vDGs5cRn3yzPd/bxQL8oQzO6q+9OSRTogSoDfXZt9WDcisV9iORApx+uuwZ426bVZp2YMLx1eaaLLoBSfnZIQssED38JOYi7dYZaV+c= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga04.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.120 as permitted sender) identity=mailfrom; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mga04.intel.com) identity=helo; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga04.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ANAQBFkT1XgHg0N8BegmyBIX4Gug2BdRcBAoV3AoE1ORMBAQEBAQEBAREBAQkNCQkhJAuCLYIcLRxCAQweViYBBBuIJgGiFqFQMYYmiQ2CRgtAGIIuBZgrBgGdOY9JIgGELG6HBwF+AQEB X-IPAS-Result: A0ANAQBFkT1XgHg0N8BegmyBIX4Gug2BdRcBAoV3AoE1ORMBAQEBAQEBAREBAQkNCQkhJAuCLYIcLRxCAQweViYBBBuIJgGiFqFQMYYmiQ2CRgtAGIIuBZgrBgGdOY9JIgGELG6HBwF+AQEB X-IronPort-AV: E=Sophos;i="5.26,334,1459807200"; d="scan'208,217";a="178304352" Received: from mga04.intel.com ([192.55.52.120]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 May 2016 12:18:55 +0200 Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by fmsmga104.fm.intel.com with ESMTP; 19 May 2016 03:18:55 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,334,1459839600"; d="scan'208,217";a="705638943" Received: from irsmsx152.ger.corp.intel.com ([163.33.192.66]) by FMSMGA003.fm.intel.com with ESMTP; 19 May 2016 03:18:53 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.234]) by IRSMSX152.ger.corp.intel.com ([169.254.6.43]) with mapi id 14.03.0248.002; Thu, 19 May 2016 11:18:52 +0100 From: "Soegtrop, Michael" To: "caml-list@inria.fr" Thread-Topic: Predefined OrderedType module for plain int? Thread-Index: AdGxt9aNJUtSM2BRR+S9YW6b1NTwkw== Date: Thu, 19 May 2016 10:18:52 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF043F6@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF043F6IRSMSX102gercor_" MIME-Version: 1.0 Subject: [Caml-list] Predefined OrderedType module for plain int? --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF043F6IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Dear OCaml users, many standard library modules fulfill the OrderedType signature, like Int32= or String, so that they can be readily used e.g. to create Sets or Maps. I= wonder if there is a predefined ordered type module for plain int? Of caus= e it is just 2 lines to create one, but if there is a predefined one, it wo= uld be less verbose and more readable to use this. Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928 --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF043F6IRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Dear OCaml users,

 

many standard library modules fulfill the OrderedTyp= e signature, like Int32 or String, so that they can be readily used e.g. to= create Sets or Maps. I wonder if there is a predefined ordered type module= for plain int? Of cause it is just 2 lines to create one, but if there is a predefined one, it would be less = verbose and more readable to use this.

 

Best regards,

 

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF043F6IRSMSX102gercor_--