You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
From time to time I look up documentation using either Merlin or ocp-browser, and a few values such as Mirage.package says e.g. "Same as Functoria.Package.v". This is rather annoying as in both Merlin and ocp-indent there are no hyperlinks to get to the actual documentation.
Another one is Mirage.impl that defines itself as of_device @@ Device.v where Mirage doesn't even have a Device module.
Yea, that's a very good point. I'm trying to fix those when I see those references, but it would be nice to have a more systematic review of those references.
From time to time I look up documentation using either Merlin or ocp-browser, and a few values such as
Mirage.package
says e.g. "Same as Functoria.Package.v". This is rather annoying as in both Merlin and ocp-indent there are no hyperlinks to get to the actual documentation.Another one is
Mirage.impl
that defines itself asof_device @@ Device.v
whereMirage
doesn't even have aDevice
module.Somewhat motivated by mirage/mirage-skeleton#388.
The text was updated successfully, but these errors were encountered: