From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <markus.mottl@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 13D9C7EE51
	for <caml-list@sympa.inria.fr>; Mon,  8 Apr 2013 06:05:51 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  markus.mottl@gmail.com) identity=pra; client-ip=74.125.82.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  markus.mottl@gmail.com designates 74.125.82.47 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@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-wg0-f47.google.com) identity=helo;
  client-ip=74.125.82.47;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="postmaster@mail-wg0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnsCAN5AYlFKfVIvjWdsb2JhbABRhh8BvkF9CBYOAQEBAQcLCwkSBiSCHwEBBUABGx0BAwwGBQsDCi4iAREBBQEcBhOIAQEDD58kjC+Ce4NjChknDVmIfgEFDI8XB4NBA5Z0jywWKYRKIA
X-IPAS-Result: AnsCAN5AYlFKfVIvjWdsb2JhbABRhh8BvkF9CBYOAQEBAQcLCwkSBiSCHwEBBUABGx0BAwwGBQsDCi4iAREBBQEcBhOIAQEDD58kjC+Ce4NjChknDVmIfgEFDI8XB4NBA5Z0jywWKYRKIA
X-IronPort-AV: E=Sophos;i="4.87,427,1363129200"; 
   d="scan'208";a="10114271"
Received: from mail-wg0-f47.google.com ([74.125.82.47])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2013 06:05:50 +0200
Received: by mail-wg0-f47.google.com with SMTP id y10so5466236wgg.14
        for <caml-list@inria.fr>; Sun, 07 Apr 2013 21:05:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:x-received:in-reply-to:references:date:message-id
         :subject:from:to:cc:content-type;
        bh=Xe5041P/5rshGGFphzr3yu1fhVc9bfzc19QUiFvb40Q=;
        b=oMd238fAnS97DfPLfT+s1IA7qpq+FwVKUMIKAAdSJz1XQTLoP2AaOsJgpsIRaB4tB0
         shYNvRMMAsznlVcHWz2dyOnljdWHSzSD3aBOHygSnW61qEf2YsW1zjuiROUrBRbJdxdv
         wkh/QAj7VON2g7VnKUiSjdlBbUGV9Sr8eUwOaYYy0toU3Quv8b5lckSgI8HRmKuqGwPD
         0hpi8npRv9AHVgPZURhfsuJYCKZHWMs6dIQxOaWsJcOCiVdytuc+NLDpg9/QsK2K/DhM
         BBuH8EG9dImQ/ihle/cL7hUD5o0iXNeK4nU6bW0kdLiwaMHHWdAh138s2JSScodwvxBQ
         f7gQ==
MIME-Version: 1.0
X-Received: by 10.194.219.162 with SMTP id pp2mr28719847wjc.27.1365393950074;
 Sun, 07 Apr 2013 21:05:50 -0700 (PDT)
Received: by 10.194.79.197 with HTTP; Sun, 7 Apr 2013 21:05:49 -0700 (PDT)
In-Reply-To: <878v4tr7wi.fsf@golf.niidar.ru>
References: <516236E1.7090102@emu-bark.com>
	<878v4tr7wi.fsf@golf.niidar.ru>
Date: Mon, 8 Apr 2013 00:05:49 -0400
Message-ID: <CAP_800qXGr5cgtPqGBca8=-jn1G1B7U63fCShgfpS3Hh9t9FuQ@mail.gmail.com>
From: Markus Mottl <markus.mottl@gmail.com>
To: Ivan Gotovchits <ivg@ieee.org>
Cc: William Smith <bills@emu-bark.com>, Caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] Declaring a parameterized type in a .mli

On Sun, Apr 7, 2013 at 11:57 PM, Ivan Gotovchits <ivg@ieee.org> wrote:
> > module Id = GenericID( IDRoot )
> Compiler is right =) You can't do this in a module type specification.

Note, however, that this will work:

  module Id : module type of GenericID (IDRoot)

Regards,
Markus