Add a getLine primitive to browser js
Making console apps to run in the browser is likely a minority taste.
But prompt works for input as it's synchronous.
commit558ddd9773bbec0e169b7955c504c834dbda5324
authorNiklas Larsson <niklas@mm.st>
dateThu 24 Sep 2015, 17:06 (11 years ago)
parent29dc2df
jsrts/Runtime-browser.js+4
@@ -1,3 +1,7 @@
1+var i$getLine = function() {
2+ return prompt("Prelude.getLine");
3+}
4+
15var i$putStr = function(s) {
26 console.log(s);
37};