[coyotos-dev] Update to bitc spec

[Jonathan S. Shapiro]

Actually, *two* updates:

1. make-vector behavior has changed. It is possible to build a simple
wrapper accomplishing the old behavior as a library routine. The new one
provides for initializing a vector element by element.

Note that this function is currently called "make-vectorL" in the
compiler. This will change in the next day or two, but we want to get
the runtime change done at the same time.

2. Swaroop has written a document explaining in detail (and formally)
how the inference of mutability works. This was surprisingly tricky, and
the document covers a bunch of the pitfalls and issues. The document has
actually been on-line for some time, but it hasn't been visible on the
docs page until now.

The document should show up on the web site in about 20 minutes.


Hmm. I see that the "News" bar has become very stale. I'm inclined to
retire the news bar unless we can find a way to automate keeping it more
or less up to date. Suggestions?