Christian Lindig <lindig@cs.uni-sb.de> writes:

   In the debugger, abstract values cannot be inspected. This can be

Yes, and the same applies for values inside polymorphic
functions. For instance, inside a List.iter you cannot inspect
the list.

   Therefore I'd like to discuss a feature wish: a compiler flag that
   makes all type declarations manifest. When compiling a signature

This doesn't solve the problem with polymorphic functions.

I would rather like to see a debugger feature "print value with
this type", where it is the responsibility of the user to supply
the right type. For instance, inside List.iter, you could do

  print a : int option

to see the current element of an int option list.

Bye,

Hendrik