Page 1 of 1

Unused Variable

Posted: 22 Apr 2013 16:59
by Martin Meyer
Hi Thomas,

I made two observations (neither of them but being important) about this predicate:

Code: Select all

predicates     test : (boolean Flag). clauses     test(Flag):-         if Flag = true then             A = 1,             stdIo::write("we don't use A in this branch")         else             A = 0,             stdIo::write(A)         end if.
1st is, that the compiler does not give a warning regarding an unused variable or excessive code.

2nd is, that when setting a breakpoint on line stdIo::write(A) and calling the predicate by test(false), then the value of A is displayed in "Variables in the Current Clause" as 1 at this line, nevertheless it correctly writes 0 to the Messages window.


Posted: 23 Apr 2013 11:00
by Thomas Linder Puls
Thank you. We will look at these matters.

Posted: 4 Jun 2013 7:52
by Thomas Linder Puls
This is fixed in Build 7402. IDE: Web -> Check for updates...