Mercurial > urweb

comparison src/mono_opt.sml @ 1259:83b1853d1e58

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
URL-escape with '.' instead of '%', to avoid confusing proxies
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 May 2010 14:47:56 -0400
parents 51e596feec37
children 5137b0537c92
comparison
equal deleted inserted replaced
1258:78b36c50daf9 1259:83b1853d1e58
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
84 "") 84 "")
85 ^ String.translate (fn #" " => "+" 85 ^ String.translate (fn #" " => "+"
86 | ch => if Char.isAlphaNum ch then 86 | ch => if Char.isAlphaNum ch then
87 str ch 87 str ch
88 else 88 else
89 "%" ^ hexIt ch) s 89 "." ^ hexIt ch) s
90 90
91 91
92 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int) 92 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int)
93 fun sqlifyFloat n = #p_cast (Settings.currentDbms ()) (attrifyFloat n, Settings.Float) 93 fun sqlifyFloat n = #p_cast (Settings.currentDbms ()) (attrifyFloat n, Settings.Float)
94 94