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
|
