I just realized that the generated documentation doesn't include types in its results. For example, I was looking at the result of the Num page, and the different number types (Nat, Frac, etc.) don't appear. Functions that refer to these types create links, but these links go nowhere.
Can someone provide some context on why the docs command would not do this?
It's a bug and there was a recent thread here recently about fixing it
I was looking into that and tried to fix it. From my investigation it looks like its the opaque types. I didn't get far enough to resolve. I figured opaque types were being worked on with the abilities implementation so I thought to leave it. I think I posted elsewhere in Zulip, ill try and link that post here if I can find it.
*for now
Link to the thread? :eyes:
I'll continue the conversation over there. :+1:
Chris Duncan has marked this topic as resolved.
Last updated: Jul 06 2025 at 12:14 UTC