git.iko.soy/Idris-dev
on master help sign in
RTS: use substr rather than slice
2d5197bbe5invis
jsrts/Runtime-common.js+1−1
compare with master
unifiedsplit
@@ -17,6 +17,6 @@ const $JSRTS = {
17 }
17 }
18 },
18 },
19 prim_strSubstr: function (offset, len, str) {
19 prim_strSubstr: function (offset, len, str) {
20− return str.slice(Math.max(0, offset), Math.max(0, len))
20+ return str.substr(Math.max(0, offset), Math.max(0, len))
21 }
21 }
22};
22};