Open eignnx opened 4 years ago
it seems like sometimes you might want to just discard a result when ur deep in a case analysis. maybe there outta be a symbol that will just discard the current trace and tell the generator to try again.
rule thing.Abc.Xyz = .a.x -> "a x" .b { .x -> "b x" .* -> !!! -- <-------------------- } .*.* -> "other"
it seems like sometimes you might want to just discard a result when ur deep in a case analysis. maybe there outta be a symbol that will just discard the current trace and tell the generator to try again.
Syntax