comparison tests/pkeyEscape.ur @ 1722:f7d9dc5d57eb
Antiquote for PRIMARY KEY
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sat, 21 Apr 2012 15:47:02 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : {A : int, B : int} |
| |
2 PRIMARY KEY {{primary_key [#A] [[B = _]]}} |
| |
3 |
| |
4 fun main () : transaction page = |
| |
5 queryI (SELECT * FROM t) (fn _ => return ()); |
| |
6 return <xml/> |
