Mercurial > urweb
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 |