Perfect, that did the trick, thanks!
On Wednesday, January 2, 2019 at 7:52:40 PM UTC-8, Robby Findler wrote:
>
> Did you try using `current-traced-metafunctions` ? It is poorly named,
> I know. And, even worse, I see that the docs don't actually say that
> it traces judgment forms too.
>
>
Did you try using `current-traced-metafunctions` ? It is poorly named,
I know. And, even worse, I see that the docs don't actually say that
it traces judgment forms too.
Robby
On Wed, Jan 2, 2019 at 9:18 PM Joey Eremondi wrote:
>
> I'm wondering, is there a way to show some sort of trace for a
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
3 matches
Mail list logo