Print_int, printf prints to JavaScript console instead of terminal

[markvital]

printf and print_int doesn't print to terminal, it prints to JavaScript console instead:

Reproduced in Lesson 2, step 6

[pwbs]

It's more generally that stdout is the javascript console's stdout... and that's indeed quite inconsistent.

[mwallnoefer]

Seems to have been fixed in the meantime:

# print_int 30;;
30
- : unit = ()

[hhugo]

@AltGr, I believe this can be closed