Index: src/runtime.js |
=================================================================== |
--- src/runtime.js (revision 3546) |
+++ src/runtime.js (working copy) |
@@ -474,6 +474,17 @@ |
} |
+// 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 - - - |
------------------------------------- |