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