Skip to content

fix lns Interger1Type, Interger127Type, etc#1081

Merged
swissiety merged 6 commits intodevelopfrom
1080-bug-localnamestandardizer-not-handling-integer1type-integer127type
Sep 26, 2024
Merged

fix lns Interger1Type, Interger127Type, etc#1081
swissiety merged 6 commits intodevelopfrom
1080-bug-localnamestandardizer-not-handling-integer1type-integer127type

Conversation

@sahilagichani14
Copy link
Copy Markdown
Collaborator

fix types created by type assigner, later using LocalNameStandardiser handle types such as TopType, Interger1Type, Interger127Type, etc.

@sahilagichani14 sahilagichani14 force-pushed the 1080-bug-localnamestandardizer-not-handling-integer1type-integer127type branch from e20cb53 to 3e7cd5c Compare September 22, 2024 15:18
Copy link
Copy Markdown
Collaborator

@swissiety swissiety left a comment

Choose a reason for hiding this comment

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

these are leftovers from TypeAssigner which should not appear outside of it / in a StmtGraph

@swissiety swissiety merged commit c5fd96c into develop Sep 26, 2024
@swissiety swissiety deleted the 1080-bug-localnamestandardizer-not-handling-integer1type-integer127type branch September 26, 2024 12:43
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.

[Bug]: LocalNameStandardizer not handling Integer1Type, Integer127Type

2 participants