* Explicitly referring to top-level definitions
@ 2009-03-07 20:10 Roland Zumkeller
2009-03-08 15:45 ` [Caml-list] " Edgar Friendly
0 siblings, 1 reply; 2+ messages in thread
From: Roland Zumkeller @ 2009-03-07 20:10 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Explicitly referring to top-level definitions
2009-03-07 20:10 Explicitly referring to top-level definitions Roland Zumkeller
@ 2009-03-08 15:45 ` Edgar Friendly
0 siblings, 0 replies; 2+ messages in thread
From: Edgar Friendly @ 2009-03-08 15:45 UTC (permalink / raw)
To: Roland Zumkeller, caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-03-08 15:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-03-07 20:10 Explicitly referring to top-level definitions Roland Zumkeller
2009-03-08 15:45 ` [Caml-list] " Edgar Friendly
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).