From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2DE99801F6 for ; Tue, 12 Sep 2017 23:29:50 +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-pg0-f54.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=74.125.83.54; 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 74.125.83.54 as permitted sender) identity=mailfrom; client-ip=74.125.83.54; 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-pg0-f54.google.com) identity=helo; client-ip=74.125.83.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="postmaster@mail-pg0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Am0gx8h3nOWIwUbZzsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segWKPad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Bx/iwgtG155TWKy9Bnjy6cPsmPRKqpADbv9MQhppKJaM4yx+PqXxNLb?= =?us-ascii?q?d432RtcBirlgv4ru72tKV//i9Tv/87vYYUSrn3dKcQVqBVBzc9NG4posbssE+Q?= =?us-ascii?q?HkO0+nIAXzBOwVJzCA/f4US/B8+pvw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAgBfUbhZhjZTfUpcHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBhQEnB4FWghqKIZAlOwkGgSYEiDqNboIciX0HPxgBAQEBAQE?= =?us-ascii?q?BAQEBARIBAQEICwsIKC+CMwUBHgEFgjwBBSMdATgBAwwBBQULDQICJgICIQESA?= =?us-ascii?q?QUBHAYTihkDCA2gAECMC4IngwoFhAAnDYNyKgIGEnyCHYICgQiFU4JYhTKCYQE?= =?us-ascii?q?EoDg8Ao9ZhHeBewGQdoxWiEUUBR+BFR+BRXcVShoGgx6BS4IuJDaIM4FTAQEB?= X-IPAS-Result: =?us-ascii?q?A0BdAgBfUbhZhjZTfUpcHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BhQEnB4FWghqKIZAlOwkGgSYEiDqNboIciX0HPxgBAQEBAQEBAQEBARIBAQEIC?= =?us-ascii?q?wsIKC+CMwUBHgEFgjwBBSMdATgBAwwBBQULDQICJgICIQESAQUBHAYTihkDCA2?= =?us-ascii?q?gAECMC4IngwoFhAAnDYNyKgIGEnyCHYICgQiFU4JYhTKCYQEEoDg8Ao9ZhHeBe?= =?us-ascii?q?wGQdoxWiEUUBR+BFR+BRXcVShoGgx6BS4IuJDaIM4FTAQEB?= X-IronPort-AV: E=Sophos;i="5.42,384,1500933600"; d="scan'208";a="237253995" Received: from mail-pg0-f54.google.com ([74.125.83.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2017 23:29:36 +0200 Received: by mail-pg0-f54.google.com with SMTP id d8so23593692pgt.4 for ; Tue, 12 Sep 2017 14:29:36 -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=Z3WaUzoAEW5SUtDfXB3TpZxCr3VCT9nla1SJRPIEDSA=; b=o7iaedXqFp9/xCze/VxqfH81WTvHnv4VTCnc0hjPtC1jm/BbbVBkW3RXy4iAb14h/t xTkdIPPd9jWENvTEKNZ0qG5+tdtSLBBaXSlUre03NaTUBg0bDhC1g/oQPZxHGRPC756M qJBirrWUL5V9zlBNJTf4g+cpV38U15XiYSEAutA8B1rspYvbtYUYtXSe6zf4XQtoGIeq vFZCpeS82OI/2sCp4MfEf/W9eosz8O46By6ysIf5v5xLbVAu+UwEKO7w3WxixhTaMYiG iJHUvbZ16Dg87uGp0yT2dAmvtxHr8RWZJ5X2t3L29p9B37Q4uj+PPsrmKs83jQPx+h4c GcHw== 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=Z3WaUzoAEW5SUtDfXB3TpZxCr3VCT9nla1SJRPIEDSA=; b=pt2qK4uQAiD6RLJ9HNjVKyG6jttIeZngws/fq+nmEBq9ozSB+FfgOuFzRxzbj0+rMX RpqOA3SDqQfP8qGNanrOrCLFtYVK+u7udQcgRuNluZVK144QUxbvm1KzF9D4lQrOWzIZ 28K2LeF2TWdJiPHmRgWlDgRsLXUKw/wcdURQWnzYKKZUKqM6LyuswMob0KVXBEAEXSGN fOFL8fNdHCqfsRnhSvm/IAFrSX7ezNns+22GnZ0qI/78P+V93qOnsAFmLUNJJZgvVAwd crVMg70f9Y3/JZJJ33dHvTXsGjGFq6ZC5hbe1v102lRGqElMIgy8jvsVYaY/F67CJH3j gOvQ== X-Gm-Message-State: AHPjjUj1oRzZIdsz6L31jKH8y5Dwobjrf2wu5cbWy+Xs5KNUChMQr1qq GZZp21YhQn4UTd9PmPc8wslVBjyBFxlktNSqUuY= X-Google-Smtp-Source: ADKCNb6IGbYSMN+AE4rPGw5ZKNPtd5rm29TUXIrafqAN9ahxobDDidUgzrNVC4YHMVHIbVOVK04k0VN1U48Cf79rT4o= X-Received: by 10.99.98.68 with SMTP id w65mr15921775pgb.234.1505251774317; Tue, 12 Sep 2017 14:29:34 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 10.100.148.100 with HTTP; Tue, 12 Sep 2017 14:29:03 -0700 (PDT) In-Reply-To: References: From: "Paul A. Steckler" Date: Tue, 12 Sep 2017 17:29:03 -0400 X-Google-Sender-Auth: seqd7FAgAQ3BUTmkKKknbZze1C8 Message-ID: To: Yotam Barnoy 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:21 PM, Yotam Barnoy wrote: > The easiest thing to do is to create a prototype module with the value > you want, and to include that module (include Foo) in any module you > want to have that basic structure. Yes, but that means I have to write "include Foo" to get the default value. My goal is to avoid writing anything extra when I'm using the default value.