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

Allow run-time type checking to use variables of type typedesc as type names #252

Open
jclark opened this issue Jul 5, 2019 · 0 comments
Open

Allow run-time type checking to use variables of type typedesc as type names #252

jclark opened this issue Jul 5, 2019 · 0 comments
Assignees
@jclark
Labels
enhancement Enhancement to language design lang Relates to the Ballerina language specification
Milestone
Nutcracker

Comments

@jclark
Copy link
Collaborator

jclark commented Jul 5, 2019 •
edited
Loading

If td is a variable of type typedesc<T>, then E is td should be allowed and should cause narrowing to T.

Similarly <td>E should be allowed and have static type T.
@jclark jclark added enhancement Enhancement to language design lang Relates to the Ballerina language specification labels Jul 5, 2019
@jclark jclark added this to the 2019R4 milestone Jul 5, 2019
@jclark jclark self-assigned this Jul 5, 2019
@jclark jclark modified the milestones: 2019R4, 2020R1 Aug 14, 2019
@jclark jclark mentioned this issue Jan 29, 2021
Open
@jclark jclark changed the title Allow right operand of is-expr to refer to variable of type typedesc Allow run-time type checking to use variables of type typedesc as type names Jan 29, 2021
@jclark jclark mentioned this issue May 12, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jclark jclark

Labels
enhancement Enhancement to language design lang Relates to the Ballerina language specification
Projects
None yet
Milestone
Nutcracker
Development

No branches or pull requests
1 participant
@jclark