Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Explicitly referring to top-level definitions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-03-07 (20:10)
From: Roland Zumkeller <roland.zumkeller@g...>
Subject: Explicitly referring to top-level definitions

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"?