Ticket #75 (closed defect: fixed)
hyperlinking doesn’t work for type operators
|Reported by:||g9ks157k@…||Owned by:|
Say, I have defined a type operator :- like so:
data a :- b = Q
If I now use ':-' in a doc comment, I don’t get the text :-, linking to the definition of :- but I get the text ':-' verbatim.