opam-doc icon indicating copy to clipboard operation
opam-doc copied to clipboard

class type : sometimes it doesn't unfold

Open pw374 opened this issue 11 years ago • 0 comments

In http://ocaml.org.philippewang.info/pkg/docs/?package=camomile&module=CamomileLibrary when I unfold module OOChannel and then try to unfold class type ['a] obj_input_channel, it doesn't work.

However http://ocaml.org.philippewang.info/pkg/docs/?package=camomile&module=CamomileLibrary.OOChannel&class=obj_input_channel does work. And unfolding the same class type but on this page instead http://ocaml.org.philippewang.info/pkg/docs/?package=camomile&module=CamomileLibrary.OOChannel does work!

pw374 avatar Oct 24 '13 00:10 pw374