# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1292342357 18000
# Node ID caff0a4d5fc14df8e48a4cc6ce82fd5306c03f17
# Parent  43677a8a20e9f66e35c1ab02629f597132d80bfb
Allow use of path variables in strings with no slashes

diff -r 43677a8a20e9 -r caff0a4d5fc1 src/compiler.sml
--- a/src/compiler.sml	Tue Dec 14 10:35:52 2010 -0500
+++ b/src/compiler.sml	Tue Dec 14 10:59:17 2010 -0500
@@ -391,12 +391,9 @@
                                 val fname' = Substring.extract (fname, 1, NONE)
                                 val (befor, after) = Substring.splitl (fn ch => ch <> #"/") fname'
                             in
-                                if Substring.isEmpty after then
-                                    fname
-                                else
-                                    case M.find (!pathmap, Substring.string befor) of
-                                        NONE => fname
-                                      | SOME rep => rep ^ Substring.string after
+                                case M.find (!pathmap, Substring.string befor) of
+                                    NONE => fname
+                                  | SOME rep => rep ^ Substring.string after
                             end
                         else
                             fname