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.

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

[Improvement]: Integrate function semtype into jBallerina type engine #42512

Closed
heshanpadmasiri opened this issue Apr 9, 2024 · 1 comment
Closed

[Improvement]: Integrate function semtype into jBallerina type engine #42512

heshanpadmasiri opened this issue Apr 9, 2024 · 1 comment
Assignees
@heshanpadmasiri
Labels
Area/SemtypeIntegration Issue related to integrating semtype engine Area/SemtypePort Issues related to porting of semantic subtyping Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. Type/Improvement

Comments

@heshanpadmasiri
Copy link
Member

Description

Extend #42506 so that "normal" type checker also uses function semtype

Describe your problem(s)

No response

Describe your solution(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response
@heshanpadmasiri heshanpadmasiri added Type/Improvement Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. Area/SemtypePort Issues related to porting of semantic subtyping labels Apr 9, 2024
@heshanpadmasiri heshanpadmasiri self-assigned this Apr 9, 2024
@heshanpadmasiri heshanpadmasiri mentioned this issue Apr 24, 2024
Merged
13 tasks
@heshanpadmasiri heshanpadmasiri mentioned this issue May 7, 2024
Open
@heshanpadmasiri heshanpadmasiri moved this from In Progress to PR Sent in Ballerina Team Main Board May 10, 2024
@lochana-chathura lochana-chathura mentioned this issue May 30, 2024
Open
17 tasks
@lochana-chathura
Copy link
Member

Closing with #42622

@github-project-automation github-project-automation bot moved this from PR Sent to Done in Ballerina Team Main Board Jun 14, 2024
@lochana-chathura lochana-chathura added the Area/SemtypeIntegration Issue related to integrating semtype engine label Jun 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@heshanpadmasiri heshanpadmasiri

Labels
Area/SemtypeIntegration Issue related to integrating semtype engine Area/SemtypePort Issues related to porting of semantic subtyping Team/CompilerFE All issues related to Language implementation and Compiler, this exclude run times. Type/Improvement
Projects
Ballerina Team Main Board
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@heshanpadmasiri @lochana-chathura