Problem
E.g. Maybe Int, [Char]. Works fine in Chrome.
Cause
The server correctly returns suggestions but I think Firefox uses its own matching algorithm which doesn't work with the results returned by the server. When [Char is entered, the server returns
<option value="[ghc-prim-0.10.0:GHC.Types.Char]" label="[GHC.Types.Char]"></option>
<option value="[elynx-seq-0.7.2.1:ELynx.Alphabet.Character.Character]" label="[ELynx.Alphabet.Character.Character]"></option>
but nothing is displayed in the input field.
Problem
E.g.
Maybe Int,[Char]. Works fine in Chrome.Cause
The server correctly returns suggestions but I think Firefox uses its own matching algorithm which doesn't work with the results returned by the server. When
[Charis entered, the server returnsbut nothing is displayed in the input field.