Logs: liberachat/#haskell
| 2025-10-09 19:26:05 | → | Googulator9 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 19:27:30 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 19:27:44 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 19:31:29 | <fgidim> | i am doing something silly. a lot of my functions support Integral, but i want to go a little more general and add Fractional support if possible. can't resist the decimal point for some reason |
| 2025-10-09 19:33:58 | <EvanR> | agreed |
| 2025-10-09 19:34:15 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-09 19:34:27 | <tomsmeding> | Anarchos: I assume you've tried ghcup and it didn't work? |
| 2025-10-09 19:34:59 | <Anarchos> | it failed on libtinfo.so.5 |
| 2025-10-09 19:35:17 | <tomsmeding> | you may be able to compile a ghc 7.10.3 from scratch |
| 2025-10-09 19:35:48 | <tomsmeding> | you might try `ghcup compile ghc -v 7.10.3`, but no guarantees |
| 2025-10-09 19:36:22 | <tomsmeding> | might need an older ghc to compile that; 8.4.4 still installs fine on ubuntu, if I remember correctly |
| 2025-10-09 19:36:43 | <tomsmeding> | (that would then be `ghcup compile ghc -v 7.10.3 -b 8.4.4`; mind you, I've tried none of this) |
| 2025-10-09 19:37:02 | <Anarchos> | tomsmeding i need 7.10.3 to bootstrap cabal with the same version available on my target OS |
| 2025-10-09 19:38:18 | <tomsmeding> | I suggest you try `ghcup install ghc 8.4.4; ghcup compile ghc -v 7.10.3 -b 8.4.4` |
| 2025-10-09 19:39:53 | <Anarchos> | ok thanks |
| 2025-10-09 19:40:45 | × | krjst quits (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
| 2025-10-09 19:42:21 | × | hseg_ quits (~hseg_@46.120.21.40) (Remote host closed the connection) |
| 2025-10-09 19:42:44 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 19:42:57 | → | hseg_ joins (~hseg_@2.54.27.19) |
| 2025-10-09 19:44:10 | × | hseg_ quits (~hseg_@2.54.27.19) (Read error: Connection reset by peer) |
| 2025-10-09 19:44:29 | → | hseg_ joins (~hseg_@46.120.21.40) |
| 2025-10-09 19:44:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-10-09 19:45:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 19:45:38 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-09 19:47:55 | → | krjst joins (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) |
| 2025-10-09 19:57:29 | × | dyno quits (dyno@user/dyno) (Ping timeout: 250 seconds) |
| 2025-10-09 20:02:19 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-09 20:03:39 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-09 20:09:26 | × | bgg quits (~bgg@2a01:e0a:819:1510:ad92:bec8:5c99:95cb) (Quit: Leaving) |
| 2025-10-09 20:11:11 | × | hseg_ quits (~hseg_@46.120.21.40) (Ping timeout: 256 seconds) |
| 2025-10-09 20:11:22 | → | artem joins (~artem@2601:249:4380:2400:acfe:afcc:56e4:893) |
| 2025-10-09 20:14:09 | × | ulysses4ever quits (~artem@2601:249:4380:2400:1772:84b0:3058:898) (Ping timeout: 260 seconds) |
| 2025-10-09 20:20:42 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-09 20:21:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-09 20:23:20 | <geekosaur> | yeh, recent ubuntu (24.04 and later) doesn't hve back-compat packages for old terminfo any more |
| 2025-10-09 20:23:24 | → | ulysses4ever joins (~artem@2601:249:4380:2400:673:b3f6:2669:85dc) |
| 2025-10-09 20:23:33 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 20:24:01 | <geekosaur> | cabal has to use 22.04 for validate so older ghc versions in our support window will work |
| 2025-10-09 20:26:06 | × | artem quits (~artem@2601:249:4380:2400:acfe:afcc:56e4:893) (Ping timeout: 244 seconds) |
| 2025-10-09 20:30:38 | → | Googulator56 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 20:30:43 | × | Googulator9 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 20:33:36 | → | artem joins (~artem@2601:408:c402:f7eb:529d:60a0:8f3a:3123) |
| 2025-10-09 20:35:05 | × | ulysses4ever quits (~artem@2601:249:4380:2400:673:b3f6:2669:85dc) (Ping timeout: 265 seconds) |
| 2025-10-09 20:36:03 | × | dyno quits (dyno@user/dyno) (Ping timeout: 265 seconds) |
| 2025-10-09 20:40:24 | × | artem quits (~artem@2601:408:c402:f7eb:529d:60a0:8f3a:3123) (Ping timeout: 260 seconds) |
| 2025-10-09 20:41:53 | → | tccq joins (~user@user/tccq) |
| 2025-10-09 20:42:26 | × | tccq quits (~user@user/tccq) (Client Quit) |
| 2025-10-09 20:44:57 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 20:45:11 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 20:48:01 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-09 20:51:42 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-09 21:04:42 | → | ulysses4ever joins (~artem@2601:408:c402:f7eb:cee4:e03e:171e:59e0) |
| 2025-10-09 21:05:24 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 21:05:35 | trickard_ | is now known as trickard |
| 2025-10-09 21:09:34 | × | mud quits (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2025-10-09 21:11:02 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-09 21:15:01 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-09 21:15:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) |
| 2025-10-09 21:15:24 | → | Square joins (~Square4@user/square) |
| 2025-10-09 21:15:32 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 21:15:40 | → | Googulator56 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 21:15:58 | × | dyno quits (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 21:18:19 | × | ulysses4ever quits (~artem@2601:408:c402:f7eb:cee4:e03e:171e:59e0) (Ping timeout: 260 seconds) |
| 2025-10-09 21:20:01 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: Gone battling for revolution !) |
| 2025-10-09 21:22:31 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-09 21:23:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-09 21:30:41 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 21:30:55 | → | Googulator56 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 21:31:41 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-09 21:33:06 | → | ulysses4ever joins (~artem@2601:408:c402:f7eb:37d7:71fa:3a5a:b867) |
| 2025-10-09 21:35:25 | → | artem joins (~artem@2601:408:c402:f7eb:461:c6b8:c0ed:a821) |
| 2025-10-09 21:36:13 | → | mud joins (~mud@user/kadoban) |
| 2025-10-09 21:37:34 | × | ulysses4ever quits (~artem@2601:408:c402:f7eb:37d7:71fa:3a5a:b867) (Ping timeout: 260 seconds) |
| 2025-10-09 21:38:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-09 21:39:54 | × | artem quits (~artem@2601:408:c402:f7eb:461:c6b8:c0ed:a821) (Ping timeout: 260 seconds) |
| 2025-10-09 21:40:15 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-09 21:43:24 | nitrix-or-treat | is now known as nitrix |
| 2025-10-09 21:43:50 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 21:45:39 | → | Googulator24 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 21:45:39 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 21:50:04 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-09 21:50:10 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-09 21:52:22 | → | ulysses4ever joins (~artem@2601:408:c402:f7eb:ccea:c0b2:1e37:7754) |
| 2025-10-09 21:56:14 | → | karenw joins (~karenw@user/karenw) |
| 2025-10-09 21:57:57 | × | dyno quits (dyno@user/dyno) (Ping timeout: 250 seconds) |
| 2025-10-09 21:58:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-09 22:01:00 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 22:05:45 | × | ftzm quits (~ftzm@085080238191.dynamic.telenor.dk) (Ping timeout: 250 seconds) |
| 2025-10-09 22:08:12 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-09 22:08:57 | × | michalz_ quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-10-09 22:11:36 | → | gustrb joins (~gustrb@200.132.2.8) |
| 2025-10-09 22:16:08 | × | dyno quits (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 22:18:07 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-09 22:26:36 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 22:26:46 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-10-09 22:26:49 | → | trickard joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 22:30:01 | × | gustrb quits (~gustrb@200.132.2.8) (Ping timeout: 256 seconds) |
| 2025-10-09 22:37:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-09 22:40:38 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-09 22:44:14 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
All times are in UTC.