| [#50] | project: compiler | priority: medium | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Philippe | Matthias | fixed | 2003-06-26 18:55:53.0 | |
| subject | missing TypeApply | |||
| code |
case class Foo[a](x: a);
object bug {
Foo("");
NativeMonitor.synchronised(null, "");
} |
|||
| what happened | The module bug looks like this after phase analyze:
final object bug extends scala.Object() {
Foo("");
scala.NativeMonitor.synchronised(null, "")
};
|
|||
| what expected | Methods "Foo" and "synchronized" are both polymorphic, therefore, there should be a TypeApply node around each one. The module bug should look like this: final object bug extends scala.Object() { Foo[String](""); scala.NativeMonitor.synchronised[String](null, "") }; | |||
| [back to overview] | ||||
| Philippe edited on 2003-06-26 18:55:53.0 |
| Martin edited on 2003-07-04 16:51:32.0 |
| Foo now has a type apply node. As for synchronised, the problem is that the classloader assigns the wrong owner to the type variable of the seconbd occurrence of synchronised in NativeMonitor. Therefore, I have reassigned to Matthias. |
| Matthias edited on 2003-07-07 13:48:20.0 |
| The scoping bug in the AttributeParser should now be fixed. |