From 4b180ab8e57a7808889828fa9b8124098991b18c Mon Sep 17 00:00:00 2001 From: David Chambers Date: Sat, 25 Jul 2020 14:44:54 +0200 Subject: [PATCH] use double-quoted string --- src/Data/String/Regex.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/String/Regex.js b/src/Data/String/Regex.js index e0d2d67..a288e52 100644 --- 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);