Author:halw
Date:2011-10-11T19:18:18.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@994 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-10-11 19:18:18 +00:00
parent 373cdfcd35
commit bc1c778191

View File

@@ -0,0 +1,14 @@
[[Property:title|Mixing void-safe and void-unsafe software]]
[[Property:weight|3]]
[[Property:uuid|3446f214-3c77-ef41-98eb-92942298630c]]
{{underconstruction}}
=Introduction=
Under some circumstances it is possible and even helpful to mix void-safe and void-unsafe libraries. During conversion, for example, it can be helpful to compile and test a void-unsafe system with void-safe versions of the libraries it depends upon.
=Rules for mixing void-safety modes=