X10

"self" should be allowed in class invariants.

Details

  • Number of attachments :
    0

Description

public class snoon {
  class NonNull {self != null} {}
  class SelfField(p:Int) {self.p == 3} {}
}

Both these classes ought to compile, but they currently don't.

ALSO it may well be that the typechecker doesn't check class invariants. However, in the case of NonNull at least, it probably ought to.

Issue Links

depends upon

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-1764 Why can't I use this or self in a class invariant?

  • Minor - Minor loss of function, or other problem where easy workaround is present.
  • Open - The issue is open and ready for the assignee to start work on it.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
David Grove added a comment -

bulk defer of open issues to 2.2.2.

Show
David Grove added a comment - bulk defer of open issues to 2.2.2.
Hide
Permalink
David Grove added a comment -

bulk defer of issues to 2.2.3.

Show
David Grove added a comment - bulk defer of issues to 2.2.3.
Hide
Permalink
David Grove added a comment -

bulk defer of 2.3.0 open issues to 2.3.1.

Show
David Grove added a comment - bulk defer of 2.3.0 open issues to 2.3.1.
Hide
Permalink
David Grove added a comment -

bulk defer to 2.3.2

Show
David Grove added a comment - bulk defer to 2.3.2

People

  • Assignee:
    Vijay Saraswat
    Reporter:
    Bard Bloom
Vote (0)
Watch (1)

Dates

  • Created:
    Updated: