[coyotos-dev] Update to bitc spec
Jonathan S. Shapiro
shap at eros-os.org
Wed Aug 30 16:21:10 CDT 2006
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?
More information about the coyotos-dev