如何获取 UNION 类型的元素

Question

我有以下声明：

colset AUTHENTICATION = product INT * STRING;
colset REQUEST_PUB = product AUTHENTICATION * STRING * REAL;
colset REQUEST_SUB = product AUTHENTICATION * STRING * INT;
colset REQUEST_PUBSUB = union pub_req:REQUEST_PUB + sub_req:REQUEST_SUB;
var pubsub_req : REQUEST_PUBSUB

我有一个 REQUEST_PUBSUB 类型的地方，可以接收REQUEST_PUB和REQUEST_SUB类型的令牌。这个地方将变量pubsub_req发送到过渡。我想使用pubsub_req值进行操作。例如，测试请求的字符串参数是否为某个值。我正在尝试执行#3 pubsub_req = "some value"，但是出现以下错误：

错误：运算符和操作数不一致 [类型不匹配]
运算符域：{3："Y;"Z}
操作数：REQUEST_PUBSUB
在表达式中： (fn {3=3,...} => 3( pubsub_req
精心设计的失败

如何使用 UNION 类型的元素进行操作？

Answer 1

我没有按照我尝试的那样做，而是将REQUEST_PUB类型更改为：

colset REQUEST_PUB = product AUTHENTICATION * STRING * INT;

然后，我传递了一个列表，例如 ((int_var, string_var), string_var, int_var) ，而不是 REQUEST_PUBSUB 变量。这样，我可以在某些列表变量中执行操作。