reaver-project / vapor

Vapor is a language made as a part of the Reaver Project effort. The name has originated as a word play on a word "vaporware" - the author often called this language a "vaporlang", and later decided to keep that name.
Other
5 stars 4 forks source link

Uniqueness typing #30

Open griwes opened 6 years ago

griwes commented 6 years ago

Implement the unique specifier, to prepare for future work on disallowing unsynchronized shared access to mutable objects.

This is only meaningful on references and reference types really, so depends on #24.