git.iko.soy/Idris-dev
on master help sign in
javascript: remove name from constructors
f907f8araichoo
js/Runtime.js+1−2
compare with master
unifiedsplit
@@ -22,9 +22,8 @@ var __IDR__;
22 __IDR__.Tailcall = function(f) { this.f = f };
22 __IDR__.Tailcall = function(f) { this.f = f };
23
23
24 /** @constructor */
24 /** @constructor */
25− __IDR__.Con = function(i,name,vars) {
25+ __IDR__.Con = function(i,vars) {
26 this.i = i;
26 this.i = i;
27− this.name = name;
28 this.vars = vars;
27 this.vars = vars;
29 };
28 };
30
29
src/IRTS/CodegenJavaScript.hs+1−2
@@ -421,8 +421,7 @@ translateExpression modname (SCase var cases) =
421translateExpression _ (SCon i name vars) =
421translateExpression _ (SCon i name vars) =
422 concat [ "new __IDR__.Con("
422 concat [ "new __IDR__.Con("
423 , show i
423 , show i
424− , ","
424+ , ",["
425− , '\'' : translateQualifiedName name ++ "\',["
426 , intercalate "," $ map translateVariableName vars
425 , intercalate "," $ map translateVariableName vars
427 , "])"
426 , "])"
428 ]
427 ]