Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1022:4de35df3d545 1023:e46227efcbba
41 let 41 let
42 val s = if String.isPrefix "wrap_" s then 42 val s = if String.isPrefix "wrap_" s then
43 String.extract (s, 5, NONE) 43 String.extract (s, 5, NONE)
44 else 44 else
45 s 45 s
46 val s = String.concatWith "/" (rev (s :: mods))
47 val s = String.implode (List.filter (fn ch => ch <> #"$") (String.explode s))
46 in 48 in
47 Settings.rewrite k (String.concatWith "/" (rev (s :: mods))) 49 Settings.rewrite k s
48 end 50 end
49 51
50 val relify = CharVector.map (fn #"/" => #"_" 52 val relify = CharVector.map (fn #"/" => #"_"
51 | ch => ch) 53 | ch => ch)
52 54