Re: [Gcl-devel] some GCL bugs revealed by ansi test suite

[Paul F. Dietz]

"Vadim V. Zhytnikov" wrote:

> I dont quite agree with you.  Although ANSI standard
> defines no exceptional situation for make-array
> it also states that the :fill-pointer must be _valid_
> fillpointer.  And _valid_ fillpointer is defined
> as nonnegative.

But the standard also says (in the section on interpreting
entries) that for argument information:

  "Except as explicitly specified otherwise, the consequences
   are undefined if these type restrictions are violated."

So unless there's an exceptional situation described in
the entry, a conforming implementation can do whatever it
wants.

        Paul