assume(y,expression); y and true; => y and true

[compsystems]

I do not find logic, when an identifier is defined as a symbolic expression, it is evaluated to a numeric or Boolean value

Code : Tout sélectionner

f():={
  local y, expr1;
  assume(y,expression);
  expr1:=(y and true);
  print(y and true);   // y Why?
  print(expr1); // y Why?
  return expr1; // y Why?
}:;

f() returns y, Why?

assume(y,expression); y and true; => y and true

[parisse]

What's the problem?
Testing something and true or something alone is the same test.