On 7/2/2012 3:09 PM, Stavros Macrakis wrote: > Sorry, actually: > > f(varname, index, value) := arraymake(varname,[index]) :: value your solution requires that varname is not bound. You need something defined by ::=, I believe.