From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q4ACMwDk028447 for ; Thu, 10 May 2012 14:22:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8CAIuyq0+AcIgmgWdsb2JhbABEtAciAQEWJieCVoFxDIghmXuYPIkJkFhjBKlC X-IronPort-AV: E=Sophos;i="4.75,565,1330902000"; d="scan'208";a="143330648" Received: from bluebox.cs.princeton.edu ([128.112.136.38]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 May 2012 14:22:57 +0200 Received: from sslvpn-96-153.sei.cmu.edu (vpn-nat-159.sei.cmu.edu [128.237.27.159]) (authenticated bits=0) by bluebox.CS.Princeton.EDU (8.13.8/8.13.8) with ESMTP id q4ACMqu7023930 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Thu, 10 May 2012 08:22:55 -0400 From: Yitzhak Mandelbaum Content-Type: text/plain; charset=us-ascii Date: Thu, 10 May 2012 08:22:51 -0400 Message-Id: To: OCaml mailing list Mime-Version: 1.0 (Apple Message framework v1257) X-Mailer: Apple Mail (2.1257) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q4ACMwDk028447 Subject: [Caml-list] optional functions in modules Hi, Is there any "common wisdom" regarding the inclusion of optional functions in a module signature? The two most obvious approaches involve 1) a pair of boolean flag and a function, where the function raises an exception if unimplemented OR 2) using the option type. I see pros/cons to each approach, but am curious if there's any (unofficial) standard approach. Yitzhak ----------------------------- Yitzhak Mandelbaum