* Polymorphic variants in the debugger
@ 2005-09-29 19:44 Christian Stork
2005-09-30 4:31 ` [Caml-list] " Jacques Garrigue
0 siblings, 1 reply; 2+ messages in thread
From: Christian Stork @ 2005-09-29 19:44 UTC (permalink / raw)
To: caml-list
Hi,
What does it mean if the debugger prints a polymorphic variable as
(ocd) print v
v : [> `SomeVariantType.... ]
= <variant>
instead of its concrete content? Is the debugger lacking some
information? I know that for simple programs the debugger prints the
concrete value.
Thanks,
Chris
--
Chris Stork <> Support eff.org! <> http://www.ics.uci.edu/~cstork/
OpenPGP fingerprint: B08B 602C C806 C492 D069 021E 41F3 8C8D 50F9 CA2F
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Polymorphic variants in the debugger
2005-09-29 19:44 Polymorphic variants in the debugger Christian Stork
@ 2005-09-30 4:31 ` Jacques Garrigue
0 siblings, 0 replies; 2+ messages in thread
From: Jacques Garrigue @ 2005-09-30 4:31 UTC (permalink / raw)
To: cstork; +Cc: caml-list
From: Christian Stork <cstork@ics.uci.edu>
> What does it mean if the debugger prints a polymorphic variable as
>
> (ocd) print v
> v : [> `SomeVariantType.... ]
> = <variant>
>
> instead of its concrete content? Is the debugger lacking some
> information? I know that for simple programs the debugger prints the
> concrete value.
It is the same phenomenon as
v : 'a = <poly>
Namely, due to polymorphism, the debugger only knows about part of the
possible tags for v. If the actual tag is not in this list, it will
only print <variant>.
Jacques Garrigue
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2005-09-30 4:56 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-09-29 19:44 Polymorphic variants in the debugger Christian Stork
2005-09-30 4:31 ` [Caml-list] " Jacques Garrigue
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).