archives

« Bugzilla Issues Index

#2346 — ArrayCreate says it takes a positive integer, but is often called with 0


"The abstract operation ArrayCreate with argument length (a positive integer or undefined)" conflicts with e.g. "Let array be the result of the abstract operation ArrayCreate with argument 0."


Also, it might be nice to formalize the argument requirement with an Assert.


fixed in rev25 editor's draft


in rev25


in rev25