comparison src/prepare.sml @ 682:5bbb542243e8

Redo channels, making them single-client
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 11:37:29 -0400
parents 5ff1ff38e2db
children f152f215a02c
comparison
equal deleted inserted replaced
681:6c9b8875f347 682:5bbb542243e8
46 | EFfiApp ("Basis", "sqlifyBool", [e]) => 46 | EFfiApp ("Basis", "sqlifyBool", [e]) =>
47 SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1) 47 SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
48 | EFfiApp ("Basis", "sqlifyTime", [e]) => 48 | EFfiApp ("Basis", "sqlifyTime", [e]) =>
49 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1) 49 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
50 | EFfiApp ("Basis", "sqlifyChannel", [e]) => 50 | EFfiApp ("Basis", "sqlifyChannel", [e]) =>
51 SOME ("$" ^ Int.toString (n + 1) ^ "::int8" :: ss, n + 1)
52 | EFfiApp ("Basis", "sqlifyClient", [e]) =>
51 SOME ("$" ^ Int.toString (n + 1) ^ "::int4" :: ss, n + 1) 53 SOME ("$" ^ Int.toString (n + 1) ^ "::int4" :: ss, n + 1)
52 54
53 | ECase (e, 55 | ECase (e,
54 [((PNone _, _), 56 [((PNone _, _),
55 (EPrim (Prim.String "NULL"), _)), 57 (EPrim (Prim.String "NULL"), _)),