Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock
The functions provide no useful cases because font-locking is enabled by default and can be disabled by turning off font-lock (which the "turn-off" function is a wrapper over). At the same time, the function constitutes huge chunk of the code and comes up while trying to figure where things are called from.
Basically, the functions are just duplicating the functional, and I'm hoping they have no users.
Turns out also, the function removal was attempted in 0a9580d, however… I am not exactly sure what went wrong but the author only posted the NEWS entry about the functions being removed, but made no chages regarding them.
Turns out also, the function removal was attempted in 0a9580d, however… I am not exactly sure what went wrong but the author only posted the NEWS entry about the functions being removed, but made no chages regarding them.
CC: @hvr 😊