X10

Method guards can only be made weaker by overriding (and it is not checked by the compiler)

Details

  • Number of attachments :
    0

Description

class A(i:Int) {
  def m() {i==1} {}
  def m2() {i!=0} {}
}
class B extends A {
  def this() { super(3); }
  def m() {i!=0} {}
  def m2() {i==1} {} // ShouldBeErr: guard can only be made stronger.
}

Activity

No work has yet been logged on this issue.

People

  • Assignee:
    Vijay Saraswat
    Reporter:
    Yoav Zibin
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: