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]: Reuse the existing semtype port tests to test the runtime semtype implementation #42814

Closed
heshanpadmasiri opened this issue May 28, 2024 · 1 comment
Closed

[Improvement]: Reuse the existing semtype port tests to test the runtime semtype implementation #42814

heshanpadmasiri opened this issue May 28, 2024 · 1 comment
Assignees
@heshanpadmasiri
Labels
Area/SemtypePort Issues related to porting of semantic subtyping Type/Improvement userCategory/Compilation

Comments

@heshanpadmasiri
Copy link
Member

Description

We already has type testing framework for testing compiler side implementation of semtypes. We should be able to refactor the logic such that we can just replace the type checking and type resolution logic and run same tests on both compiler and runtime type systems.

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 Area/SemtypePort Issues related to porting of semantic subtyping labels May 28, 2024
@heshanpadmasiri heshanpadmasiri self-assigned this May 28, 2024
@ballerina-bot ballerina-bot added needTriage The issue has to be inspected and labeled manually userCategory/Compilation labels May 28, 2024
@heshanpadmasiri heshanpadmasiri moved this from BackLog to On Hold in Ballerina Team Main Board May 29, 2024
@heshanpadmasiri heshanpadmasiri mentioned this issue Jun 3, 2024
Closed
13 tasks
@heshanpadmasiri heshanpadmasiri moved this from On Hold to PR Sent in Ballerina Team Main Board Jun 3, 2024
@heshanpadmasiri heshanpadmasiri removed the needTriage The issue has to be inspected and labeled manually label Jul 17, 2024
@heshanpadmasiri heshanpadmasiri mentioned this issue Aug 14, 2024
Merged
13 tasks
@lochana-chathura
Copy link
Member

Added with #43279 via #42841

@github-project-automation github-project-automation bot moved this from PR Sent to Done in Ballerina Team Main Board Nov 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@heshanpadmasiri heshanpadmasiri

Labels
Area/SemtypePort Issues related to porting of semantic subtyping Type/Improvement userCategory/Compilation
Projects
Ballerina Team Main Board
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@heshanpadmasiri @ballerina-bot @lochana-chathura