From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 1B3A1BC69 for ; Thu, 4 Oct 2007 23:56:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANb9BEfAXQInemdsb2JhbACOOAEBCQo X-IronPort-AV: E=Sophos;i="4.21,232,1188770400"; d="scan'208";a="3769705" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2007 23:56:51 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l94LupFE029038 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 23:56:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIv+BEfRVZKwkmdsb2JhbACOOAEBAQEHBAQp X-IronPort-AV: E=Sophos;i="4.21,232,1188770400"; d="scan'208";a="2394986" Received: from wa-out-1112.google.com ([209.85.146.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 23:56:50 +0200 Received: by wa-out-1112.google.com with SMTP id m34so422203wag for ; Thu, 04 Oct 2007 14:56:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=bi8P+repbEWWy3/RdK9Ij1fB9W1CLBpfXPQl0xty6PI=; b=jGWarkdGjpJHIywwJA/a5awQzFxzxY+OnHbgH5DYPjxGT5XJ7WMv2phqLhV6qxYLO/u3lMDg+gr5wYfFjqX8F+lh3LuwtN7fVTFxUGTqYqpoMEFI5ckYLOudjSB3wH//WbORb8GZU2XSaGIkFEEABSxeKsa8XVR/s7MJD7hkils= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Off8nCz8ljwG8KGgVtB1Quf+w8ZGMP32ljUqBRbB0KdqUysFDaCMMPhrWhIpv1impc7KHcuo0jnV5lkQfMoB9aVnUWLBkIFiCWAD4OXXFMqCoEQHbyhCyysd9JXG/9g4wdz/TDIivMrSaccSHOuet1DyCQTBiuuSP4E2/ZsaO1Q= Received: by 10.114.197.1 with SMTP id u1mr6549878waf.1191535007298; Thu, 04 Oct 2007 14:56:47 -0700 (PDT) Received: by 10.114.203.16 with HTTP; Thu, 4 Oct 2007 14:56:47 -0700 (PDT) Message-ID: <875c7e070710041456h648798bj738521d934774ec0@mail.gmail.com> Date: Thu, 4 Oct 2007 17:56:47 -0400 From: "Chris King" To: "Ashish Agarwal" Subject: Re: [Caml-list] Importing module signatures ? Cc: OCaml In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1191500391.6118.23.camel@Blefuscu> <875c7e070710040709x3cbae411p9cc40e932571470d@mail.gmail.com> <6B825E73-5646-479B-85AA-8F6F5C496A7C@yahoo.fr> X-Miltered: at concorde with ID 470561A3.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; struct:01 1975:98 wrote:01 signatures:01 caml-list:01 string:02 string:02 seems:03 module:03 module:03 library:03 style:93 chris:06 chris:06 standard:07 On 10/4/07, Ashish Agarwal wrote: > ----MyString.ml----- > module String = struct > include String > (* ... my extensions *) > end > This way I can do "open MyString" and easily switch between my > extended module versus the standard library. Is this good style? This is what's used in ExtLib, and it seems to work well. - Chris