Mercurial > urweb

diff src/corify.sml @ 1023:e46227efcbba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Bidding interface
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 10:20:20 -0500
parents 7b380e2b9e68
children b2311dfb3158
line wrap: on
line diff
--- a/src/corify.sml	Sat Oct 31 15:51:50 2009 -0400
+++ b/src/corify.sml	Sun Nov 01 10:20:20 2009 -0500
@@ -43,8 +43,10 @@
                     String.extract (s, 5, NONE)
                 else
                     s
+        val s = String.concatWith "/" (rev (s :: mods))
+        val s = String.implode (List.filter (fn ch => ch <> #"$") (String.explode s))
     in
-        Settings.rewrite k (String.concatWith "/" (rev (s :: mods)))
+        Settings.rewrite k s
     end
 
 val relify = CharVector.map (fn #"/" => #"_"