I recommend you define a metafunction or judgment form that captures what you want exactly and then use that.
Robby On Mon, Dec 21, 2020 at 8:32 AM Beatriz Moreira <[email protected]> wrote: > Hi, > I have been using side-condition to check if a sequence of variables exist > is in an environment , like this : > > *(side-condition (not (member (term ((s : _) ...)) (term (env-ß_1 ...)))))* > > being s a state variable and _ a value that i don't know. But it doesn't > seem to work as expected, as it returns #t even when it shouldn't. > Is it there a better way of doing it? > > Thank you :) > > -- > 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/c8632f31-98c2-46cb-8231-2ca272ae2b8an%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/c8632f31-98c2-46cb-8231-2ca272ae2b8an%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAL3TdOMRF%2BkoLmEz3m1-u9VwmYAByRz0NBgtCbJ%3Dgb0TUpSisA%40mail.gmail.com.
