Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

JS backend, in interpreter removal of trailing commas, which does not…

… parse in Explorer
  • Loading branch information...
commit 6ad09c67c17f47a4156b0d36f41c9fe76ed65254 1 parent e8db0db
atze authored

Showing 1 changed file with 18 additions and 18 deletions. Show diff stats Hide diff stats

  1. +18 18 EHC/src/javascript/core/interpreter.cjs
36 EHC/src/javascript/core/interpreter.cjs
@@ -100,15 +100,15 @@ _A_undersat_.prototype = {
100 100 return fun.__aN__( args.slice( needs ) ) ;
101 101 } } ;
102 102 }
103   - } ,
104   - needsNrArgs : function() {
  103 + }
  104 +, needsNrArgs : function() {
105 105 return this.fun.needsNrArgs() - this.args.length ;
106   - } ,
  106 + }
107 107 %%[[8
108   - getName : function () {
  108 +, getName : function () {
109 109 return "A-" + this.needsNrArgs() + "#" + this.nodeId + "'" ;
110   - } ,
111   - toString : function () {
  110 + }
  111 +, toString : function () {
112 112 return "(" + this.getName() + "=" + this.fun + "@" + this.args + ")" ;
113 113 }
114 114 %%][100
@@ -132,15 +132,15 @@ _A_.prototype = {
132 132 __eOrV__ : function() {
133 133 return fun.__aN__( args ) ;
134 134 } } ;
135   - } ,
  135 + }
136 136 %%[[8
137   - getName : function () {
  137 +, getName : function () {
138 138 return "A" + this.args.length + "#" + this.nodeId + "'" + this.fun.getName() ;
139   - } ,
140   - getVal : function () {
  139 + }
  140 +, getVal : function () {
141 141 return "V#" + this.nodeId + "'" + this.__eOrV__ ;
142   - } ,
143   - toString : function () {
  142 + }
  143 +, toString : function () {
144 144 if ( typeof this.__eOrV__ == 'function' ) {
145 145 return "(" + this.getName() + "@args#" + this.args.length + "=(|" + this.args + "|))" ;
146 146 } else {
@@ -206,15 +206,15 @@ _F_.prototype = {
206 206 return fun.__aN__( remargs ) ;
207 207 } } ;
208 208 }
209   - } ,
210   - needsNrArgs : function() {
  209 + }
  210 +, needsNrArgs : function() {
211 211 return this.needs ;
212   - } ,
  212 + }
213 213 %%[[8
214   - getName : function () {
  214 +, getName : function () {
215 215 return "F" + this.needs + "#" + this.nodeId + "'" + this.name ;
216   - } ,
217   - toString : function () {
  216 + }
  217 +, toString : function () {
218 218 return "(" + this.getName() + ")" ;
219 219 }
220 220 %%][100

0 comments on commit 6ad09c6

Please sign in to comment.
Something went wrong with that request. Please try again.