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