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.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8398BBC69 for ; Thu, 4 Oct 2007 14:20:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMd3BEfAXQInemdsb2JhbACOOAEBCQo X-IronPort-AV: E=Sophos;i="4.21,229,1188770400"; d="scan'208";a="17285251" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2007 14:19:56 +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 l94CJZo3013755 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 14:19:55 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANd2BEdA6ba6i2dsb2JhbACOOAEBCQIGIgU X-IronPort-AV: E=Sophos;i="4.21,229,1188770400"; d="scan'208";a="2370677" Received: from nf-out-0910.google.com ([64.233.182.186]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 14:19:55 +0200 Received: by nf-out-0910.google.com with SMTP id g13so146454nfb for ; Thu, 04 Oct 2007 05:19:55 -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:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; bh=NPzJmDGKKEhcE8LPmkngGmMDG02fOpy2Z+dME4yF/yQ=; b=eL/wvdfWfuJVcpuyR+Ol4Di7cbvrXnFNf9oh4S+4rfZi6JqAxQUDkC+PKVGJxnPN+KOZwgw+hMIjUdNFuMNHRmP5jCXkWuXnuw9W/w/7nYXiYruvZ1KZ44GWcjY/Na+m/90VZV1mok+ZgFTb+9ecJYIzz/QMtSJYNbxk82tfDxc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=qy8jAyyGA6406rqrlSiM649GzDfUyULdTGiaUn62X2sUimsca7WEq+NErSBjKFRi8LjdWDb0J8nTBQL4bEUZwJUYCrR3BvPX5bLWM6R1+VDw4vF0uUvIs7nfW5hww8vUsFfIbH5RyyLDpcI5+vwXs0iQd2GdyrecVoNo9Im49mA= Received: by 10.86.100.7 with SMTP id x7mr1431301fgb.1191500394998; Thu, 04 Oct 2007 05:19:54 -0700 (PDT) Received: from ?192.168.0.12? ( [82.235.58.110]) by mx.google.com with ESMTPS id y2sm3102312mug.2007.10.04.05.19.52 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 04 Oct 2007 05:19:53 -0700 (PDT) Subject: Importing module signatures ? From: David Teller To: OCaml Content-Type: text/plain Date: Thu, 04 Oct 2007 14:19:51 +0200 Message-Id: <1191500391.6118.23.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at concorde with ID 4704DA57.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; univ-orleans:01 functors:01 struct:01 sig:01 univ-orleans:01 lifo:01 d'orleans:01 unbound:01 signatures:01 string:02 string:02 laboratoire:03 seems:03 module:03 module:03 Hi everyone, I'm trying to extend a module into another module, preferably without using functors. For the implementation, I have no problem, simply using "include" does what I need. For the signature, however, I'm obviously doing something wrong: module A = struct include String end => works module A : sig include String end => "Unbound module type String" It seems that String is the name of the module structure itself rather than its signature. But what is the name of the signature ? Thanks, David -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans