search

FrigoEU / psc-ide-vim

Vim plugin for psc-ide
96 stars 36 forks source link

Disable Unicode arrows and other special characters #126

Open erszcz opened 6 years ago

erszcz commented 6 years ago

When I use :PaddType the inferred type signatures often look like this:

accumulate :: ∀ t1 t2 t3. t1 → t2 → t3 → t2

While I'd much rather they looked like this, i.e. sticked to ASCII:

accumulate :: forall t1 t2 t3. t1 -> t2 -> t3 -> t2

I'm not enough of an aesthete to bother with configuring my editor or input system to substitute these characters in place of my keyboard input, but I value consistency - since I'd not type them, I don't want them generated automatically.

Is it possible to tune the output of purs or psc-ide accordingly?

coot commented 6 years ago

Not as far as I know. It has been bothering me too, but not enough to write a patch...