Jean-Philippe Bernardy issues

Results 5 issues of


                                            Jean-Philippe Bernardy

Make Data.Map a vector space.

I tried to make Data.Map a vector space, but I found that the Left/RightModule Natural/Integer v superclass constraint of Monoidal/Group meant that I had to declare several incoherent instances. Hence...

Add option to switch to command mode in minibuffer.

enhancement

Multiple instance declarations errors are not reported when the 1st instance is defined in another module

This is due to GHCi locating the error in the other module. Consequently flycheck won't display it.

Inconsistent use of order of characters in avy-keys

I've organised my `avy-keys` in such a way that the easiest characters to type are at the beginning of the list. This works well if jumping requires typing at most...

Put functions in scope in the :config block

This fixes #1032, which also provides background. With this change, `use-package p` puts in scope all the symbols declared by package p in scope of its :config block. The tradeoff...