record - Mozart/Oz: Record.make でレコードを作成する方法

Question

Record.make を使用してリストからレコードを作成しようとしています:

declare 
L=[z [a b] [1 2]]
{Record.make L.1 L.2 0}

しかし、エラーが発生します:

Expected type: feature
At argument: 1

2番目の引数L.2を「機能」タイプにする方法は? L.2 は [ab] リストだと思います。

Answer 1

Record.make新しい (つまり、バインドされていない) 値でレコードを作成します。例えば：

R = {Record.make label [a b]}

多分あなたはList.toRecord代わりに欲しい：

R = {List.toRecord label [a#1 b#2]}