comparison tests/whiteout.ur @ 684:f0224c7f12bb
Expunging nullable fields
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sun, 29 Mar 2009 14:13:50 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : { Chan : option (channel unit) } |
| |
2 |
| |
3 fun main () : transaction page = |
| |
4 ch <- channel; |
| |
5 dml (INSERT INTO t (Chan) VALUES ({[Some ch]})); |
| |
6 return <xml><body>Did it.</body></xml> |
