archives

« Bugzilla Issues Index

#135 — 11.1.4: If exists then


11.1.4 / Semantics / alg 5 / step 9.b
11.1.4 / Semantics / alg 7 / step 10.b
say:
"If /exists/ then,"
Change "exists" to "exists is true" ?

(AFAICT, there's no other case where the condition
of an if-step is just an algorithm-variable.)


fixed in editor's draft