git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1584 from raichoo/master
7dfbfacraichoo
jsrts/Runtime-common.js+8
compare with master
unifiedsplit
@@ -16,6 +16,14 @@ var i$valstack_base;
16var i$ret;
16var i$ret;
17var i$callstack;
17var i$callstack;
18
18
19+var i$Int = {};
20+var i$String = {};
21+var i$Integer = {};
22+var i$Float = {};
23+var i$Char = {};
24+var i$Ptr = {};
25+var i$Forgot = {};
26+
19/** @constructor */
27/** @constructor */
20var i$CON = function(tag,args,app,ev) {
28var i$CON = function(tag,args,app,ev) {
21 this.tag = tag;
29 this.tag = tag;