Re: Change of contract in UT_URL_ENCODING.unescaped_utf8
Eric Bezault <[email protected]> Wed, 06 May 2009 12:26:25 +0200
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
Colin Adams wrote: > Looking at the latest code in SVN, I see that ?STRING is used on > return type of unescape_utf8, but unescape_string has plain STRING > (not !STRING). > > Is this the policy to follow? Doesn't it mean that the library will > only be Void-safe if types are considered attached by default? I guess so. Note that when there is a plain STRING, the postcondition Result /= Void should be retained for the time being. That way the code is still correct in non void-safe mode. -- Eric Bezault mailto:[email protected] http://www.gobosoft.com ------------------------------------------------------------------------------ The NEW KODAK i700 Series Scanners deliver under ANY circumstances! Your production scanning environment may not be a perfect world - but thanks to Kodak, there's a perfect scanner to get the job done! With the NEW KODAK i700 Series Scanner you'll get full speed at 300 dpi even with all image processing features enabled. http://p.sf.net/sfu/kodak-com