search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
546 stars 53 forks source link

Rename regions and capabilities #114

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

A capability is actually composed of a mode and a subset of object's fields.

So we rename 

class C {
capabilities linear C1, local C2 .....

}

And we have capability names.

The prev. called capabilities are actually called modes. I.e. linear mode, local mode etc.

Rename type mode to modifier.