git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/jsrts/Runtime-node.js
31 lines 736 B history raw
1$JSRTS.os = require('os');
2$JSRTS.fs = require('fs');
3$JSRTS.prim_systemInfo = function (index) {
4 switch (index) {
5 case 0:
6 return "node";
7 case 1:
8 return $JSRTS.os.platform();
9 }
10 return "";
11};
12$JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) }
13$JSRTS.prim_readStr = function () {
14 var ret = '';
15 var b = new Buffer(1024);
16 var i = 0;
17 while (true) {
18 $JSRTS.fs.readSync(0, b, i, 1)
19 if (b[i] == 10) {
20 ret = b.toString('utf8', 0, i);
21 break;
22 }
23 i++;
24 if (i == b.length) {
25 var nb = new Buffer(b.length * 2);
26 b.copy(nb)
27 b = nb;
28 }
29 }
30 return ret;
31};