Compiling with void safe

--===============5435762452695014596==
Content-Type: multipart/signed;
	boundary="pgp-sign-Multipart_Sat_Jan__9_11:54:34_2016-1";
	micalg=pgp-sha256; protocol="application/pgp-signature"
Content-Transfer-Encoding: 7bit

--pgp-sign-Multipart_Sat_Jan__9_11:54:34_2016-1
Content-Type: text/plain; format=flowed; charset=US-ASCII

Hi All,

I'm trying to convert a program to be void-safe. How do I enable that
in system.xace?

I've tried to set the option:

  <option void_safety="complete"/>

but doesn't appear to do anything.


I've also tried to grab a generated compile_ise.ecf and make that void
safe by setting to conformance, and changing the libraries to the void
safe versions, but that gives weird compilation errors like:

  Error code: VDRD(2)

  Type error: redeclaration has non-conforming signature.
  What to do: make sure that redeclaration uses signature (number and
    types of arguments and result) conforming to that of the original.

  Class: UC_CHARACTER
  Redefined feature: out: STRING_8 From: UC_CHARACTER
  Precursor: out: STRING_8 From: ANY

which doesn't make much sense to me, so perhaps an earlier error causing this.

--
All the best,

Berend de Boer

--pgp-sign-Multipart_Sat_Jan__9_11:54:34_2016-1
Content-Type: application/pgp-signature
Content-Transfer-Encoding: 7bit
Content-Description: OpenPGP Digital Signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAABCAAGBQJWkD4qAAoJEKOfeD48G3g5v+UP/2AgSCEDylx4DT1MOpPb/b5S
fsjgZE+64grxfhiOeZKuB9v/LmAjF8zVLsRleicwG1ubNV3g6oi2lLq47MmqiQ+q
SPxnHA2XQCsxym1Y9X1g5e30w8VO+9/RNi7enzmLEHC8sTEU3w2Oi1pDYc3/OvNV
qDPTr5BX4yjKV7ZVsctcoqmbDJxq3eIGEnf2WRhjpfU5cxL99jF5enZcd4JgbF5z
G24Q24eljBI/xMUsZ4LH/r8+fYZeFkEKTgpI4T1kPSNYYJV6V6bF/bNkdheEzhup
Dwyol+cwpWpkNhg81Lp+mxu8SP0H9kt89Gpn6aPEcPDtvnKMQwpbmg+GNrBHoPuo
2vVImaTv3uUMS2D0MAwS/8YhUVB5rLTcpZWfQvJHEnR4eBgI26Gm0st7NGwQD2+9
nRRFxpfCEPe5qfHMb6rWcoACXVhQgAZf0gZ1rwnBjuTz+bt3ZcddHkzLleWdlBVH
8sSJiwDpza6rhO+xdZc44yoPAQIBH9Itd6kZa/Ue6RXRWdkKe0JI0TWf3NY/Ua8B
gLZaVg5PsOC5sYETxvfTxZGM1YDyg+FXyvgs4vQSahKOsdB3f9BKORnsOQZqJaQI
trv+flkd5/KNpr9TJQ0TJpFS0PK5n+wnCVHqO1Y6fJmTo8hYj2D2F4dl+e8UFOuI
X3m986SLER16pSR6+6DC
=iX9Q
-----END PGP SIGNATURE-----

--pgp-sign-Multipart_Sat_Jan__9_11:54:34_2016-1--


--===============5435762452695014596==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
--===============5435762452695014596==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

--===============5435762452695014596==--