search

fmease / lushui

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

Disallow the case analysis of private opaque/abstract data types #80

Open fmease opened 3 years ago

fmease commented 3 years ago

Related #81: 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.