Logs: liberachat/#haskell
| 2021-08-06 16:17:45 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-06 16:17:55 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 16:18:20 | <dsal> | Ah. For the same reason ... yeah |
| 2021-08-06 16:19:29 | <maerwald[m]> | I use quasi quoters |
| 2021-08-06 16:19:42 | <dsal> | You wouldn't notice if you used ascii connection strings. :) |
| 2021-08-06 16:19:59 | <dsal> | I've never written a qq. What's the input? |
| 2021-08-06 16:20:11 | <maerwald[m]> | yeah |
| 2021-08-06 16:20:36 | <maerwald[m]> | A string |
| 2021-08-06 16:20:54 | <dsal> | Makes sense. |
| 2021-08-06 16:20:58 | × | Vajb quits (~Vajb@n2bovg6licdnldblt-2.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 2021-08-06 16:21:07 | <maerwald[m]> | xD |
| 2021-08-06 16:22:24 | × | charukiewicz quits (~quassel@irouteinc02.i.subnet.rcn.com) (Ping timeout: 258 seconds) |
| 2021-08-06 16:22:29 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 252 seconds) |
| 2021-08-06 16:22:52 | → | charukiewicz joins (~quassel@irouteince04.i.subnet.rcn.com) |
| 2021-08-06 16:23:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-06 16:23:22 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 16:24:53 | → | Vajb joins (~Vajb@2001:999:40:408d:1d9e:a80c:4ab7:8954) |
| 2021-08-06 16:26:14 | × | Core8888 quits (~agua_pesa@191.177.175.57) (Ping timeout: 258 seconds) |
| 2021-08-06 16:26:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-06 16:27:28 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-06 16:28:20 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-08-06 16:30:07 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:30:31 | → | haykam2 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:30:57 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-06 16:32:22 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-08-06 16:33:07 | × | haykam2 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:33:26 | → | haykam3 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:33:50 | × | neceve quits (~quassel@2a02:c7f:607e:d600:d2c9:6317:8847:51b6) (Remote host closed the connection) |
| 2021-08-06 16:34:35 | × | haykam3 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:34:52 | → | haykam4 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:35:05 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-06 16:36:00 | × | cpape` quits (~user@2a01:4f9:c010:632d::1) (Remote host closed the connection) |
| 2021-08-06 16:36:01 | × | enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-06 16:36:12 | → | cpape` joins (~user@2a01:4f9:c010:632d::1) |
| 2021-08-06 16:36:13 | fendor_ | is now known as fendor |
| 2021-08-06 16:36:23 | → | Guest7946 joins (~Guest79@S0106bc3e07325ee3.vw.shawcable.net) |
| 2021-08-06 16:36:26 | <lechner> | dsal: Hi, why is String bad in general (other than how it is implemented), please? |
| 2021-08-06 16:36:45 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-06 16:36:47 | × | haykam4 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:37:08 | → | haykam5 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:37:57 | <dsal> | lechner: mainly that. It's a linked list and has to be serialized to communicate externally |
| 2021-08-06 16:38:14 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-06 16:38:20 | <Guest7946> | Hi All - I have a question about getting emacs haskell modes working with ghcup installed haskell/ghci. Is this the right place? |
| 2021-08-06 16:39:40 | × | haykam5 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:40:25 | <lechner> | dsal: i don't mean to argue, but wouldn't the "wire" argument also apply to putX and printX? |
| 2021-08-06 16:40:32 | → | haykam6 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:40:46 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-06 16:41:06 | <dsal> | Yeah. It doesn't always matter. |
| 2021-08-06 16:41:20 | × | haykam6 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:41:37 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:41:43 | × | dustinm- quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-08-06 16:41:50 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 2021-08-06 16:42:07 | <dsal> | I'm using an xml library that uses strings and it feels wrong, but I'm also not making anything big or spending much of my time there, so I can't be bothered. :) |
| 2021-08-06 16:42:44 | × | hrnz quits (~ulli@irc.plumbing) (Ping timeout: 252 seconds) |
| 2021-08-06 16:43:02 | <adamCS> | Guest7946: Might be! What's the specific question? |
| 2021-08-06 16:43:36 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-06 16:43:46 | <lechner> | dsal: Shouldn't that be a reason to reimplement String rather than encourage it's avoidance, like Data.Text? |
| 2021-08-06 16:43:46 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:44:20 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:44:23 | <geekosaur> | lechner: there is no reimplementation that would help aside from things like Data.Text |
| 2021-08-06 16:44:24 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-08-06 16:44:43 | <Guest7946> | Thanks adamCS - I'm running on OS X, I've modified the init.el file to find the ghci executable in the .ghcup directory but the haskell inferior process just keeps dying. I'm not sufficently knowledgable about emacs debugging of subprocesses so I cannot tell why. |
| 2021-08-06 16:45:04 | <Guest7946> | Is this configuration known to work? OS X/ghcup installation/emacs modes? |
| 2021-08-06 16:45:33 | <monochrom> | I bet backward compatibility may block redefining String. |
| 2021-08-06 16:45:58 | <geekosaur> | yes, anything assuming it's a list would fail |
| 2021-08-06 16:46:00 | <dsal> | lechner: String is really easy to think about and work with. It's fine for many things. But if you have OverloadedStrings enabled, you don't notice a lot of issues. |
| 2021-08-06 16:46:06 | <geekosaur> | which means most things using String |
| 2021-08-06 16:46:20 | <adamCS> | Guest7946: Yes, at least for some modes. What are you trying to get working? I use ghcup installed toolchain (ghc/cabal/hls) and then in emacs I use lsp which uses hls (haskell-language-server), What mode needs ghci? |
| 2021-08-06 16:46:23 | <dsal> | Though bytestring is weird, I guess. It means something else that overlaps a lot |
| 2021-08-06 16:46:27 | <monochrom> | Besides, the same can be said about Bool. |
| 2021-08-06 16:47:04 | <monochrom> | You can't solve boolean blindness by redefining Bool. The only solution is discouragement and education. |
| 2021-08-06 16:47:13 | <geekosaur> | adamCS: inferior haskell mode |
| 2021-08-06 16:47:18 | <adamCS> | Guest7946: often emacs has a buffer someplace that has the stderr of the inferior process. Or maybe the mode can be configured to make such a buffer. |
| 2021-08-06 16:47:41 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:47:59 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:48:22 | <adamCS> | geekosaur: Maybe you have better ideas! I don't even really understand major/minor modes. I just have it (haskell and lsp modes) working. |
| 2021-08-06 16:48:53 | <monochrom> | I use haskell-mode rather than lsp/hls. |
| 2021-08-06 16:49:00 | <geekosaur> | not really, I don't use inferior haskell mode much |
| 2021-08-06 16:49:11 | <Guest7946> | @adamCS I think it's just inferior haskell mode... just to run ghci within emacs |
| 2021-08-06 16:49:11 | <lambdabot> | Unknown command, try @list |
| 2021-08-06 16:49:15 | <dsal> | I've never got lsp working. Too many weird levels of misdirection in my setup. |
| 2021-08-06 16:49:25 | <lechner> | monochrom: the disagreement is over String == [Char] right? |
| 2021-08-06 16:49:28 | <dsal> | And haskell-mode has worked well on my lawn |
| 2021-08-06 16:49:36 | <adamCS> | took me a while to get lsp/hls working. But it's pretty cool when it does. |
| 2021-08-06 16:49:40 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-06 16:49:46 | <monochrom> | But within haskell-mode, the "inferior" option is really an old relic that no one should use. |
| 2021-08-06 16:49:53 | <Guest7946> | "There isn't a problem in CS that can't be solved by another level of indirection" ... i forget who said it. |
| 2021-08-06 16:50:17 | <monochrom> | Use "interactive-haskell-mode" instead. |
| 2021-08-06 16:50:51 | <Guest7946> | Ok, thanks @monochrom I'll reconfigure to use interactive :) |
| 2021-08-06 16:50:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:51:03 | <monochrom> | But either way, unless you do manual configuration, haskell-mode honours PATH. |
| 2021-08-06 16:51:10 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 250 seconds) |
| 2021-08-06 16:51:18 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:51:28 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-08-06 16:52:59 | <Guest7946> | Yes, PATH would be an answer if I know how to modify the "login" PATH in OS X. I'm unsure how PATH gets set in the case where you start from gui. |
| 2021-08-06 16:53:09 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:53:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-06 16:54:15 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-06 16:54:59 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-06 16:55:00 | → | econo joins (uid147250@user/econo) |
All times are in UTC.