use double-quoted string

purescript · Jul 25, 2020 · 4b180ab · 4b180ab
1 parent 9de0c0f
commit 4b180ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/String/Regex.js b/src/Data/String/Regex.js
@@ -75,7 +75,7 @@ exports._replaceBy = function (just) {
           return s.replace(r, function (match) {
             var groups = [];
             var group, i = 1;
-            while (typeof (group = arguments[i++]) !== 'number') {
+            while (typeof (group = arguments[i++]) !== "number") {
               groups.push(group == null ? nothing : just(group));
             }
             return f(match)(groups);