#31 Let functions - first argument failure

[Diego Esteban Alonso Blas]

Last Trunk version gives an error when passing symbolic, non-numeric arguments to let-defined functions.

In this example:

======================================================================
for all t,f,nt,nf let fun( t,f,nt,nf) =
fun_t * t + fun_f * f + fun_nt * nt + fun_nf * nf + fun_0
$

x := fun( 1,b,c,d) ;
y := fun( a,b,c,d) ;

end ;

execution:

-------------------------------------------------------------------
*** fun declared operator
x := fun( 1,b,c,d) ;
x := b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
y := fun( a,b,c,d) ;
***** `a' is an unbound ID
-------------------------------------------------------------------
The x is assigned correctly, with symbolic values of b,c,d.
The second call to fun fails when the first argument is not a number.
If the first argument involves an undefined variable, it gives the error "unbound ID"

In REDLOG (in which context i found this), passing as argument an expression "t+1" where t is
a quantified variable gave an error "Non-numeric argument in arithmetic"

Additional Bug data: revision Trunk- 1483 (last).
Using PSL lisp, but in CSL gives similar errors with slightly different text.
Ubuntu 11.10, 64 bits x86.

[Diego Esteban Alonso Blas]

the bug "reduce" script

[Rainer Schöpf]

The problem is the use of the variable name t, which is a reserved variable (section 2.4 of the manual). If you use, e,g., tt instead, your example works.

This fact should be made clearer in the manual.

Rainer

[Rainer Schöpf]

Fixed in trunk revision 1485, Variable name "t" can now safely be used as free variable in rules.