From f7c62ce8111cf0f31d65fb62b16e040fbfae0972 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 7 Apr 2009 18:47:47 -0400 Subject: FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) --- demo/broadcast.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/broadcast.ur') diff --git a/demo/broadcast.ur b/demo/broadcast.ur index 29d8d8fb..0b04b136 100644 --- a/demo/broadcast.ur +++ b/demo/broadcast.ur @@ -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 -- cgit v1.2.3