From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <roland.zumkeller@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=2.8 required=5.0 tests=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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 8B55BBBC4
	for <caml-list@yquem.inria.fr>; Sat,  7 Mar 2009 21:10:41 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmUCACtjsklKfS4ck2dsb2JhbACUUz8BAQEBCQkKCREDrHqBB48RAQMBA4QCBg
X-IronPort-AV: E=Sophos;i="4.38,319,1233529200"; 
   d="scan'208";a="25221604"
Received: from yw-out-2324.google.com ([74.125.46.28])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Mar 2009 21:10:41 +0100
Received: by yw-out-2324.google.com with SMTP id 2so494267ywt.3
        for <caml-list@yquem.inria.fr>; Sat, 07 Mar 2009 12:10:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type:content-transfer-encoding;
        bh=NHT4NYg2wH1gNUbdi5VjdHTOL3HghoBK5MmHtycmHn4=;
        b=vnkyBiy+OA3GxK1nXCafdwjbG6GSMLvwTxeBRA0lp5rYU+IC6DXtYDvju9jc22OIhf
         V1EQTai9YSPkplHLmM/uB5e1tmx4VHfpX+1VLFelOoMH2iKROoSyKDk7NaHpmDKQkCHX
         3+otuS4rR21nK7eq571jH0uLZXB78PdyA1Ud4=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type
         :content-transfer-encoding;
        b=Q0pnI8i3rv3imRgioJsZzH98H0uf3KR82gwwDgGzKo5J40oM5QQHomqr6wz6LksNQd
         PCWpKwtLuld5SohfaPE2+4/aFf2vAmeBVLHUAuwo2Rg267Uke4pY5TxMNTfiV6Kyq2eE
         ApH7PE5qdLCBQvC6vyi4nRz1gwPxSssQ7euC0=
MIME-Version: 1.0
Received: by 10.150.177.20 with SMTP id z20mr7059844ybe.246.1236456640357; 
	Sat, 07 Mar 2009 12:10:40 -0800 (PST)
Date: Sat, 7 Mar 2009 15:10:40 -0500
Message-ID: <d02dcb040903071210x5f3cb7d6g7c8ab2742d58e911@mail.gmail.com>
Subject: Explicitly referring to top-level definitions
From: Roland Zumkeller <roland.zumkeller@gmail.com>
To: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; struct:01 abbreviation:01 cyclic:01 int:01 int:01 explicitly:02 explicitly:02 module:03 top-level:03 top-level:03 identifiers:04 top:89 end:12 qualify:87 type:14 

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