I'm not sure without seeing more of your code (one annoying thing about
Redex is that it is not always clear when you "in redex" and when you are
"in racket" and your code might be mixing those up) but here is an example
along the lines I think you're working towards. Note that it might be
better t
I have tried to use a metafunction to represent s∉dom(env-ß) in a side
condition,* (side-condition (notinenv ((ß_1 ...) env-ß ...) x))*, but the
error message *notinenv: illegal use of syntax in: (notinenv ((ß_1 ...)
env-ß ...) x) value at phase 1: #* appears and i don't understand
why.
I de
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
wrote:
> Hi,
> I have been using side-condition to check if a sequence of variables exist
> is in an environment , like this :
>
>
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
4 matches
Mail list logo
