Mercurial > urweb
comparison demo/broadcast.ur @ 708:1a317a707d71
Add primary keys to demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 16:22:11 -0400 |
parents | 4e260887d8f2 |
children | 0406e9cccb72 |
comparison
equal
deleted
inserted
replaced
707:d8217b4cb617 | 708:1a317a707d71 |
---|---|
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 | 5 |
5 type topic = int | 6 type topic = int |
6 | 7 |
7 val inj : sql_injectable topic = _ | 8 val inj : sql_injectable topic = _ |
8 | 9 |