comparison src/mono_opt.sml @ 998:ad434669f299

Fix some MySQL hijinks
author Adam Chlipala <adamc@hcoop.net>
date Mon, 12 Oct 2009 18:16:42 -0400
parents 552c989c1601
children 16f7cb0891b6
comparison
equal deleted inserted replaced
997:588b31fe6cc9 998:ad434669f299
98 98
99 fun unAs s = 99 fun unAs s =
100 let 100 let
101 fun doChars (cs, acc) = 101 fun doChars (cs, acc) =
102 case cs of 102 case cs of
103 #"T" :: #"." :: cs => doChars (cs, acc) 103 #"T" :: #"_" :: #"T" :: #"." :: cs => doChars (cs, acc)
104 | #"'" :: cs => doString (cs, acc) 104 | #"'" :: cs => doString (cs, acc)
105 | ch :: cs => doChars (cs, ch :: acc) 105 | ch :: cs => doChars (cs, ch :: acc)
106 | [] => String.implode (rev acc) 106 | [] => String.implode (rev acc)
107 107
108 and doString (cs, acc) = 108 and doString (cs, acc) =