[ nice-Feature Requests-1153262 ] notNull antipode

Feature Requests item #1153262, was opened at 2005-02-28 09:55
Message generated for change (Comment added) made by artemgr
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153262&group_id=12788

Category: None
Group: None
Status: Open
>Priority: 1
Submitted By: Artem Gr Kozarezov (artemgr)
Assigned to: Nobody/Anonymous (nobody)
Summary: notNull antipode

Initial Comment:
Nice guesses about nullness of existing java arguments
and returned values are often incorrect. It is not
always feasible to correct nullness assumptions using
"native" keyword. And it is not convenient to loose
type inference only to convert the type to the option one.

Following statement works with Nice:
<T> ?T maybeNull( !T value ) = cast( value );

Proporsal is to add this statement or some other method
into the Nice prelude.

----------------------------------------------------------------------

>Comment By: Artem Gr Kozarezov (artemgr)
Date: 2005-02-28 09:57

Message:
Logged In: YES 
user_id=289741

If this RFE is valid and accepted,
i can put the statement and a testcase into CVS.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153262&group_id=12788


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click