I'm wondering, is there a way to show some sort of trace for a call to judgment-holds that returns '() or #f?
I'm in a situation where a judgment that I expect to hold does not, and it's tricky to find out by hand where it is failing. The #mode requirement for the judgments suggests an obvious algorithm for establishing whether a judgment holds, which I assume is what judgment-holds uses. Is there any way to see what steps it takes, and were it fails? -- 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.
