Jean-Philippe Bernardy

Results 91 comments of Jean-Philippe Bernardy

I don't think that I understand your point about Map. However, modules for Natural (Integer) cause overlapping instances for every polymorphic Monoidal (Group) instance needed for a vector space. Say...

I'll just add for the record that dropping the superclass constraint does not preclude writing the module instances when they are unambiguous. Here is an idea for a resolution though:...

hlint checking/fixing is out of scope for dante. The way to go is to: - Add a generic autofix in flycheck https://github.com/flycheck/flycheck/issues/530 - Then add autofix to the hlint checker

Keeping open so I can easily see all the 'wontfix'

I've made a new package which supports fixers for any flyckeck checker. Check it out here: https://github.com/jyp/attrap

Contributions welcome :)

It's certainly possible, but I consider the usefulness/maintenance burden too low.

That would be great indeed. Note that there is nothing preventing using an external tool. Because I never use PHP I'll wait for a contribution regarding the tool in question.

I am not sure what you're trying to achieve. You should be able to manipulate boon keymaps as any other keymap in elisp code to switch between configurations. The only...

I am not a user of emacspeak. I am a bit puzzled by your report. The I and O keys are bound to boon-specific commands, but K and L are...