Precedence of set operators about silver HOT 4 CLOSED

Bitbucket user Korbinian Breu commented on 2013-11-06 12:56

Workaround: Parentheses

#!scala

var s:Set[Ref]

predicate inv(this: Ref)
{
    !(null in (this.s))
}

from silver.

@alexanderjsummers commented on 2013-11-06 13:20

Duplicate of #1.

from silver.

@alexanderjsummers on 2013-11-06 13:20:

• changed state from new to duplicate

from silver.

@alexanderjsummers commented on 2013-11-06 13:20

(this is a pervasive problem with the current grammar)

from silver.