Can some Eiffel experts explain how the ?= operator works?
What information needs the run-time system for the
type checking and how is it represented? A short sketch
would be sufficient.

Thanks,
Thomas

--
 Thomas Eirich
 Friedrich-Alexander University (FAU)     |  VOICE:  +49 9131 85 8029
 Erlangen-Nuremberg, Germany              |    FAX:  +49 9131 39388
 Department of Computer Science IMMD IV   |   POST:  Martensstr. 1, D-W-8520 Erlangen