[coyotos-dev] Update to bitc spec

[Pierre THIERRY]

Scribit Jonathan S. Shapiro dies 30/08/2006 hora 17:21:
> 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.

I'm confused about the pair and list examples, in 1.2.1: the symbol for
a value type union is used for the following union:

	(defunion (list 'a) nil (cons car:'a cdr:(list 'a)))

whereas the symbol for a reference type union is used for the following:

	(defunion (optional 'a):val  none (some it:'a))

The first has no qualification and is said a value, the second has a
qualification of value and is sais a reference... I'm not sure I
understand.

Confusingly,
Nowhere man
-- 
nowhere.man at levallois.eu.org
OpenPGP 0xD9D50D8A
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.coyotos.org/pipermail/coyotos-dev/attachments/20060901/22f06398/attachment.bin