X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/80fb384335779cdeb2ecd40711f00b3e43287e74..0c85f25e773621daeb1b4ecff989dfbb602a8918:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 164297f..f3bedc2 100644 --- a/src/main.sml +++ b/src/main.sml @@ -92,7 +92,9 @@ fun check fname = end end -val notTmp = CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-") +fun notTmp s = + String.sub (s, 0) <> #"." + andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-") s fun checkDir dname = let