Oh, raco pkg show -l reports : define2 #f (link "/home/laurent/.local/share/Prog/Racket/define2") but this is not the correct directory! It’s a mix between /home/laurent/.local/share and ~/Prog/Racket/define2.

Aha, it looks like it’s the file pkgs/pkgs.rktd that’s contains the wrong links (and not links.rktd). I think I now remember moving ~/.racket to ~/usr/share/racket or something, so the fault is entirely on me. Apologies for the noise—I should be able to fix the links myself.

So— I’m playing with redex some more and I feel like I’m going crazy! Why won’t <https://github.com/nikomatsakis/patina/blob/d2d1c475d52c78cac6a547d506125492766bafcb/src/ty/grammar.rkt#L102-L104|this pattern> match? The pattern is just a identifier-not-otherwise-mentioned…

omg, it’s variable not otherwise mentioned