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

Add support for class type difference #148

Closed
LPTK opened this issue Oct 26, 2022 · 1 comment
Closed

Add support for class type difference #148

LPTK opened this issue Oct 26, 2022 · 1 comment
Labels
feature

Comments

@LPTK
Copy link
Contributor

LPTK commented Oct 26, 2022 •
edited
Loading

As a more convenient and less obscure syntax for the intersection of a negated nominal class tag T & ~#Cls, we could support the class type difference syntax T \ Cls (as pure syntax sugar also used by the compiler to present types to users).
@LPTK LPTK added the feature label Oct 26, 2022
@LPTK
Copy link
Contributor Author

LPTK commented Oct 11, 2023

Already implemented as part of #187.

@LPTK LPTK closed this as completed Oct 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@LPTK