PayPal links

[hcoop/zz_old/portal.git] / util.sml

diff --git a/util.sml b/util.sml
index 801044e..7da69eb 100644 (file)
--- 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)
@@ -78,4 +78,6 @@ fun readFile fname =
        before TextIO.closeIn inf
     end
 
+fun mem (x, ls) = List.exists (fn y => y = x) ls
+
 end