free variable

Wolfgang Jeltsch [email protected]
Fri, 10 Aug 2001 01:44:50 +0200


Hello,

> [...]
> "findElem <- list" findElem is a new variable, but "list" is not.
> "elem==findElem" here for some reason "elem" is not a new variable.
>
> Why does the rule only apply for "<-" operation, but not "==" for example?

Because "<-" is no operator but belongs to the syntax of the whole list 
expression.

> [...]

Wolfgang