@@ -384,7 +384,7 @@ tooLong = \s maxLen -> count (chars s) > maxLen
385-- True when `s` is non-empty, even-length, and only lowercase hex digits.
385-- True when `s` is non-empty, even-length, and only lowercase hex digits.
386isValidHex : Text -> Bool
386isValidHex : Text -> Bool
387−isValidHex = \s -> (\cs -> (\n -> n > 0 && n / 2 * 2 == n && all cs (\c -> contains c "0123456789abcdef")) (count cs)) (chars s)
387+isValidHex = \s -> (\cs -> (\n -> n > 0 && n / 2 * 2 == n && all (\c -> contains c "0123456789abcdef") cs) (count cs)) (chars s)
389-- Recursively strip every trailing "." from `s` (DNS root form).
389-- Recursively strip every trailing "." from `s` (DNS root form).
390stripTrailingDot : Text -> Text
390stripTrailingDot : Text -> Text
@@ -419,7 +419,7 @@ containsSuffix = \suffix s -> drop (max 0 (count (chars s) - count (chars suffix
419-- (so we never `fetch` a peer pubkey from loopback) and on inbound requests
419-- (so we never `fetch` a peer pubkey from loopback) and on inbound requests
420-- (so a peer can't claim a bogus `fromServer`).
420-- (so a peer can't claim a bogus `fromServer`).
421isBadServerName : Text -> Bool
421isBadServerName : Text -> Bool
422−isBadServerName = \sn -> sn == "" || sn == "localhost" || not all (chars sn) (\c -> contains c "0123456789abcdefghijklmnopqrstuvwxyz-.:") || any (\p -> hasPrefix p sn) [
422+isBadServerName = \sn -> sn == "" || sn == "localhost" || not all (\c -> contains c "0123456789abcdefghijklmnopqrstuvwxyz-.:") (chars sn) || any (\p -> hasPrefix p sn) [