print() displays twice in Interactions Window

[samuela]

If you enter print(5 + 5) it outputs twice. I'm assuming this is because print() returns the value as well as printing it out but the repeat output is a little unexpected in the Interactions Window.

[jpolitz]

The only sane fix that jumps to my mind is to change print() to not return the value it has printed, and return nothing instead (which the REPL avoids printing). But @shriram has some good arguments for keeping print() working this way, at least for now.

I'm not going to address this right away, since I think the behavior is easily explicable and consistent with the rest of the REPL's semantics.