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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 0AC98BC69 for ; Thu, 4 Oct 2007 15:02:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK6ABEfAXQImh2dsb2JhbACOOAEBCQon X-IronPort-AV: E=Sophos;i="4.21,229,1188770400"; d="scan'208";a="2131750" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 15:02:07 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l94D24hS007947 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 15:02:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK6ABEdA6ba8kmdsb2JhbACOOAEBAgcEBCc X-IronPort-AV: E=Sophos;i="4.21,229,1188770400"; d="scan'208";a="3748369" Received: from nf-out-0910.google.com ([64.233.182.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2007 15:02:07 +0200 Received: by nf-out-0910.google.com with SMTP id g13so157597nfb for ; Thu, 04 Oct 2007 06:02:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; bh=YQq4KyxpXJf2aONQFAqVGpz7bRKvEJGzYPMNXtHEPmI=; b=U89HWUgCIUvpmU+1lqKwSDdxALNF5poP5cIxePytOD3FKqNtW3L+mlig+J2CpBo0udHSHVOCBLie0uVN2GDEb/FcMFreHMruHPja5esa8dfrbYo7x+3N0aG8b1FnLSoRSqQAplFmQnjoMlbzD1//1PmetEvg5mRPfJHXqe8OCjs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=KC2s4t/jXPWY3Ss3ZM4wUNSYjrfvpFDUC/2tt6b9/OpZk6VUohjQHpHY1qt0UtErEtC3hRWu99rCZOeqjfaJXKsVVqVspmjHZGkNI6yrHqIoygG8phnDm15j/BOQLdQmVHT+jS8nCN8tCPshYLDb0/N/TNHLTrFgxWDd5o+a3jg= Received: by 10.86.100.7 with SMTP id x7mr1432106fgb.1191502926373; Thu, 04 Oct 2007 06:02:06 -0700 (PDT) Received: from ?192.168.0.12? ( [82.235.58.110]) by mx.google.com with ESMTPS id g8sm3200988muf.2007.10.04.06.02.03 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 04 Oct 2007 06:02:04 -0700 (PDT) Subject: RE: [Caml-list] Importing module signatures ? From: David Teller To: David Allsopp Cc: "'OCaml'" In-Reply-To: <01e701c80682$29580a90$017ca8c0@countertenor> References: <1191500391.6118.23.camel@Blefuscu> <01e701c80682$29580a90$017ca8c0@countertenor> Content-Type: text/plain Date: Thu, 04 Oct 2007 15:02:02 +0200 Message-Id: <1191502922.6118.50.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at discorde with ID 4704E44C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ens-lyon:01 0100,:01 mli:01 ocaml:01 lib:01 ocamlc:01 cheers:01 wrote:01 signatures:01 caml-list:01 inferred:02 string:02 string:02 seems:03 module:03 On Thu, 2007-10-04 at 13:29 +0100, David Allsopp wrote: > > It seems that String is the name of the module structure itself rather > > than its signature. But what is the name of the signature ? > > Module String is not constrained by a named signature - you either need to > copy the interface from string.mli (it'll be in your ocaml lib directory) or > use ocamlc -i to generate an inferred interface and copy it in (cf. the > Extlib module ExtList.List). If there is another way, then I'd be fascinated > to hear it too! Well, that's what I did. And I'm deeply dissatisfied with copying and pasting myself. Cheers, David