[AndyKelley]

Damn, sorry, wasn't trying to call you out; rather hoping that you had thought of something I didn't that I could steal from you.

I think starting with an IDE from the very beginning was a smart move.

For what it's worth, here is my current vaporware plan to solve this problem: https://github.com/ziglang/zig/issues/3028

I would be curious to see your thoughts on this, especially if you end up trying to tackle this problem in Beef.

[beefdev]

Ah- for BeefLang that's less of a problem since even unreachable code is typechecked (without code generation). But yeah your problem sounds very hard. I guess I don't fully understand why you would only want reachable functions to be listed in documentation...