Chris Duncan (Oct 23 2022 at 20:06): Chris Duncan (Oct 23 2022 at 20:06):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?
Brian Carroll (Oct 23 2022 at 20:12):It's a bug and there was a recent thread here recently about fixing it
Luke Boswell (Oct 23 2022 at 20:12):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.
Luke Boswell (Oct 23 2022 at 20:12):*for now
Chris Duncan (Oct 23 2022 at 20:13):Link to the thread? :eyes:
Luke Boswell (Oct 23 2022 at 20:16): Chris Duncan (Oct 23 2022 at 20:24):I'll continue the conversation over there. :+1:
Notification Bot (Oct 23 2022 at 20:24):Chris Duncan has marked this topic as resolved.
Last updated: Jul 26 2025 at 12:14 UTC