X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/b90b0980f97ea3c9623f99db83abeb7419b916b2..a4ccdb5e625953aa6ece8874b34c811353144426:/util.sml diff --git a/util.sml b/util.sml index 801044e..9ac38d0 100644 --- a/util.sml +++ b/util.sml @@ -30,7 +30,7 @@ fun makeSet f items = fun neg (r : real) = ~r fun add (r1 : real, r2) = r1 + r2 -fun isIdent ch = Char.isLower ch orelse Char.isDigit ch +fun isIdent ch = Char.isLower ch orelse Char.isDigit ch orelse ch = #"-" fun validHost s = size s > 0 andalso size s < 20 andalso List.all isIdent (String.explode s)