blob: 55f1fc3eb880c8586562bb90a3780c42c96a19a1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
begin union (int, bool, string) foo = 666;
case foo
in (union(int,string) bar):
case bar
in (int i): assert (i = 666),
(string s): assert (false)
esac,
(bool baz): assert (false)
esac
end
|