comparison tests/pkey.ur @ 707:d8217b4cb617
PRIMARY KEY
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Tue, 07 Apr 2009 16:14:31 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : {A : int, B : int} |
| |
2 PRIMARY KEY (A, B) |
| |
3 |
| |
4 fun main () : transaction page = |
| |
5 queryI (SELECT * FROM t) (fn _ => return ()); |
| |
6 return <xml/> |
