This is going further in the wrong direction 😛 1. The cache for the reduction relation is invalid.
2. There’s no way to parameterize ‘clock’ when calling the reduction relation (I think it’d really help to think of ‘k’ instead of ‘clock’). 3. ‘clock’ isn’t available to metafunctions called from the reduction relation. You see, my interest is not to hide side-effects from the definition of the reduction relation, but to have implicit parameters in all kinds of definitions. -- 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.
