Aladdin - Scala Bugtracking
[#76] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Philippe Martin fixed 2003-07-18 17:04:09.0
subject lambdalift generates Refs with wrong type arguments
code
// This is extracted from a test file => don't add a new test file.
object bug {
  def foo(def i: Int): Int = 0;

  def bar: Int = {
    var i: Int = 0;
    foo (i);
  }
}
what happened
lambdalift transforms line

    var i: Int = 0;

into

  var i$0: scala.Ref[scala.Ref[scala.Int]] = new scala.Ref[scala.Ref[scala.Int]](0);

The type argument of scala.Ref is incorrect.
what expected The transformed line should be
  var i$0: scala.Ref[scala.Int] = new scala.Ref[scala.Int](0);
[back to overview]
Changes of this bug report
Philippe  edited on  2003-07-18 17:05:08.0
Philippe  edited on  2003-07-18 17:07:11.0
Martin  edited on  2003-07-22 11:36:22.0