search

mukul-rathi / bolt

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

Type check thread regions #103

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

In async expressions, remove any regions that are thread-local or whom contain thread() fields.

Also remove any regions that share non-safe fields with those regions (i.e. those that couldn't be run in conjunction with that region). This prevents thread-local state leaking out.