From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <milanst@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 450257ED26
	for <caml-list@sympa.inria.fr>; Fri,  8 Jun 2012 22:36:54 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArQDACdi0k/RVdI2imdsb2JhbABFDoVGrUsBAwEDgSgIIgEBAQoJDQcSBiOCGAEBAQMBEgIPHQEbHQEDDAYFCw8CJgICIgERAQUBHAY1h1oBAwYFmlkJA4tSUIJwhGYKGScNV4hxAQUMgReOcYESA5Uejh4+g0ZV
X-IronPort-AV: E=Sophos;i="4.75,738,1330902000"; 
   d="scan'208";a="161989404"
Received: from mail-pz0-f54.google.com ([209.85.210.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 08 Jun 2012 22:36:53 +0200
Received: by mail-pz0-f54.google.com with SMTP id v36so3664604dad.27
        for <caml-list@inria.fr>; Fri, 08 Jun 2012 13:36:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=MFn9xsEq/ch93ZPJbWMdloPhZSqPlQdm6qbttNhsiNA=;
        b=UK00UmHUmTRhtYlc/le02foQRb2vHYz7HaOzLb9QfDX1A0nWKgcQjN9hyFuIaJuISv
         80meKBqh1Ezvik/gOZzndbj6FM7bx8sSzoikKtLqKgXM1q0SX1ZEzvF7G9Dem5q0kYpD
         iCZHoghGFvS8VYm/Vj90W+F8gEJe6CvDTz9a0nLhCd2EtYWj9BGEW+FW2oNVMSmZ7B+6
         4CIJ+5H6Jho/hG2k35ICIS3PX07gcyuJTWWkIGDdEzed8X5bDuX5WsgiF37EQKdqIo5/
         Bl486TKKBptQnvPN6pZv/uAfUv7KkXknXbgrZ+Ot05pOWPO+/x+IkyWGogK26EvpM5kD
         cx9g==
Received: by 10.68.201.136 with SMTP id ka8mr23623951pbc.124.1339187813196;
 Fri, 08 Jun 2012 13:36:53 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.68.55.36 with HTTP; Fri, 8 Jun 2012 13:36:12 -0700 (PDT)
In-Reply-To: <5ECBEDB2-9C7C-45B7-98F7-36E10B2BB07D@math.nagoya-u.ac.jp>
References: <CAKR7PS_i+CzFB83asVn8=+x1iTD1R=aQjSFW3aUKDJd01+3yXQ@mail.gmail.com>
 <CAP_800qvf6r3XcSvEjYwnA=zreW2W1WeyYLRUKuGmp8ehfZOZA@mail.gmail.com>
 <CAKR7PS-b2tidq=Ho7BzXukVr7KO4J_x9T3Fx5VMV5WEmouT=Bw@mail.gmail.com> <5ECBEDB2-9C7C-45B7-98F7-36E10B2BB07D@math.nagoya-u.ac.jp>
From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
Date: Fri, 8 Jun 2012 16:36:12 -0400
Message-ID: <CAKR7PS9anGZ2yxTXpKwqk6rgfF_xq+rjEJ9AbASrNZptSYWd0w@mail.gmail.com>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: Markus Mottl <markus.mottl@gmail.com>, Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] strange error with packed modules and module type
 of

>> Should I just file this problem on ocaml mantis?
>
> This is the right behavior.
> To understand it, you should distinguish between the interface (or abstract signature)
> and the concrete type of a module (its strengthened signature).

I was actually referring to my original problem.
Can you point out what I was doing wrong there?