git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/jsrts/Runtime-node.js
36 lines 595 B history raw
1var i$putStr = (function() {
2 var fs = require('fs');
3 return function(s) {
4 fs.write(1,s);
5 };
6})();
8var i$getLine = (function() {
9 var fs = require( "fs" )
11 return function() {
12 var ret = "";
14 while(true) {
15 var b = new Buffer(1);
16 fs.readSync(0, b, 0, 1 )
17 if (b[0] == 10)
18 break;
19 else
20 ret += String.fromCharCode(b[0]);
21 }
23 return ret;
24 };
25})();
27var i$systemInfo = function(index) {
28 var os = require('os')
29 switch(index) {
30 case 0:
31 return "node";
32 case 1:
33 return os.platform();
34 }
35 return "";