Matthieu Coudron

Results 207 issues of Matthieu Coudron

WIP, opening this to prevent duplicate work.

I would like to load some custom libraries in ihaskell. I've tried to load them with `:set -package-db ` which returns a `Warning: -package not supported yet` stemming from https://github.com/gibiansky/IHaskell/blob/5b7e03b2caad17a51cb7490d66bf808e0e8b9d4a/src/IHaskell/Eval/Util.hs#L219...

Here is an output of my wireshark fork to decode the mptcp netlink messages: ![2019-07-31-180657_956x959_scrot](https://user-images.githubusercontent.com/886074/62199220-10e34a00-b3be-11e9-84b5-0a36d923316f.png) In the first created/established event (for the meta I guess), the interface id is always...

Would be nice to show notifications for "window/showMessage". For instance when having this notification ``` [ DEBUG ] 2020-10-13T22:28:38+0200 ] ...zj1z0zz-neovim-master/share/nvim/runtime/lua/vim/lsp.lua:434 ] "notification" "window/showMessage" { message = "No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found...

I mistyped a variable name when logging a string, instead of ``` log.fmt_debug("Identified method %s", parsed_url.method) ``` I wrote ``` log.fmt_debug("Identified method %s", parse_url.method) ``` with parse_url a function but...

So when I define hie in my haskell overlay https://github.com/teto/home/blob/722ca5cbce0fcc87d769af813f1e3397f4ba4293/config/nixpkgs/overlays/haskell.nix#L98 (which seemed the logical thing to do as it should depend from ghc compiler), I can't use cachix. If I...

@mjlbach doesn't use nix anymore (know the sayting, "it's always the best who leave first") but now we have to deal with the aftermath. I dont use this repo and...

we could retreive instead the `vim-plugin-names` from nixpkgs and strips it of its 0.5-compat branch.

for lsp / treesitter / telescope should be possible to do `nix run neovim-treesitter` for instance. now that we have neovide / uivonim etc. we could even compose targets with...

for instance: - nvim-treesitter - nvim-haskell-language-server - nvim-telescope so that people can try out configurations that are sure to work/reproducible/pure (and thus can compare their config to those). I've start...