diff demo/broadcast.ur @ 709:0406e9cccb72

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
line wrap: on
line diff
--- a/demo/broadcast.ur	Tue Apr 07 16:22:11 2009 -0400
+++ b/demo/broadcast.ur	Tue Apr 07 18:47:47 2009 -0400
@@ -1,7 +1,7 @@
 functor Make(M : sig type t end) = struct
     sequence s
     table t : {Id : int, Client : client, Channel : channel M.t}
-      PRIMARY KEY Id
+      PRIMARY KEY (Id, Client)
 
     type topic = int