Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft for type normalisation based on approach (1) #1534

Closed
wants to merge 1 commit into from

Conversation

oxisto
Copy link
Member

@oxisto oxisto commented Apr 15, 2024

Fixes #1533

@oxisto oxisto force-pushed the type-name-normalisation branch from 898e181 to 0d44d9c Compare April 15, 2024 21:27
@oxisto oxisto force-pushed the type-name-normalisation branch from 0d44d9c to 19ac8b9 Compare April 15, 2024 21:47
Copy link

sonarcloud bot commented Apr 15, 2024

@oxisto oxisto changed the title Draft for type normalisation Draft for type normalisation based on approach (1) Apr 16, 2024
oxisto added a commit that referenced this pull request Apr 16, 2024
oxisto added a commit that referenced this pull request Apr 17, 2024
oxisto added a commit that referenced this pull request Apr 21, 2024
@oxisto
Copy link
Member Author

oxisto commented Apr 23, 2024

I will probably not follow this approach, but instead propose a solution with the TypeReference, so closing this for now.

@oxisto oxisto closed this Apr 23, 2024
oxisto added a commit that referenced this pull request May 2, 2024
oxisto added a commit that referenced this pull request May 9, 2024
oxisto added a commit that referenced this pull request May 10, 2024
oxisto added a commit that referenced this pull request May 10, 2024
oxisto added a commit that referenced this pull request May 11, 2024
oxisto added a commit that referenced this pull request May 12, 2024
oxisto added a commit that referenced this pull request May 12, 2024
oxisto added a commit that referenced this pull request May 12, 2024
oxisto added a commit that referenced this pull request May 12, 2024
oxisto added a commit that referenced this pull request May 21, 2024
oxisto added a commit that referenced this pull request May 21, 2024
* Concepts for symbols

Fixes #1534

* Use qualified names for types and record declarations (#1559)

---------

Co-authored-by: KuechA <31155350+KuechA@users.noreply.github.com>
oxisto added a commit that referenced this pull request Jun 1, 2024
oxisto added a commit that referenced this pull request Jun 3, 2024
oxisto added a commit that referenced this pull request Jun 14, 2024
oxisto added a commit that referenced this pull request Jun 24, 2024
oxisto added a commit that referenced this pull request Jun 27, 2024
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.

Discussion on types and type name normalisation
1 participant