[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

id resolution




Hi!

I have a problem with id resolution.  I have a recursive definition and a
IF-THEN-ELSE inside the definition:

IF (EXISTS (s0, s1:(S)): member(s1, ms)) THEN
         fpcal (add(s0, ms))
ELSE ms

"ms" and "S" are from type of finite_set, but the type checker complains
about the resolution of "s0" in "add(s0, ms)".  Is there anyway to resolve
this without defining a varibale?

Thanks,
Borzoo