Skip to content

Semantic tokens forall function hide under type syn is not recognized #3966

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.

Sign up for GitHub

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

Jump to bottom
Closed
Tracked by #3931
soulomoon opened this issue Jan 16, 2024 · 0 comments · Fixed by #3967
Closed
Tracked by #3931

Semantic tokens forall function hide under type syn is not recognized #3966

soulomoon opened this issue Jan 16, 2024 · 0 comments · Fixed by #3967
Assignees
@soulomoon
Labels
component: semantic-tokens

Comments

@soulomoon
Copy link
Collaborator

soulomoon commented Jan 16, 2024 •
edited
Loading

Current implmentation is does expand type synoym for type from the in memory hieAst.

So the forall function hide under type syn is not recognized

  1. T1 type syn is expanded since isFunType check so.
  2. T2 is not, since the check only expand forall.

It result in forall hide behide type syn is not expanded
image
@soulomoon soulomoon mentioned this issue Jan 16, 2024
Open
25 tasks
@soulomoon soulomoon changed the title expand type synonym to extract function type expand type synonym to extract function type when possible Jan 16, 2024
@soulomoon soulomoon mentioned this issue Jan 16, 2024
Merged
@soulomoon soulomoon changed the title expand type synonym to extract function type when possible Semantic tokens forall function hide under type syn is not recognized Jan 16, 2024
@soulomoon soulomoon self-assigned this Jan 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@soulomoon soulomoon

Labels
component: semantic-tokens
Projects
None yet
Milestone
No milestone
1 participant
@soulomoon