comparison src/monoize.sml @ 1810:b8558b613abd

show_sql_query
author Adam Chlipala <adam@chlipala.net>
date Wed, 22 Aug 2012 08:46:32 -0400
parents d12192c7aa3e
children 148203744882
comparison
equal deleted inserted replaced
1809:b8fa7441e637 1810:b8558b613abd
1250 | L.EFfi ("Basis", "show_bool") => 1250 | L.EFfi ("Basis", "show_bool") =>
1251 ((L'.EFfi ("Basis", "boolToString"), loc), fm) 1251 ((L'.EFfi ("Basis", "boolToString"), loc), fm)
1252 | L.EFfi ("Basis", "show_time") => 1252 | L.EFfi ("Basis", "show_time") =>
1253 ((L'.EFfi ("Basis", "timeToString"), loc), fm) 1253 ((L'.EFfi ("Basis", "timeToString"), loc), fm)
1254 | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "show_xml"), _), _),_), _), _), _) => 1254 | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "show_xml"), _), _),_), _), _), _) =>
1255 let
1256 val s = (L'.TFfi ("Basis", "string"), loc)
1257 in
1258 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
1259 end
1260 | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "show_sql_query"), _), _), _), _), _), _), _), _) =>
1255 let 1261 let
1256 val s = (L'.TFfi ("Basis", "string"), loc) 1262 val s = (L'.TFfi ("Basis", "string"), loc)
1257 in 1263 in
1258 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) 1264 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
1259 end 1265 end