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

Quint and Qubit literal handling could be simplify #79

Open
GabrieleMessina opened this issue Aug 17, 2024 · 1 comment
Open

Quint and Qubit literal handling could be simplify #79

GabrieleMessina opened this issue Aug 17, 2024 · 1 comment
Labels
critical To Handle ASAP enhancement New feature or request

Comments

@GabrieleMessina
Copy link
Owner

We need to refactor the lexer and parser to remove some possible syntax. Plus, we could handle these literals as arrays of simpler types directly in the parser so that at the end of compilation, we get an array of Symbol.

@GabrieleMessina GabrieleMessina added enhancement New feature or request critical To Handle ASAP labels Aug 17, 2024
@GabrieleMessina
Copy link
Owner Author

We should also avoid ambiguity between these literals and array values.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
critical To Handle ASAP enhancement New feature or request
Projects
Status: Todo
Development

No branches or pull requests

1 participant