git.iko.soy/Idris-dev
on master help sign in
javascript: fix node warning for printing
cc31da5raichoo
jsrts/Runtime-node.js+2−2
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1var i$putStr = (function() {
1var i$putStr = (function() {
2− var util = require('util');
2+ var fs = require('fs');
3 return function(s) {
3 return function(s) {
4− util.print(s);
4+ fs.write(1,s);
5 };
5 };
6})();
6})();
7
7