Mercurial > urweb
comparison demo/treeFun.urs @ 706:1fb318c17546
Enhance table sig item support and get demo compiling again
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 15:04:07 -0400 |
parents | b393c2fc80f8 |
children | 311ca1ae715d |
comparison
equal
deleted
inserted
replaced
705:e6706a1df013 | 706:1fb318c17546 |
---|---|
7 constraint [id, parent] ~ cols | 7 constraint [id, parent] ~ cols |
8 | 8 |
9 val key_inj : sql_injectable key | 9 val key_inj : sql_injectable key |
10 val option_key_inj : sql_injectable (option key) | 10 val option_key_inj : sql_injectable (option key) |
11 | 11 |
12 table tab : [id = key, parent = option key] ++ cols | 12 table tab : ([id = key, parent = option key] ++ cols) |
13 end) : sig | 13 end) : sig |
14 | 14 |
15 con id = M.id | 15 con id = M.id |
16 con parent = M.parent | 16 con parent = M.parent |
17 | 17 |