[MLton-commit] r6127

[Vesa Karvonen]

Allow digits in path variables.
----------------------------------------------------------------------

U   mlton/trunk/mlton/front-end/mlb.lex

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

Modified: mlton/trunk/mlton/front-end/mlb.lex
===================================================================
--- mlton/trunk/mlton/front-end/mlb.lex	2007-11-06 10:59:26 UTC (rev 6126)
+++ mlton/trunk/mlton/front-end/mlb.lex	2007-11-06 12:06:15 UTC (rev 6127)
@@ -86,7 +86,7 @@
 alphanumId=[A-Za-z]{alphanum};
 id={alphanumId};
 
-pathvar="$("([A-Z_]+)")";
+pathvar="$("([A-Z_][A-Z0-9_]*)")";
 filebase=({pathvar}|[-A-Za-z_0-9])+;
 fileext=({pathvar}|[-A-Za-z_0-9])+;
 filename={filebase}("."{fileext})*;