[MLton-commit] r6195

[Matthew Fluet]

Accept the posix portable path names
----------------------------------------------------------------------

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