From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
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 7A6F0BBAF
	for <caml-list@yquem.inria.fr>; Sun,  8 Mar 2009 16:45:38 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqACAJ+Es0lKfVwYjWdsb2JhbACUaz8BAQEBCQkKCQ8FrWeBB44gAQMBA4QCBoMT
X-IronPort-AV: E=Sophos;i="4.38,325,1233529200"; 
   d="scan'208";a="24020305"
Received: from qw-out-2122.google.com ([74.125.92.24])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Mar 2009 16:45:37 +0100
Received: by qw-out-2122.google.com with SMTP id 3so676768qwe.15
        for <caml-list@yquem.inria.fr>; Sun, 08 Mar 2009 08:45:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from
         :user-agent:mime-version:to:subject:references:in-reply-to
         :content-type:content-transfer-encoding;
        bh=8TZkMBz+H3GbmO+t8dW28ooVc95I6AUkOC6xtYWpA8I=;
        b=UaT9N/OuAKVhP6EaQAKc/ak083gvNkWCi5XM1kAuIkwLzREZ1OEp0s+/EBGb+d7tuK
         FDl8Exuv1CyOd+ax4smLMjyUZkU8v9YzcyBsMwKeUYuZPDKQlvIUUAVOVyXRc2TndzaJ
         5oxdv3nzX/K1uEfLSkL99Az8TdPHZjitJvE/A=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        b=CwkiJVrHFIdU2supUUUEWeJkS+xrCqD1P5H44qfWgUT/FLkHQIpOhHQoCLFIPsEen2
         VlOffIV3bKZllr8f14qQZ5/wHrooNuGv9mM8vPxwBq44IQlCrzELUAsV5jYa6UnYGCE9
         L7yJObHoGY1vVKl7GTH5fX8ko7dniaqIdZyMw=
Received: by 10.224.61.20 with SMTP id r20mr5962055qah.118.1236527136696;
        Sun, 08 Mar 2009 08:45:36 -0700 (PDT)
Received: from ?192.168.0.11? (adsl-70-237-129-86.dsl.stlsmo.sbcglobal.net [70.237.129.86])
        by mx.google.com with ESMTPS id 5sm10322722yxt.44.2009.03.08.08.45.35
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sun, 08 Mar 2009 08:45:36 -0700 (PDT)
Message-ID: <49B3E81C.60404@gmail.com>
Date: Sun, 08 Mar 2009 10:45:32 -0500
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Thunderbird 2.0.0.19 (X11/20090105)
MIME-Version: 1.0
To: Roland Zumkeller <roland.zumkeller@gmail.com>,
	caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Explicitly referring to top-level definitions
References: <d02dcb040903071210x5f3cb7d6g7c8ab2742d58e911@mail.gmail.com>
In-Reply-To: <d02dcb040903071210x5f3cb7d6g7c8ab2742d58e911@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; struct:01 abbreviation:01 struct:01 edgar:98 wrote:01 caml-list:01 cyclic:01 int:01 int:01 explicitly:02 explicitly:02 module:03 module:03 top-level:03 top-level:03 

Roland Zumkeller wrote:
> Hi,
> 
> Is there a way to qualify identifiers explicitly so as to make them
> refer to top-level definitions?
> 
> # type t = int;;
> type t = int
> # module A = struct type t = t end;;
> The type abbreviation t is cyclic
> 
> Is it possible to write something like "type t = Top.t"?
> 
> Best,
> 
> Roland

In the case I've had to do this, I just created an alias for the
top-level definition. ex.

# type t = int;;
# type t_alias = t;;
# module A = struct type t = t_alias end;;

E