search

mukul-rathi / bolt

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

Type fields in a region #100

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

Check all fields in a region have same type.

If the object is read() then ensure that either the fields are const, or that they are safe().