Fix String.foldr
bug that causes infinite loop
#1137
+3
−3
String.foldr
bug that causes infinite loop
#1137