Newest at the top
| 2024-11-06 02:58:41 +0100 | flounders | (~flounders@2607:fb91:f6f:855:576:16c:1a7a:3eb2) (Ping timeout: 248 seconds) |
| 2024-11-06 02:58:35 +0100 | <haskellbridge> | <zwro> just like pressing v inside less opens your $EDITOR |
| 2024-11-06 02:58:22 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-11-06 02:58:20 +0100 | <probie> | hellwolf: Perhaps https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/liberal_type_synonyms.html can do what you want, but it is still rather restricted |
| 2024-11-06 02:58:17 +0100 | <monochrom> | Thanks constxd. I had always opened up emacs and draft my command when I needed that. |
| 2024-11-06 02:57:50 +0100 | <monochrom> | TIL bash C-x C-e edit-and-execute-command. |
| 2024-11-06 02:57:15 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 02:57:12 +0100 | <haskellbridge> | <zwro> that would be neat |
| 2024-11-06 02:57:05 +0100 | <haskellbridge> | <zwro> yes! |
| 2024-11-06 02:56:53 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 02:55:53 +0100 | <constxd> | just an idea |
| 2024-11-06 02:55:44 +0100 | <constxd> | that is trivial enough to add into something like GHCi and it gives u perhaps something useful |
| 2024-11-06 02:55:20 +0100 | <constxd> | u know how the zsh and bash shells have a key binding called C-x C-e ? |
| 2024-11-06 02:54:48 +0100 | <monochrom> | General? How general can you take it? The most general, IMO anyway, is to use newtype altogether. |
| 2024-11-06 02:54:26 +0100 | <haskellbridge> | <zwro> but ghcid is what's missing on my phone |
| 2024-11-06 02:54:08 +0100 | <monochrom> | OK that. :) |
| 2024-11-06 02:54:02 +0100 | <haskellbridge> | Is there a good general workaround? |
| 2024-11-06 02:54:01 +0100 | <haskellbridge> | <hellwolf> I really don't like this "The type synonym ‘YulP’ should have 2 arguments, but has been given 1" |
| 2024-11-06 02:53:58 +0100 | <haskellbridge> | <zwro> oh you don't need a plugin. you can just run ghcid directly in a vim buffer :) |
| 2024-11-06 02:53:50 +0100 | <monochrom> | If that doesn't exist, come join us in emacs! >:) |
| 2024-11-06 02:53:39 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 02:53:30 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 02:53:11 +0100 | <monochrom> | some haskell plugin for vim so you can also have a ghci session in a vim window/buffer. |
| 2024-11-06 02:52:41 +0100 | <haskellbridge> | <zwro> similar to what? |
| 2024-11-06 02:52:31 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-11-06 02:52:15 +0100 | <monochrom> | I mean why would there be a war (or why it hasn't ended already) if they were not on par. |
| 2024-11-06 02:51:43 +0100 | <monochrom> | I imagine vim should have something similar? |
| 2024-11-06 02:51:30 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2024-11-06 02:51:25 +0100 | <haskellbridge> | <zwro> i'm using vim on my phone >>) |
| 2024-11-06 02:51:18 +0100 | <monochrom> | "go big or go home" |
| 2024-11-06 02:51:08 +0100 | <monochrom> | But you should use emacs on your phone instead. >:) |
| 2024-11-06 02:50:55 +0100 | <monochrom> | Oh, phone. Then I sympathize. |
| 2024-11-06 02:50:26 +0100 | <haskellbridge> | <zwro> Leary: i usually do :) that's why i missed a :save command when i happened to use ghci for something quick on my phone |
| 2024-11-06 02:49:29 +0100 | tabaqui | (~root@91.73.194.130) (Ping timeout: 255 seconds) |
| 2024-11-06 02:49:29 +0100 | <haskellbridge> | <sm> * foreign-store |
| 2024-11-06 02:49:17 +0100 | <Leary> | zwro: Yes, so use ghcid. :) |
| 2024-11-06 02:49:04 +0100 | <haskellbridge> | <sm> zwro: yes rapid is a good find, that's the newer thing built on top of foreign store |
| 2024-11-06 02:48:38 +0100 | <haskellbridge> | <zwro> at that point you might aswell use ghcid |
| 2024-11-06 02:48:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 02:48:19 +0100 | <haskellbridge> | <sm> There's quite a few https://hackage.haskell.org/packages/search?terms=debug things, though most of them are not traditional debuggers allowing interactive stepping. https://hackage.haskell.org/package/ghc-debug-brick is the recent one I was thinking of. |
| 2024-11-06 02:48:09 +0100 | <monochrom> | Not currently done but available: I'm in emacs and my ghci session is also in emacs so in principle I would save that buffer content... |
| 2024-11-06 02:47:49 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) |
| 2024-11-06 02:47:16 +0100 | <monochrom> | By creating a "play.hs" file that has all the experimental expressions I want to try out in a session. |
| 2024-11-06 02:46:10 +0100 | <haskellbridge> | <zwro> how do you save a ghci session with your editor? |
| 2024-11-06 02:44:57 +0100 | <monochrom> | Right exactly. I wouldn't change editors just for the language. So I wouldn't need a "save" button in the language's REPL either. My favourite editor already has one. |
| 2024-11-06 02:44:18 +0100 | <haskellbridge> | <zwro> sm: the "plus a capable editor" was implied in my question |
| 2024-11-06 02:44:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 02:43:07 +0100 | <haskellbridge> | <sm> a language server is a small internal component that lets IDEs communicate with the language tools |
| 2024-11-06 02:43:04 +0100 | <monochrom> | I talked about lacking a soul, but when you do have a soul, it needs a body too... |
| 2024-11-06 02:42:58 +0100 | <haskellbridge> | <zwro> I don't think people like changing editors just for the language |