Skip to content

Conversation

@Godbrand0
Copy link

@Godbrand0 Godbrand0 commented Jan 22, 2026

Previously, all spec definitions were treated as public regardless of visibility modifiers. This change updates the Symbol enum to track spec visibility through a new SpecInfo struct, allowing specs to be properly marked as public or private in the symbol table and type checking process.

The AST builder now correctly extracts visibility from spec nodes, and the symbol table registration API updated to accept visibility information. Tests are added to verify both public and private spec visibility parsing.

closes #85

Previously, all spec definitions were treated as public regardless of
visibility modifiers. This change updates the Symbol enum to track
spec visibility through a new SpecInfo struct, allowing specs to be
properly marked as public or private in the symbol table and type
checking process.

The AST builder now correctly extracts visibility from spec nodes,
and the symbol table registration API updated to accept visibility
information. Tests are added to verify both public and private spec
visibility parsing.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Visibility modifiers does not make sense in spec

1 participant