我定义了一个类型:
type Foo is record
bar : Positive;
end record;
我想创建一个返回记录实例的函数:
function get_foo return Foo is
return (1);
end get_foo;
但艾达不会让我说“位置聚合不能有一个参数”。
愚蠢地尝试,我在记录中添加了另一个愚蠢的字段,然后return (1, DOESNT_MATTER);
工作!
我如何告诉 Ada 这不是位置聚合,而是创建记录的尝试?