The readme suggests binding that to capitol 'C' - I bound it to lower-case 'c' as it seems challenging to me to also hit the shift key right after hitting ''.
I would expect that putting the cursor on the _ in
myCase :: Either String Int -> String
myCase _ = ?myCase
and typing \c' would split that _ for me. But what it says is E471: Argument required, and nothing happens.
If I run e.g. ":Pcase Either" at that position, it works. But I thought it'd be able to tell the type at that position - kind of wonder what's the point of the keybinding, otherwise.
Also, :Pcase Boolean or :Pcase Unit both tell me e.g. .e.g 'purs ide server: type 'Boolean' not found, or type 'Unit' not found`.
The readme suggests binding that to capitol 'C' - I bound it to lower-case 'c' as it seems challenging to me to also hit the shift key right after hitting ''.
I would expect that putting the cursor on the
_inand typing
\c'would split that_for me. But what it says isE471: Argument required, and nothing happens.If I run e.g. ":Pcase Either" at that position, it works. But I thought it'd be able to tell the type at that position - kind of wonder what's the point of the keybinding, otherwise.
Also,
:Pcase Booleanor:Pcase Unitboth tell me e.g. .e.g 'purs ide server: type 'Boolean' not found, ortype 'Unit' not found`.