Dear colleagues, I'm working on a semantics using Redex. I've got a strange message from "test-->>" function --- "got nothing". It is strange, because a term, which I run "test-->>" on, definitely can be reduced. For example, I can see lots of its productions in "traces" or "stepper".
My assumption, that in Redex there is some bound (parameter?) on how many productions in a trace chain can be. Am I right? Unfortunately, I failed to find corresponding information in the Redex reference. BR, Anton Podkopaev podkopaev.net -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
