Void safety

"Berend de Boer [email protected] [gobo-eiffel]" <[email protected]> Sat, 07 Mar 2015 10:06:02 +1300

Newsgroups	gmane.comp.lang.eiffel.gobo.general
Message-ID	<[email protected]>

Hello All,

I tried to add the void_safety option to my system.xace, but that
leads to immediate errors when compiling like:

  Class: FOO
  Void safety: Transitional
  Configuration: compile_ise.ecf
  Provider class: INTEGER_32
  Provider option: Void safety: No
  Provider configuration: /usr/local/Eiffel_14.05/library/base/base.ecf
  Line: 68
  ->      verse_number: INTEGER
        do


It seems I need base-safe.ecf??

Can I use void safety with a geant/gexace combination already?

--
All the best,

Berend de Boer


[Non-text portions of this message have been removed]



------------------------------------
Posted by: Berend de Boer <[email protected]>
------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]