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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 13DE67F61E for ; Tue, 21 Nov 2017 18:43:24 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f178.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.216.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.216.178 as permitted sender) identity=mailfrom; client-ip=209.85.216.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f178.google.com) identity=helo; client-ip=209.85.216.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f178.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1F1ghxTH5vleWtJ7dplZjkbfKNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZhWN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY6Uy/yPgtt?= =?us-ascii?q?J+nzBpWaz4Huj7jzqKvofh5QiTGhTbR3JRSw5UWN54hFybdlf5c41RLT6lJNeu?= =?us-ascii?q?IekXJhOluJ2R/558GY85tq8iAWsPUkoZ1uS6L/KosxR6ZZATBuCGs16dfmr1GX?= =?us-ascii?q?QgKF/HoRViMNmRpFGQXfxB7/V5b19CD9s7wui2GhIcTqQOVsCnyZ5KBxRUqt1X?= =?us-ascii?q?4K?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CoAACpZBRaf7LYVdFbGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYNjP24UEweDeJlJgX2CVZYeCiOFFAICAoUCB0IVAQEBAQEBAQE?= =?us-ascii?q?BARIBAQkLCwgmMYI4BQEeBoI9AQUjHQEbEgsBAwwGAwILDQICCR0CAiEBAREBB?= =?us-ascii?q?QEKEgYTEol3AQMVEIpbkRtAjBCCBQUBHIMKBYNhChknAwpYglcBAQEBAQUBAQE?= =?us-ascii?q?BAQEBGQIGEn2CJYIHgVWFFIJrOYF3gxWCYwWISQyZLD2CN4U7iCGEeYJ4kFWMd?= =?us-ascii?q?DqIcxQFH4EWNYIXNCElXjWCLwmCRIITQDYBiVmBWAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CoAACpZBRaf7LYVdFbGQEBAQEBAQEBAQEBAQcBAQEBAYN?= =?us-ascii?q?jP24UEweDeJlJgX2CVZYeCiOFFAICAoUCB0IVAQEBAQEBAQEBARIBAQkLCwgmM?= =?us-ascii?q?YI4BQEeBoI9AQUjHQEbEgsBAwwGAwILDQICCR0CAiEBAREBBQEKEgYTEol3AQM?= =?us-ascii?q?VEIpbkRtAjBCCBQUBHIMKBYNhChknAwpYglcBAQEBAQUBAQEBAQEBGQIGEn2CJ?= =?us-ascii?q?YIHgVWFFIJrOYF3gxWCYwWISQyZLD2CN4U7iCGEeYJ4kFWMdDqIcxQFH4EWNYI?= =?us-ascii?q?XNCElXjWCLwmCRIITQDYBiVmBWAEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,432,1505772000"; d="scan'208";a="301864782" Received: from mail-qt0-f178.google.com ([209.85.216.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Nov 2017 18:43:23 +0100 Received: by mail-qt0-f178.google.com with SMTP id r58so20319352qtc.0 for ; Tue, 21 Nov 2017 09:43:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=ALD4tkzA8fkFTObEZyLuC/51/yELCGtS0K4RNg2gyGY=; b=a2MxnWqHwJ1Tz8Glwzali5WZX/xMPqi+JGraQ9mNYYdhnfoiRUrp87x6XCVyrenDqT Aecb1Z7PQFI6CChcpsAnZ0WpYk00FWebjkTh9sT2W9/bnyQeE6Cy4d9MNHp7aaBdamdF fIm3D6NflGloKnA3UhJM/sU/AaDZ8V9AWBRqMM3rnQNymPbtBjESe71nOEqYgVGtvuB4 gD6mhyH6LBFJ5yWs10A3zkJqCRmzKF+OQCNc1TMIicOXH3Nj/9YOse2pZ+3ctuxKPsVh WbM5uZwe367BPxYdiYvIJWYt5ynBnJP9sRhAdiHkM5ZLfB2DK5DuebTqg2eO63Y/dAkv vJ3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=ALD4tkzA8fkFTObEZyLuC/51/yELCGtS0K4RNg2gyGY=; b=S7FjtNEh0wJy+BIkDkXoMou/2pO3VIMZuDpLWY7B6h/UfsPz99CjKlTrUwPp0n2JQb +eVVDBduJ0sfbN8g3ljXzU3UOUGzi2h2deaY5lZ1KlAKC2YEDMsJyaFzcWqF+Vu87X9a 9fpnU/+/EDKDM4++F3xt3a7Us9VN380599M/z2t02t2fvJSRLRWC1QB3jkO0k9I7I/JA /0nNwR5K9zJFlG+Y5WeprNyKXTty/4cxQqO5r/1tI2ipOvBr1iwJ54uPQ0NBGWJS8EQr q9KRPficKcVheILpHjLthOw7q6j1QLRwus2DR0iMHttVFWxscS2Ti8xE27qHXUyhaPN0 nwIA== X-Gm-Message-State: AJaThX4i076PuJxTkPSPm+Zmf65/dOq+EgR59Vf3shMZiDXt+zW3qmp5 bi3NMfGkB34+3jEMBEU7+QLvrhdOugeXlKJAfMg= X-Google-Smtp-Source: AGs4zMYN3lQRvVuH4KuaGvDmrPK0YSDxmOEAHzcaYixNn9I8KYT/7ODQSfK+jCIpZTP2GswIl8jGNVwGRByUmjE+CWo= X-Received: by 10.237.61.181 with SMTP id i50mr29608304qtf.29.1511286202212; Tue, 21 Nov 2017 09:43:22 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.130.3 with HTTP; Tue, 21 Nov 2017 09:42:41 -0800 (PST) In-Reply-To: References: <66db11ce-9b53-918e-addb-6bcc727a6464@users.sourceforge.net> From: Gabriel Scherer Date: Tue, 21 Nov 2017 18:42:41 +0100 Message-ID: To: Yawar Amin Cc: SF Markus Elfring , =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= , caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Checking support for string concatenation by OCaml This would create a cyclic dependency as String depends on Pervasives (for (+), for example). On Tue, Nov 21, 2017 at 5:45 PM, Yawar Amin wrote: > Now that you mention it, `(^)` should really be defined in the `String` > module and then aliased from `Pervasives`. This seems like a reasonable PR > to send to the OCaml repo. > > On Tue, Nov 21, 2017 at 11:28 AM, SF Markus Elfring > wrote: >> >> > It is documented in stdlib reference: >> > >> > https://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html >> >> Thanks for your link. >> >> Would it be nice to repeat such information also at other places >> in the provided documentation? >> >> Are you interested to compare the run time characteristics from the usage >> of the operator =E2=80=9C^=E2=80=9D (for string concatenation) to the ot= her available >> programming interfaces? >> >> Regards, >> Markus >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > >