Skip to content

Fix: namespacing in Load.hs#104

Merged
acl-cqc merged 5 commits intomainfrom
cr/load-namespace
Mar 6, 2026
Merged

Fix: namespacing in Load.hs#104
acl-cqc merged 5 commits intomainfrom
cr/load-namespace

Conversation

@croyzor
Copy link
Collaborator

@croyzor croyzor commented Mar 3, 2026

Use a different namespace for each file, this results in Compile/Hugr.hs seeing nodes named "checking"::"globals".... so add filePrefix helper function there.

Update golden tests, but no change in success/failure - Load.hs still keeps only the graph from the last file.

@croyzor croyzor changed the title WIP: fix namaspacing in Load.hs WIP: fix namespacing in Load.hs Mar 3, 2026
@acl-cqc acl-cqc marked this pull request as ready for review March 6, 2026 15:55
@acl-cqc acl-cqc changed the title WIP: fix namespacing in Load.hs Fix: namespacing in Load.hs Mar 6, 2026
Copy link
Collaborator

@acl-cqc acl-cqc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pair programmed for the win!

@acl-cqc acl-cqc merged commit e494e6f into main Mar 6, 2026
1 check passed
@acl-cqc acl-cqc deleted the cr/load-namespace branch March 6, 2026 15:57
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.

2 participants