search

fmease / lushui

The reference compiler of the Lushui programming language
Apache License 2.0
7 stars 0 forks source link

Disallow accessing record fields of private opaque/abstract data types #81

Open fmease opened 3 years ago

fmease commented 3 years ago

Blocked on the basic implementation of record fields.

Related #80: This means exposure checking during type checking! We don't have the infrastructure for this in place like not at all as our current model has a strict separation between name resolution (and exposure checking) and type checking.