> But I have one really weird problem: all the symbols in Pervasives
> aren't defined.
>
> Also: it seems to choke on strings, and invoking functions.
>
> For example: "Base_io.print_int 45;;" gets printed, but then it locks up.

Ahh, I'm making progress on the debugging front.

Around line 237 in toploop.ml:

let execute_phrase ... =
 ...
  match res with
  | Result v ->
    if print_outcome then
    | [Tstr_eval exp] ->
      let outv = outval_of_value newenv v exp.exp_type in
      ....

The outval_of_value is apparently getting stuck in an infinite loop.
I've yet to disseminate Genprintval module... but any clues while I'm
searching would be helpful =)

This happens on entering: `"bob";;' and `Base_io.print_int 45;;' at the prompt.

(And yes, the floating point is my lack of an implementation of strtod).

BTW: Base_io is my replacement of Pervasives IO functions.

Jonathan