loom

1
global immutable {
2
    operator "sbl" (sbl.op.VariableAssignment) (lvalue, rvalue)
3
    {
4
        if (lvalue.owner != nil &&
5
            lvalue.owner.contracts.find("immutable"))
6
            call sbl.throwContractError(lvalue.location,
7
                                   "It is unacceptable to change the
8
                                   state of an immutable type")
9
    }
10
}
11

12