Yes. It's copy/pasted from the CoffeeScript REPL's generated JS. I think the right thing to do is make it actually just use the coffee-script/repl eval, but short of that, I thought it was maybe actually better to leave it clear that it was copy/pasted and should be thought of as a roughly opaque block that you might even want to update if the coffee-script/repl source changes (yes, agree this is all suboptimal).