Mercurial > urweb

comparison demo/broadcast.ur @ 709:0406e9cccb72

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 18:47:47 -0400
parents 1a317a707d71
children
comparison
equal deleted inserted replaced
708:1a317a707d71 709:0406e9cccb72
1 functor Make(M : sig type t end) = struct 1 functor Make(M : sig type t end) = struct
2 sequence s 2 sequence s
3 table t : {Id : int, Client : client, Channel : channel M.t} 3 table t : {Id : int, Client : client, Channel : channel M.t}
4 PRIMARY KEY Id 4 PRIMARY KEY (Id, Client)
5 5
6 type topic = int 6 type topic = int
7 7
8 val inj : sql_injectable topic = _ 8 val inj : sql_injectable topic = _
9 9