[MLton-commit] r6196

[Matthew Fluet]

MLB path variables may end filepaths
----------------------------------------------------------------------

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-22 03:06:33 UTC (rev 6195)
+++ mlton/trunk/mlton/front-end/mlb.lex	2007-11-22 03:30:12 UTC (rev 6196)
@@ -87,7 +87,7 @@
 id={alphanumId};
 
 pathvar="$("([A-Z_][A-Z0-9_]*)")";
-filename=({pathvar}|[A-Za-z0-9_.])({pathvar}|[-A-Za-z0-9_.])+;
+filename=({pathvar}|[A-Za-z0-9_.])({pathvar}|[-A-Za-z0-9_.])*;
 arc=({pathvar}|{filename}|"."|"..");
 relpath=({arc}"/")*;
 abspath="/"{relpath};