--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/onerror.ur Tue Sep 07 08:28:07 2010 -0400 @@ -0,0 +1,4 @@ +fun main n = + case n of + 0 => error <xml>Zero is bad!</xml> + | _ => return <xml/>