Looks like you probably need a [benignEffectful] for [init]. My reading of the manual is that [effectful] is the default directive when the function has a transaction result type, and neither directive is given by default when the function has a non-transaction result type.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
