:confused: , racklog is not as usefull as I hoped: > (%find-all (B835232 C835233 A835234 A835235 C835236 A835237) (%= `(→ ,C835233 ,A835234) `(→ (→ ,A835237 (buff 5 ,C835236)) ,A835237))) '(((B835232 . _) (C835233 → _ (buff 5 _)) (A835234 . _) (A835235 . _) (C835236 . _) (A835237 . _)))

I was hoping to find out how those _’s were related

How could I get the current bindings for that unification?

Question: I seem to remember that there exists a debugging mode/package where you just put a special marker on the expression to print-debug it. The marker was ‘B’ or ‘T’ or something. I can’t remember where I saw that. Does it ring a bell?

Maybe this? https://docs.racket-lang.org/debug/index.html

When I send a choice% a clear message, I notice it don’t seem to clear right away, I only see a change after I load (append) new choices. Is this normal? Is there something I should do for the brief period between when the old choices were valid and the new ones will be? For context, I wrote a tool at work that helps examine (filter & regex) log files for several dozen different processes. Each process has many logs, the current ones and archived .gz ones. When I switch an application choice% from one process to another, until I load the new log choice% options I want the old options to go away. (define (update-log-choices) (send log-choice clear) (for-each (λ (s) (send log-choice append s)) (get-log-choices))) (define app-choice (new choice% [parent env-hpane] [label "Application:"] [choices (get-application-names)] [horiz-margin 5] [callback (λ (c e) (update-log-choices))]))

Yep, that’s it! Thx!