Zulip Chat Archive

Stream: general

Topic: doc-gen not showing monad equations

Yaël Dillies (Dec 22 2021 at 12:57):

doc-gen is being unhelpful on monad instantation (eg docs#multiset.monad) by only showing monad.mk. What's happening? Is it because docs#monad is defined so early that somehow not everything is set properly yet?

Yaël Dillies (Dec 22 2021 at 13:01):

I remember reading about that somewhere. A bootstrapping problem. Maybe Simon Hudon had written that on some docstring under control.?

Last updated: Aug 03 2023 at 10:10 UTC