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.

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

QuickCheck random generator produces empty tuples. #2106

Open
jurgenvinju opened this issue Dec 19, 2024 · 3 comments
Open

QuickCheck random generator produces empty tuples. #2106

jurgenvinju opened this issue Dec 19, 2024 · 3 comments

Comments

@jurgenvinju
Copy link
Member

Describe the bug

Empty tuples exist in vallang, but not in Rascal. Either we fix that or we make sure the random
generator does not produce empty tuples. We can not write code that matches them or produces them, etc.
The result is that tests fail without a way of even filtering them before the test is run.

@jurgenvinju
Copy link
Member Author

I added <> to Expression and Pattern and that she's the job. Of course we still can't type in a type for tuple[] but that's for another issue.

@PaulKlint
Copy link
Member

So this can be closed?

@jurgenvinju
Copy link
Member Author

We still have to add support for empty tuple expressions and patterns to the checker and the compiler

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants