@@ -10,7 +10,7 @@ var Foreign = function() {
10 function castJSNumberToInt(n) { return ~~n; }
10 function castJSNumberToInt(n) { return ~~n; }
11 function castIntToJSNumber(n) { return n; }
11 function castIntToJSNumber(n) { return n; }
13− var castJSElementToElement = Element.jsElement;
13+ function castJSElementToElement(w) { return Element.jsElement(w); }
14 function castElementToJSElement(elem) { return elem; }
14 function castElementToJSElement(elem) { return elem; }
16 function castJSArrayToList(arr) {
16 function castJSArrayToList(arr) {