git.iko.soy/Idris-dev
on master help sign in
javascript: indent systemInfo
c6cf819raichoo
jsrts/Runtime-browser.js+7−7
compare with master
unifiedsplit
@@ -4,11 +4,11 @@ var __IDRRT__print = function(s) {
4
4
5
5
6var __IDRRT__systemInfo = function(index) {
6var __IDRRT__systemInfo = function(index) {
7− switch(index) {
7+ switch(index) {
8− case 0:
8+ case 0:
9− return "javascript";
9+ return "javascript";
10− case 1:
10+ case 1:
11− return navigator.platform;
11+ return navigator.platform;
12− }
12+ }
13− return "";
13+ return "";
14}
14}
jsrts/Runtime-node.js+6−6
@@ -6,12 +6,12 @@ var putStr = (function() {
6})();
6})();
7
7
8var __IDRRT__systemInfo = function(index) {
8var __IDRRT__systemInfo = function(index) {
9− var os = require('os')
9+ var os = require('os')
10 switch(index) {
10 switch(index) {
11− case 0:
11+ case 0:
12− return "node";
12+ return "node";
13− case 1:
13+ case 1:
14− return os.platform();
14+ return os.platform();
15 }
15 }
16− return "";
16+ return "";
17}
17}