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'
Seems like this is a generalization of the existing view patterns like - and typeof
ident could be generalized to any pattern really, since it's ident' in the expression anyway
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 anyway