Deny (some forms of) private binding leakage

fmease / lushui

The reference compiler of the Lushui programming language

Apache License 2.0

5 stars 0 forks source link

Deny (some forms of) private binding leakage #70

Closed fmease closed 2 years ago

fmease commented 3 years ago

Something similar to Rust's private-in-public lint. Maybe it's not (fully) possible in a dependently-typed language. See that one long message in some test case for more.

fmease commented 2 years ago

Superseded by #115.