We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Seems handy, to reduce some queries that just have views applied in the next clause
Rules kind of handle this, but not quite in the way I hope, cause they're verbose
[parse line for chomp line in readlines!()]
Where expr ident = x desugars to ident' = x and ident = expr ident'
expr ident = x
ident' = x and ident = expr ident'
Seems like this is a generalization of the existing view patterns like - and typeof
-
typeof
ident could be generalized to any pattern really, since it's ident' in the expression anyway
ident
ident'
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Seems handy, to reduce some queries that just have views applied in the next clause
Rules kind of handle this, but not quite in the way I hope, cause they're verbose
Where
expr ident = xdesugars toident' = x and ident = expr ident'Seems like this is a generalization of the existing view patterns like
-andtypeofidentcould be generalized to any pattern really, since it'sident'in the expression anywayThe text was updated successfully, but these errors were encountered: