Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/prepare.sml Sat Mar 28 11:15:42 2009 -0400 +++ b/src/prepare.sml Sun Mar 29 11:37:29 2009 -0400 @@ -48,6 +48,8 @@ | EFfiApp ("Basis", "sqlifyTime", [e]) => SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1) | EFfiApp ("Basis", "sqlifyChannel", [e]) => + SOME ("$" ^ Int.toString (n + 1) ^ "::int8" :: ss, n + 1) + | EFfiApp ("Basis", "sqlifyClient", [e]) => SOME ("$" ^ Int.toString (n + 1) ^ "::int4" :: ss, n + 1) | ECase (e,