| Index: src/runtime.js
|
| ===================================================================
|
| --- src/runtime.js (revision 4542)
|
| +++ src/runtime.js (working copy)
|
| @@ -471,17 +471,6 @@
|
| }
|
|
|
|
|
| -// Specialized version of String.charAt. It assumes string as
|
| -// the receiver type and that the index is a number.
|
| -function STRING_CHAR_AT(pos) {
|
| - var char_code = %_FastCharCodeAt(this, pos);
|
| - if (!%_IsSmi(char_code)) {
|
| - return %StringCharAt(this, pos);
|
| - }
|
| - return %_CharFromCode(char_code);
|
| -}
|
| -
|
| -
|
| /* -------------------------------------
|
| - - - C o n v e r s i o n s - - -
|
| -------------------------------------
|
|
|