Aladdin - Scala Bugtracking
[#178] project: specification priority: low category: bug
submitter assigned to status date submitted
Matthias Martin fixed 2003-10-06 12:30:07.0
subject Disallow dependent method types
code 
class A {
  class B;
  def foo(a: A, b: a.B) = 1;
  // val b = new A;
  // Console.println(foo(b, new b.B));
}
what happened 
The code above is legal, but it is not possible to call function foo. Therefore I suggest to forbid\
 the declaration of types in the parameter list (+ return type) that depend on other parameters.
what expected
[back to overview]
Changes of this bug report
Martin  edited on  2003-10-09 12:21:00.0