git.iko.soy/Idris-dev
on master help sign in
Whitespacing.
097b686Guillaume Yziquel
jsrts/Runtime-javascript.js+2
compare with master
unifiedsplit
@@ -7,7 +7,9 @@ $JSRTS.prim_systemInfo = function (index) {
7 }
7 }
8 return "";
8 return "";
9};
9};
10+
10$JSRTS.prim_writeStr = function (x) { return console.log(x) };
11$JSRTS.prim_writeStr = function (x) { return console.log(x) };
12+
11$JSRTS.prim_readStr = function () { return prompt('Prelude.getLine') };
13$JSRTS.prim_readStr = function () { return prompt('Prelude.getLine') };
12
14
13$JSRTS.die = function (message) { throw new Error(message) };
15$JSRTS.die = function (message) { throw new Error(message) };
jsrts/Runtime-node.js+4
@@ -1,5 +1,7 @@
1$JSRTS.os = require('os');
1$JSRTS.os = require('os');
2+
2$JSRTS.fs = require('fs');
3$JSRTS.fs = require('fs');
4+
3$JSRTS.prim_systemInfo = function (index) {
5$JSRTS.prim_systemInfo = function (index) {
4 switch (index) {
6 switch (index) {
5 case 0:
7 case 0:
@@ -9,7 +11,9 @@ $JSRTS.prim_systemInfo = function (index) {
9 }
11 }
10 return "";
12 return "";
11};
13};
14+
12$JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) };
15$JSRTS.prim_writeStr = function (x) { return process.stdout.write(x) };
16+
13$JSRTS.prim_readStr = function () {
17$JSRTS.prim_readStr = function () {
14 var ret = '';
18 var ret = '';
15 var b = new Buffer(1024);
19 var b = new Buffer(1024);