David Teller <David.Teller@univ-orleans.fr> writes:

   * One of my students did manage to write a function with type 'a -> 'b
   without using Obj or Marshal. 

It's easy if the function doesn't have to terminate:

   let f x = raise Not_found;;

Does the students function terminate without exception or other
kinds of runtime errors?

Bye,

Hendrik