From 30dec16fdfb5230a0da6fc1a9d5861e60eb7133e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 Mar 2009 14:13:50 -0400 Subject: Expunging nullable fields --- tests/whiteout.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/whiteout.ur (limited to 'tests/whiteout.ur') diff --git a/tests/whiteout.ur b/tests/whiteout.ur new file mode 100644 index 00000000..5fb9d57b --- /dev/null +++ b/tests/whiteout.ur @@ -0,0 +1,6 @@ +table t : { Chan : option (channel unit) } + +fun main () : transaction page = + ch <- channel; + dml (INSERT INTO t (Chan) VALUES ({[Some ch]})); + return Did it. -- cgit v1.2.3