search

mukul-rathi / bolt

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

Capabilities should be able to concurrently access immutable state #130

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

update type_concurrent_capability_access.ml to allow immutable const fields.