[ nice-Bugs-1090883 ] undesriable type redundancy required

Bugs item #1090883, was opened at 2004-12-24 11:15
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1090883&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: mike.beckerle (mbeckerle)
Assigned to: Nobody/Anonymous (nobody)
Summary: undesriable type redundancy required

Initial Comment:
// What I have to write is this:

Env makeEnv(List<(String, String)> initList) {
  var m = new Env();
  var String key;
  var String value;
  for ( (String, String) item : initList) {
    (key, value) = item;
    m.put(key, value);
  }
  return m;
}

// What I want to write 

Env makeEnv(List<(String, String)> initList) {
  var m = new Env();
  for ( var (key, value) : initList) m.put(key, value);
  return m;
}

// That is. Why shouldn't I be able to introduce a whole 
tuple
// of variables simultaneously, and have their types 
inferred 
// the same as if they were top level variables. E.g.,

// var (a, b) = ....expression of return type (String, 
Int)...

// The way I have to do this currently feels too 
redundant to me.


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1090883&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://productguide.itmanagersjournal.com/