[gobo-eiffel-develop] Review of Gobo-eiffel's code and conversion to void-safety

[Jocelyn <li...@dj...>]

Hi all,

I am Jocelyn FIAT (working for Eiffel Software).
As part of Eiffel Software's effort to convert libraries to void-safety,
we are currently working on Gobo's conversion.

During this process, we noticed a few (minor) errors in code.
So I will try to send one email per issue, and I might eventually ask on
this mailing list explanations on specific design,
and maybe suggest minor changes to improve Gobo's quality, and probably
ease conversion to void-safety.

See following emails.

Best regards,
--Jocelyn