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 A3207801F6 for ; Tue, 12 Sep 2017 23:50:31 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stecksoft@gmail.com; spf=Pass smtp.mailfrom=stecksoft@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of stecksoft@gmail.com) identity=pra; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="stecksoft@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of stecksoft@gmail.com designates 209.85.192.182 as permitted sender) identity=mailfrom; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="stecksoft@gmail.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@mail-pf0-f182.google.com) identity=helo; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="postmaster@mail-pf0-f182.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AuFqz4xCrg2UeC+GweF9UUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP77o8bcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6lX71zMZGw3+OAxp?= =?us-ascii?q?Pay1X9eK14Xkn9y1rrTXagROzBSnYKh5LF3ipAHYt89Qj5FjMa0x4h/EsnpGeq?= =?us-ascii?q?JdwmY+dnyJmBOprP+54Zor2mIYgO4s/M1EXL+wN/AjUbFTDxw9L20+59bsuwWF?= =?us-ascii?q?RgyKsChPGl4KmwZFVlCWpCrxWY38526j7rJw?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A+AgAWVrhZhrbAVdFcHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBhQEnB4NwmkZEBoEqmESJfQdCFQEBAQEBAQEBAQEBEgEBAQg?= =?us-ascii?q?LCwgoL4IzBQEeAQWCPAEFIx0BOAEDDAEFBQsNAgImAgIiEgEFARwGE4oZAwgNo?= =?us-ascii?q?ABAjAuCJ4MKBYQBJw2DdioCBhJ8gh2CAoEIhVOICoJhAQSgdAKUUIF7AZB2lRs?= =?us-ascii?q?UBR+BFTWBL3cVShoGgx6BS4IuJDaIM4FTAQEB?= X-IPAS-Result: =?us-ascii?q?A0A+AgAWVrhZhrbAVdFcHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BhQEnB4NwmkZEBoEqmESJfQdCFQEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzBQEeA?= =?us-ascii?q?QWCPAEFIx0BOAEDDAEFBQsNAgImAgIiEgEFARwGE4oZAwgNoABAjAuCJ4MKBYQ?= =?us-ascii?q?BJw2DdioCBhJ8gh2CAoEIhVOICoJhAQSgdAKUUIF7AZB2lRsUBR+BFTWBL3cVS?= =?us-ascii?q?hoGgx6BS4IuJDaIM4FTAQEB?= X-IronPort-AV: E=Sophos;i="5.42,384,1500933600"; d="scan'208";a="237254999" Received: from mail-pf0-f182.google.com ([209.85.192.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2017 23:50:29 +0200 Received: by mail-pf0-f182.google.com with SMTP id e1so20617635pfk.1 for ; Tue, 12 Sep 2017 14:50:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=qGv0HMJNibDBahZy+M5MueA/7tIPGsvVfpY5W6QdrBI=; b=ASVeVbxZaI1dvVNBJsP0CGlWr+jGVxZcoHDTX+MEacs4az4DfUxlCtZQrAUlG1bDtq 4mbCCWMj17m0fNc2okrQLwQ5p0bXfFWMICy8mWRNMdso86w1hZDVtzWSY4jR+Ul/ie3z 6ikA7dBSQ+ClDvxgG7E9OPwTL9wIzWt/6dd0Dv8S+DWVmWeFSgAnCY2J0ml2EFB2ufid 1G3F0igPkcZXTyNVbpnuig0tm1W0JymC9VtCViw/PkG/Htlkjjs50QXv3nCEWaYsE+I5 HTg+Gp7x21iZFJg2s3zxVNOxxxqZz5EAp2+fWum5yIvE8FYMypQmP5pVwbrfDBoh19pD RcAA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=qGv0HMJNibDBahZy+M5MueA/7tIPGsvVfpY5W6QdrBI=; b=p2JImNc2A1cCkmoY/y96kuxUCRtT48XrWZJy04NjSeUAq2hvUs0T1CC2pI44ZwaT4F AK98jfAK68f65svmdV05OYQZdCBIOUxcZGnQC81Xbg29kYChb8dWnRPHMjESzVIvUgBY sc1WpIyLgMamJF5YYjZmt2EtbqFshvdX9G8lOxOKAzrl/aLV1O/6TCMp0m+DnllMbPx9 qbU3xzf1qtIJPQsKiCMm7frVe8l99FxC5kAE4SsqE/eryLCnST9Rc8jJNmlDSlmBp9JC MAn2e1y3ksFLd1OPoUhK8R/377PQC5qHXIMqOoHqeEf3/UE5LVDklsIpPj2Qv+7HHqyv O5LQ== X-Gm-Message-State: AHPjjUj5Mvt5gB7bcf1euPkHTW4BBsanSUarp7bOyE7axF2PocaRqaLe H8tVLK8uqGUdhoXB3UnqmEB8CC9PGnh2QiSzrD8= X-Google-Smtp-Source: ADKCNb5dFBZom8VyRLhgyWmEqew/iieruyAUAfHri7NkSg5JO5IsY2p54NXhjHkQTLx2AjQbQgbtXjdxj2vQsssxQpQ= X-Received: by 10.84.235.136 with SMTP id p8mr17719700plk.8.1505253028222; Tue, 12 Sep 2017 14:50:28 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 10.100.148.100 with HTTP; Tue, 12 Sep 2017 14:49:57 -0700 (PDT) In-Reply-To: <21484041-b7ed-33f0-4434-6817a82289fe@lexifi.com> References: <21484041-b7ed-33f0-4434-6817a82289fe@lexifi.com> From: "Paul A. Steckler" Date: Tue, 12 Sep 2017 17:49:57 -0400 X-Google-Sender-Auth: MSiRZ9cDySOa8UixpyswZ_g1nIk Message-ID: To: Alain Frisch Cc: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Default value in module On Tue, Sep 12, 2017 at 5:40 PM, Alain Frisch wrote: > What would be allowed as a default value is not completely clear (you don't > want to carry runtime values with module types). Yes, propagating the default value sounds like the main implementation obstacle.