Stream: contributing

Topic: ✔ Types in the documentation


view this post on Zulip 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?

view this post on Zulip Brian Carroll (Oct 23 2022 at 20:12):

It's a bug and there was a recent thread here recently about fixing it

view this post on Zulip 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.

view this post on Zulip Luke Boswell (Oct 23 2022 at 20:12):

*for now

view this post on Zulip Chris Duncan (Oct 23 2022 at 20:13):

Link to the thread? :eyes:

view this post on Zulip Luke Boswell (Oct 23 2022 at 20:16):

Doc Comment for Opaque Types

view this post on Zulip Chris Duncan (Oct 23 2022 at 20:24):

I'll continue the conversation over there. :+1:

view this post on Zulip Notification Bot (Oct 23 2022 at 20:24):

Chris Duncan has marked this topic as resolved.


Last updated: Jul 06 2025 at 12:14 UTC