From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=sBARnYgA; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 2AABF40022 for ; Thu, 25 Jun 2026 12:45:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=IfSo2FTSuyW6LX4DgYOYeyQhlcJRGwKAGkSjPyCHdyw=; b=sBARnYgAxQkXigujZMKtqgWMagROWQiSCwM1JOIBXMkCw0uwg188F8hX /YVIwrmG/7YvLr2pSuQviPxHGO1J6Wb9u2wvPg4/UnGy0YRbOhvuksLUp 9aQt2fFQI+q9Rz2K+7IzWSVjobNwufN0AzsQr4XdNx2p4TB5swxbtwxPH A=; X-CSE-ConnectionGUID: xc0sbDjGTgaiN1NCys8vrw== X-CSE-MsgGUID: e0eIzAerTeO0lwWup1tk8w== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,224,1774306800"; d="scan'208";a="283385448" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2026 14:45:29 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1864881EA5; Thu, 25 Jun 2026 14:45:29 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 281DE81EA0 for ; Thu, 25 Jun 2026 14:45:19 +0200 (CEST) X-CSE-ConnectionGUID: XPsRjW97TjabNGfz2UzCrA== X-CSE-MsgGUID: 1scty6CJRo20VQ2juowSRg== X-IronPort-AV: E=Sophos;i="6.24,224,1774306800"; d="scan'208";a="150432631" Received: from 96.1.179.92.siewf.dynamic.ftth.abo.nordnet.fr (HELO [192.168.1.215]) ([92.179.1.96]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Jun 2026 14:45:19 +0200 Message-ID: <861de205-0471-4a17-b020-c0494914437b@inria.fr> Date: Thu, 25 Jun 2026 14:45:17 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr References: From: Olivier Nicole Content-Language: en-US In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Modular explicits in pre-OCaml 5.5 Reply-To: Olivier Nicole X-Loop: caml-list@inria.fr X-Sequence: 19538 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: Thanks for pointing this out. Does this mean that modular explicits, strictly speaking, bring no additional expressivity but only a simpler way to do these things? Or are there programs that could be expressed with modular explicits but not with constrained module types?