#1 Bug in Choose Implementation

[Philipp W. Kutter]

Hi. I have found the following bug.

I do the following:

choose m in dom costs
stdout := " costs of "+m+" are "+costs(m)+"\n"
if costs(m) < min_cost then
min_cost := costs(m)
endif
costs(m) := undef
ifnone
return min_cost
endchoose

With the idea to find the minimal entry in dynamic
function costs(_)

Unfortunatly my standard out produces:

costs of SeaTac are 13
costs of SeaTac are undef

The second one should not be the case, since if
costs(m) = undef,
then m is no more in the domain of costs, true?

I had similar problems with choose over universes.

I attach an Xasm project where this problem happens,
as I described above.

PS: I propose we always attach an Xasm tar project
where the
problem is exposed in its minimal form.

PPS: I put the priority high, since it is a fundamental
but of
the semantics.

[Philipp W. Kutter]

Xasm tar project, with the above problem.