Mercurial > urweb
comparison src/corify.sml @ 1023:e46227efcbba
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 |