git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/jsrts/Runtime-node.js
42 lines 726 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 = "";
13 var b = new Buffer(1024);
14 var i = 0;
15 while(true) {
16 fs.readSync(0, b, i, 1 )
17 if (b[i] == 10) {
18 ret = b.toString('utf8', 0, i);
19 break;
20 }
21 i++;
22 if (i == b.length) {
23 nb = new Buffer (b.length*2);
24 b.copy(nb)
25 b = nb;
26 }
27 }
29 return ret;
30 };
31})();
33var i$systemInfo = function(index) {
34 var os = require('os')
35 switch(index) {
36 case 0:
37 return "node";
38 case 1:
39 return os.platform();
40 }
41 return "";