[MLton-commit] r7007

[Vesa Karvonen]

Minor optimization.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml	2008-12-20 16:56:40 UTC (rev 7006)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/read.sml	2008-12-21 00:57:12 UTC (rev 7007)
@@ -71,8 +71,7 @@
    fun id first rest = map implode (many1Satisfy2 first rest)
 
    val alphaId = id Char.isAlpha
-                    (fn c => Char.isAlpha c
-                             orelse Char.isDigit c
+                    (fn c => Char.isAlphaNum c
                              orelse #"'" = c orelse #"_" = c)
    val isSymbolic = Char.contains "!#$%&*+-/:<=>?@\\^`|~"
    val symbolicId = map implode (many1Satisfy isSymbolic)