comparison src/monoize.sml @ 1607:da788bd72c9e

Add LIKE operator to SQL sublanguage.
author Karn Kallio <kkallio@eka>
date Wed, 23 Nov 2011 13:17:40 -0430
parents e44be6ece475
children 15e0c935c91b
comparison
equal deleted inserted replaced
1606:f4453e2402d0 1607:da788bd72c9e
2468 ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc), 2468 ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc),
2469 (L'.EPrim (Prim.String "/"), loc)), loc), fm) 2469 (L'.EPrim (Prim.String "/"), loc)), loc), fm)
2470 | L.EFfi ("Basis", "sql_mod") => 2470 | L.EFfi ("Basis", "sql_mod") =>
2471 ((L'.EPrim (Prim.String "%"), loc), fm) 2471 ((L'.EPrim (Prim.String "%"), loc), fm)
2472 2472
2473 | L.EFfi ("Basis", "sql_like") =>
2474 ((L'.EPrim (Prim.String "LIKE"), loc), fm)
2475
2473 | L.ECApp ( 2476 | L.ECApp (
2474 (L.ECApp ( 2477 (L.ECApp (
2475 (L.ECApp ( 2478 (L.ECApp (
2476 (L.ECApp ( 2479 (L.ECApp (
2477 (L.ECApp ( 2480 (L.ECApp (