Newest at the top
| 2024-05-14 16:15:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-14 16:14:24 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-14 16:11:11 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) |
| 2024-05-14 16:10:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-05-14 16:02:57 +0200 | <stefan-__> | esnos: I use company-mode and have the following binding in "haskell-mode-map": "("C-SPC" . 'company-complete)" -- additionally I disabled auto-showing the company completions: "(setq company-idle-delay nil)" |
| 2024-05-14 15:56:45 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-14 15:52:35 +0200 | <danse-nr3> | oh then i don't know what corfu is for |
| 2024-05-14 15:50:56 +0200 | <esnos> | I use eglot with hls, but to show possible completions you need company or eglot |
| 2024-05-14 15:50:30 +0200 | yin | (~yin@user/zero) |
| 2024-05-14 15:47:17 +0200 | <danse-nr3> | this question is quite emacs-specific esnos, i am afraid we might not be that knowledgeable about that. Anyways usually for developing people use Haskell Language Server as a backend... i am not sure about which emacs client to recommend, i think there are a couple of main ones |
| 2024-05-14 15:43:12 +0200 | <esnos> | Sorry for double message, I started using irc yesterday |
| 2024-05-14 15:42:13 +0200 | <esnos> | haskell-mode it isn't set to anything, so maybe this is why there are problems. |
| 2024-05-14 15:42:13 +0200 | <esnos> | Hi, I want to use haskell-mode with corfu as completion backend, does anybody have working setup. I customized '(tab-always-indent 'complete) and tab completion works in other modes, for example in python, but in haskell mode it just intends and I need to use M-tab which is uncomfortable considering I use tab for everything else. I also saw that in other modes completion-at-point is set to C-M-i, which corfu uses I think, but in |
| 2024-05-14 15:35:48 +0200 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-14 15:31:50 +0200 | just_started_has | (~just_star@2401:4900:1cc9:315f:ac5a:52e5:ce3f:eca3) (Quit: Client closed) |
| 2024-05-14 15:30:33 +0200 | esnos | (~user@194.29.137.22) |
| 2024-05-14 15:26:53 +0200 | img | (~img@user/img) |
| 2024-05-14 15:25:33 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-14 15:23:44 +0200 | lockna | (~lockna@static.139.16.130.94.clients.your-server.de) |
| 2024-05-14 15:23:30 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-14 15:16:53 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-14 15:08:39 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-05-14 15:08:16 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:9e16:4716:cb0d:9d39) |
| 2024-05-14 15:07:57 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:9e16:4716:cb0d:9d39) (Read error: Connection reset by peer) |
| 2024-05-14 14:48:51 +0200 | xff0x | (~xff0x@ai113088.d.east.v6connect.net) |
| 2024-05-14 14:35:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-14 14:35:38 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-05-14 14:32:59 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-05-14 14:30:53 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-05-14 14:14:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-14 14:14:25 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-14 14:08:46 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-14 14:03:26 +0200 | danse-nr3 | (~danse-nr3@151.57.181.243) |
| 2024-05-14 13:54:44 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-14 13:48:18 +0200 | hseg | (~gesh@46.120.21.14) (Read error: Connection reset by peer) |
| 2024-05-14 13:48:11 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-05-14 13:47:26 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-05-14 13:46:31 +0200 | yin | (~yin@user/zero) (Client Quit) |
| 2024-05-14 13:45:34 +0200 | <ski> | just_started_has : <https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:edit> |
| 2024-05-14 13:44:50 +0200 | <just_started_has> | ski thanks !! this works |
| 2024-05-14 13:41:49 +0200 | yin | (~yin@user/zero) |
| 2024-05-14 13:40:51 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2024-05-14 13:40:32 +0200 | <just_started_has> | i think it can |
| 2024-05-14 13:40:26 +0200 | <just_started_has> | i am using the vim |
| 2024-05-14 13:37:53 +0200 | <ski> | (or you could launch your interactor inside your editor, possibly) |
| 2024-05-14 13:36:37 +0200 | <ski> | otherwise, you have to do `:r' manually, after saving |
| 2024-05-14 13:36:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-14 13:36:18 +0200 | <ski> | you can set up `:e' (`:edit') to launch (or connect to) your editor, in which case when that command terminates, it'll automatically do a `:r' |
| 2024-05-14 13:36:09 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
| 2024-05-14 13:31:21 +0200 | <just_started_has> | i thought that it reloadds automatically ? , can it ? |