[ nice-Bugs-1096117 ] inscrutable warning

Bugs item #1096117, was opened at 2005-01-05 00:18
Message generated for change (Comment added) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1096117&group_id=12788

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

Initial Comment:
This code generates a warning I can't understand.

package bug5;

(int, List<int>)
foo(int by)
{
      return (5, [by]);
}

void _test_foo() {
  int x;
  List<int> y;
  (x, y) = foo(6);
  print(x);
  print(y);
}

The warning: 

cd c:/Documents and Settings/beckerle.ASCENTIAL/My 
Documents/flash/nicetest/bug5/
make -k test
nicec.bat  --sourcepath=.. -a bug5.jar bug5
nice.lang: parsing
bug5: parsing
bug5: typechecking
Warning: lowestInstance called inapropriately for t30'
bug5: generating code
bug5: linking
bug5: writing in archive
nice.lang: writing in archive
niceunit.bat --classpath bug5.jar bug5
bug5.fun._test_foo
5[6]
Compilation finished at Tue Jan 04 18:12:50

This is version: Nice compiler version 0.9.10 prerelease 
(build 2004.12.29, 15:32:25 UTC)

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

>Comment By: Arjan Boeijink (arjanb)
Date: 2005-01-05 02:44

Message:
Logged In: YES 
user_id=688815

That warning comes from code that isn't supposed to be 
reachable.
Some problem in the typesystem I think.
The generated code looks good though.
Daniel can you take look at this?


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

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


-------------------------------------------------------
The SF.Net email is sponsored by: Beat the post-holiday blues
Get a FREE limited edition SourceForge.net t-shirt from ThinkGeek.
It's fun and FREE -- well, almost....http://www.thinkgeek.com/sfshirt