Hi ! I have a reduction relation where I have to match a pattern *ts* to two sequences, where the first one contains the other one. What I tried to do was something like this: 1st seq: (*ts_all1 ... ts ts_all2 ...*) 2nd seq: (*ts_x1 ... ts ts_x2 ...*), where *ts_x* *⊆ **ts_all*. But the problem is that with the pattern matching is that *ts_x1* doesn't match all elements of *ts_all1* . I'm trying to use side conditions but i can't seem to get it right :c . Any advice?
Thank you , Beatriz :) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/1f9a3f57-787b-43b9-9fb4-560e425c1cdan%40googlegroups.com.
