[gobo-eiffel-develop] Manifest types

[Eric B. <er...@go...>]

Hello,

Manifest types are now implemented in the Gobo compiler. Unfortunately
they  don't seem to be supported in SE 1.2, so we cannot use them in
the Gobo library classes.

I also changed the signature of ANY.generating_type to return
"TYPE [like Current]". There is an "automatic" conversion from
TYPE to STRING to allow a smooth transition.

Finally, I tried to make sure that at any given time, there is
no more than one instance of TYPE representing a given Eiffel type.
That way we can easily compare types using '='. Although this
decision  was the result of a discussion about FreeELKS with ISE,
be aware that this is not yet implemented in EiffelStudio. For
example:  {FOO} = {FOO}  will return False whereas it already
returns True when compiled with gec.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com