| 2022-06-13 00:00:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-13 00:00:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 00:05:53 +0200 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:b6fd:ec18:acf6:f1a8) |
| 2022-06-13 00:06:30 +0200 | nek06 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-06-13 00:06:32 +0200 | Flonk6 | (~Flonk@vps-zap441517-1.zap-srv.com) |
| 2022-06-13 00:06:34 +0200 | Luj9 | (~Luj@2a01:e0a:5f9:9681:d2aa:9086:78eb:27f1) |
| 2022-06-13 00:06:34 +0200 | raoul4 | (~raoul@95.179.203.88) |
| 2022-06-13 00:07:22 +0200 | siers69 | (~ij@user/ij) |
| 2022-06-13 00:07:24 +0200 | dumptruckman_ | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
| 2022-06-13 00:07:25 +0200 | megaTherion_ | (~therion@unix.io) |
| 2022-06-13 00:08:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 00:09:40 +0200 | byorgey_ | (~byorgey@155.138.238.211) |
| 2022-06-13 00:09:43 +0200 | Henkru_ | (henkru@kapsi.fi) |
| 2022-06-13 00:09:52 +0200 | AWizzArd_ | (~code@gehrels.uberspace.de) |
| 2022-06-13 00:09:58 +0200 | bcmiller_ | (~bm3719@66.42.95.185) |
| 2022-06-13 00:10:13 +0200 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2022-06-13 00:10:35 +0200 | some02 | (~cat@user/sudden) |
| 2022-06-13 00:10:42 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:f2f:d1a:66d5:4462) |
| 2022-06-13 00:14:32 +0200 | sm[i]_ | (~user@li229-222.members.linode.com) |
| 2022-06-13 00:14:40 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | myme | (~myme@2a01:799:d5a:cd00:cf5c:a138:5106:fe37) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:1f07:bb0d:ed9e:6a6f) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | siers | (~ij@user/ij) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | Henkru | (henkru@kapsi.fi) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | rodental | (~rodental@38.146.5.222) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | sm[i] | (~user@plaintextaccounting/sm) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | raoul | (~raoul@95.179.203.88) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | bcmiller | (~bm3719@66.42.95.185) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | byorgey | (~byorgey@155.138.238.211) (*.net *.split) |
| 2022-06-13 00:14:40 +0200 | nek06 | nek0 |
| 2022-06-13 00:14:40 +0200 | Luj9 | Luj |
| 2022-06-13 00:14:41 +0200 | Flonk6 | Flonk |
| 2022-06-13 00:14:42 +0200 | dumptruckman_ | dumptruckman |
| 2022-06-13 00:14:42 +0200 | raoul4 | raoul |
| 2022-06-13 00:20:38 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:20:56 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-06-13 00:20:57 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 00:21:05 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
| 2022-06-13 00:21:09 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-06-13 00:21:15 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-06-13 00:21:43 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-06-13 00:21:44 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-13 00:24:54 +0200 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) |
| 2022-06-13 00:25:54 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) |
| 2022-06-13 00:26:10 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-06-13 00:26:26 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 272 seconds) |
| 2022-06-13 00:27:57 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 00:28:50 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 255 seconds) |
| 2022-06-13 00:29:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 00:31:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:32:27 +0200 | acidjnk | (~acidjnk@p200300d0c7068b4909d1fbe33683b100.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-06-13 00:35:27 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-13 00:38:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 00:39:39 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-06-13 00:41:24 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2022-06-13 00:46:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:50:31 +0200 | <Bulby[m]> | btw, if builder is so powerful, what's the point of the Put monad |
| 2022-06-13 00:50:40 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 00:52:21 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:54:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 00:57:45 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:58:05 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 01:01:42 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-06-13 01:01:49 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-13 01:01:55 +0200 | <Bulby[m]> | ah, it has encode and decode, which is basically what I was doing |
| 2022-06-13 01:02:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 01:02:36 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-13 01:02:56 +0200 | Kaipii | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-13 01:03:10 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 272 seconds) |
| 2022-06-13 01:06:12 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 01:07:50 +0200 | megaTherion_ | megaTherion |
| 2022-06-13 01:08:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 01:10:14 +0200 | alp | (~alp@user/alp) (Ping timeout: 255 seconds) |
| 2022-06-13 01:10:57 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.100) |
| 2022-06-13 01:11:07 +0200 | img | (~img@user/img) |
| 2022-06-13 01:12:24 +0200 | Alex_test | (~al_test@94.233.240.35) (Ping timeout: 248 seconds) |
| 2022-06-13 01:12:56 +0200 | AlexZenon | (~alzenon@94.233.240.35) (Ping timeout: 248 seconds) |
| 2022-06-13 01:15:18 +0200 | AlexNoo | (~AlexNoo@94.233.240.35) (Ping timeout: 276 seconds) |
| 2022-06-13 01:16:23 +0200 | Alex_test | (~al_test@94.233.241.100) |
| 2022-06-13 01:17:00 +0200 | AlexZenon | (~alzenon@94.233.241.100) |
| 2022-06-13 01:17:13 +0200 | AlexNoo_ | AlexNoo |
| 2022-06-13 01:21:04 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-13 01:21:49 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-06-13 01:23:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 01:27:07 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 01:31:46 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-13 01:32:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 01:33:16 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 01:37:30 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 01:47:11 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-13 01:48:57 +0200 | djanatyn1 | djanatyn |
| 2022-06-13 01:50:44 +0200 | shapr | (~user@2600:4040:2d31:7100:310:98aa:7034:f899) (Ping timeout: 255 seconds) |
| 2022-06-13 01:53:00 +0200 | pottsy | (~pottsy@129.227.183.244) |
| 2022-06-13 01:57:32 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-13 01:58:21 +0200 | <Bulby[m]> | template haskell is weird, unlike everything else you must place the generator at the top for it to funciton as expected |
| 2022-06-13 02:02:59 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 02:05:04 +0200 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:b6fd:ec18:acf6:f1a8) (Remote host closed the connection) |
| 2022-06-13 02:05:07 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-13 02:07:57 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-13 02:15:34 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-13 02:16:21 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 02:18:07 +0200 | bilegeek | (~bilegeek@2600:1008:b017:5346:e30c:72e1:dd08:cc7b) (Ping timeout: 240 seconds) |
| 2022-06-13 02:19:25 +0200 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) |
| 2022-06-13 02:28:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 02:28:44 +0200 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) (Quit: Leaving) |
| 2022-06-13 02:34:07 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-13 02:34:13 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-06-13 02:37:42 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 02:39:10 +0200 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) |
| 2022-06-13 02:40:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 02:44:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-06-13 02:47:40 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 02:49:37 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:7597:f140:96b5:bca8) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-13 02:50:11 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 02:50:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-06-13 02:52:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-13 02:54:38 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 255 seconds) |
| 2022-06-13 03:00:02 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 03:05:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-13 03:08:46 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 03:10:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 03:10:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 03:14:35 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 244 seconds) |
| 2022-06-13 03:15:10 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 03:15:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 03:16:43 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 03:18:04 +0200 | <dragestil> | does anyone know how I can `cabal build` base? I was able to `cabal configure` with cabal-2.4.1.0/ghc-8.6.5/base-4.12.0.0, but not with cabal-3.6.2.0/ghc-9.2.2/base-4.16.1.0 (getting the "only already installed instances can be used" error) |
| 2022-06-13 03:22:00 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-06-13 03:24:22 +0200 | jludwig | (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 2022-06-13 03:25:36 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 03:27:37 +0200 | martin02 | (~silas@141.84.69.76) |
| 2022-06-13 03:28:48 +0200 | <geekosaur> | dragestil, you can't. base is wired into the compiler and must match versions with it and be built along with it. you need to downgrade ghc to a version that has the version of base you want |
| 2022-06-13 03:30:12 +0200 | <geekosaur> | base 4.12.0.0 is ghc 8.6.5 |
| 2022-06-13 03:31:01 +0200 | <dragestil> | geekosaur: well I was able to build 4.12.0.0 with ghc 8.6.5. my ghc 9.2.2 comes with base 4.16.1.0, so it should build 4.16.1.0, no? |
| 2022-06-13 03:31:39 +0200 | <geekosaur> | you may be able to build it. the compiler has baked-in references to the base it expects, and will fail to link with any other version |
| 2022-06-13 03:32:00 +0200 | <geekosaur> | seriously, there is a reason cabal refuses to let you do this |
| 2022-06-13 03:32:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 03:32:59 +0200 | <dragestil> | geekosaur: that's fine. I just want to *build* it, not *install* it |
| 2022-06-13 03:33:27 +0200 | <dragestil> | but cabal is refusing to even `configure` it |
| 2022-06-13 03:33:30 +0200 | <geekosaur> | then you get no promises |
| 2022-06-13 03:35:09 +0200 | <pavonia> | dragestil: What do you want to do with the built base package? |
| 2022-06-13 03:36:37 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-06-13 03:51:16 +0200 | <Bulby[m]> | How the heck does lens `view` work with non monadic values |
| 2022-06-13 03:51:40 +0200 | <dragestil> | pavonia: I'll run queries on it using cabal-helper |
| 2022-06-13 03:52:32 +0200 | <jackdk> | Bulby[m]: Instance `MonadReader r ((->) r)` |
| 2022-06-13 03:52:44 +0200 | <Bulby[m]> | \o/ witchcraft |
| 2022-06-13 03:53:24 +0200 | <Bulby[m]> | I wish polysemy interoped with mtl better, esp. MonadState, MonadReader, and MonadWriter |
| 2022-06-13 03:53:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 03:53:32 +0200 | <dragestil> | geekosaur: so it sounds like an arbitrary restriction placed by cabal |
| 2022-06-13 03:53:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 03:55:58 +0200 | <geekosaur> | make sure you complain to the cabal maintainers, then, instead of blaming me |
| 2022-06-13 03:56:28 +0200 | <dragestil> | geekosaur: I wasn't blaming you |
| 2022-06-13 03:57:56 +0200 | <sclv> | i doubt cabal could build it tbh. the wired in-ness would clash with the existing base |
| 2022-06-13 03:58:10 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-13 03:58:22 +0200 | <dragestil> | I'm guessing anything from the ghc repo, including base / template-haskell / etc. cannot be built directly using cabal |
| 2022-06-13 03:59:04 +0200 | <dragestil> | even if I get the packages from `cabal unpack` rather than `git clone` |
| 2022-06-13 03:59:40 +0200 | <geekosaur> | base, ghc-prim, template-haskell, ghc are pinned and can't be built by cabal. other things included with ghc and copied into its repo, like bytestring and process, can |
| 2022-06-13 04:00:12 +0200 | <sclv> | reinstallable base is a long term design goal of ghc but things are not close |
| 2022-06-13 04:00:16 +0200 | <dragestil> | sclv: I was able to build ghc-8.6.5, base-4.12.0.0 and ghc-prim-0.5.3 with ghc-8.6.5/cabal-2.4.1.0. it sounds like a regression in feature to me |
| 2022-06-13 04:01:33 +0200 | <dragestil> | ok "build" is a bit of stretch for ghc-prim-0.5.3. I got some minor error eventually, but the build was usable with cabal-helper |
| 2022-06-13 04:03:01 +0200 | <dragestil> | geekosaur: what do you mean by pinned? is this pinning written somewhere in the code? |
| 2022-06-13 04:03:56 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 04:04:00 +0200 | <geekosaur> | yes, there is code that restricts those libraries to the installed versions thereof |
| 2022-06-13 04:04:24 +0200 | <dragestil> | ok |
| 2022-06-13 04:04:42 +0200 | <dragestil> | is it cabal-install code? |
| 2022-06-13 04:05:14 +0200 | <sclv> | hrm maybe the check can be weakened a bit in special circumstances. but i wonder why one needs cabal install to do this. do ./setup.hs configure and build and etc work |
| 2022-06-13 04:05:23 +0200 | <sclv> | but also what is the purpose of this |
| 2022-06-13 04:05:43 +0200 | <sclv> | like why would cabal helper want to use this |
| 2022-06-13 04:06:37 +0200 | <dragestil> | cabal helper itself does not require a built base, but I'd like to use cabal-helper to query a built base |
| 2022-06-13 04:07:25 +0200 | <sclv> | don’t the ides have another way to query base? |
| 2022-06-13 04:08:41 +0200 | <dragestil> | I'm not aware of ides querying base |
| 2022-06-13 04:11:02 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 04:11:06 +0200 | <dragestil> | sclv: how do I use run Setup.hs with configure? I tried runghc Setup.hs |
| 2022-06-13 04:11:51 +0200 | <sclv> | “rungh Setup.hs configure” |
| 2022-06-13 04:12:06 +0200 | <dragestil> | ah found some docs in the cabal user guide |
| 2022-06-13 04:12:18 +0200 | <sclv> | or just build it and then ./Setup configure slash build slash install |
| 2022-06-13 04:12:29 +0200 | <dragestil> | ok |
| 2022-06-13 04:13:03 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 04:13:28 +0200 | td_ | (~td@94.134.91.177) (Ping timeout: 246 seconds) |
| 2022-06-13 04:13:32 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-13 04:13:35 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2022-06-13 04:13:44 +0200 | <dragestil> | `runhaskell Setup.hs --help` in the base source dir gives me "attempting to use module ‘main:Prelude’ (./Prelude.hs) which is not loaded" |
| 2022-06-13 04:14:48 +0200 | renzhi | (~xp@2607:fa49:6500:b100::f64a) (Ping timeout: 248 seconds) |
| 2022-06-13 04:15:20 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2022-06-13 04:15:24 +0200 | td_ | (~td@muedsl-82-207-238-100.citykom.de) |
| 2022-06-13 04:16:29 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-06-13 04:18:07 +0200 | <dragestil> | lol all I needed to build base was a flag --allow-boot-library-installs |
| 2022-06-13 04:18:16 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-13 04:18:43 +0200 | <dragestil> | found it in a cabal-install test case |
| 2022-06-13 04:19:03 +0200 | <sclv> | nice! |
| 2022-06-13 04:19:50 +0200 | <sclv> | pr to the cabal docs (if its not listes clearly) very welcome |
| 2022-06-13 04:19:56 +0200 | <sclv> | er listed clearly |
| 2022-06-13 04:20:18 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-13 04:20:18 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:20:37 +0200 | <dragestil> | sclv: yeah, now I see it in the cabal user guide |
| 2022-06-13 04:21:51 +0200 | <dragestil> | thanks for the help geekosaur sclv |
| 2022-06-13 04:22:14 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-06-13 04:22:23 +0200 | <sclv> | i’m glad i learned about the flag! |
| 2022-06-13 04:29:25 +0200 | <dragestil> | looks like the base from cabal unpack is missing an /include/UnicodeVersion.h, but copying the file over from the ghc repo fixed it |
| 2022-06-13 04:31:36 +0200 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-13 04:35:17 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:35:17 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:35:30 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:35:30 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:35:43 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:35:44 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:35:56 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:35:57 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:36:09 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:36:09 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:36:22 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:36:22 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 04:36:35 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 04:39:56 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 255 seconds) |
| 2022-06-13 04:41:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-13 04:41:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 04:41:50 +0200 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 04:42:53 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 04:43:27 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-13 04:43:36 +0200 | kitty1 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-06-13 04:44:05 +0200 | kitty1 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-06-13 04:44:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-13 04:44:42 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-06-13 04:45:38 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-13 04:47:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 04:47:41 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-06-13 04:52:08 +0200 | dcoutts__ | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 04:54:30 +0200 | dcoutts_ | (~duncan@host86-176-29-4.range86-176.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-06-13 04:56:01 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 04:56:50 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-13 05:00:00 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2022-06-13 05:01:11 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2022-06-13 05:08:56 +0200 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) (Quit: Leaving) |
| 2022-06-13 05:17:44 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 05:34:31 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2022-06-13 05:38:30 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 05:40:14 +0200 | bah_ | bah |
| 2022-06-13 05:43:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-13 05:44:24 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 05:57:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 06:03:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 06:07:58 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 06:12:16 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 06:14:49 +0200 | Friend5912 | (~Friend591@90.sub-174-235-49.myvzw.com) |
| 2022-06-13 06:16:36 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 06:17:02 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 06:17:31 +0200 | Vajb | (~Vajb@85-76-98-56-nat.elisa-mobile.fi) |
| 2022-06-13 06:26:42 +0200 | Friend5912 | (~Friend591@90.sub-174-235-49.myvzw.com) (Leaving) |
| 2022-06-13 06:26:54 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-13 06:28:10 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-13 06:31:23 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 06:32:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 06:35:09 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 06:38:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 06:40:00 +0200 | Arsen | (arsen@managarm/dev/Arsen) (Ping timeout: 260 seconds) |
| 2022-06-13 06:41:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 06:47:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 06:48:01 +0200 | mbuf | (~Shakthi@122.174.50.190) |
| 2022-06-13 06:48:56 +0200 | Arsen | (arsen@managarm/dev/Arsen) |
| 2022-06-13 06:54:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-06-13 06:55:17 +0200 | Guest7091 | (~nils@70-210-103-86.dynamic.dsl.tng.de) |
| 2022-06-13 06:55:19 +0200 | ubert1 | (~Thunderbi@p200300ecdf14f9b367fdd9edecf9b9f3.dip0.t-ipconnect.de) |
| 2022-06-13 06:55:43 +0200 | ubert | (~Thunderbi@p200300ecdf14f9d9a572ea18cc43ef74.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-13 06:55:43 +0200 | ubert1 | ubert |
| 2022-06-13 06:56:30 +0200 | Vajb | (~Vajb@85-76-98-56-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2022-06-13 06:58:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-13 06:58:34 +0200 | Vajb | (~Vajb@2001:999:231:45d1:d186:9843:f4a2:cf12) |
| 2022-06-13 06:58:57 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 07:04:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 07:04:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 07:05:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 07:10:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 07:11:07 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-13 07:12:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 07:12:57 +0200 | mbuf | (~Shakthi@122.174.50.190) (Quit: Leaving) |
| 2022-06-13 07:17:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 07:23:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 07:32:44 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 255 seconds) |
| 2022-06-13 07:37:22 +0200 | michalz | (~michalz@185.246.204.107) |
| 2022-06-13 07:39:04 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 248 seconds) |
| 2022-06-13 07:41:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 07:44:24 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 248 seconds) |
| 2022-06-13 07:47:52 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 07:47:56 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 07:48:00 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 07:54:40 +0200 | chele | (~chele@user/chele) |
| 2022-06-13 07:56:35 +0200 | Guest7091 | (~nils@70-210-103-86.dynamic.dsl.tng.de) (Ping timeout: 255 seconds) |
| 2022-06-13 07:56:55 +0200 | nevermore | (~nevermore@42.120.74.250) (Remote host closed the connection) |
| 2022-06-13 07:57:30 +0200 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 07:58:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 07:59:17 +0200 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) |
| 2022-06-13 07:59:34 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-06-13 08:01:02 +0200 | nevermor_ | (~nevermore@42.120.74.248) |
| 2022-06-13 08:02:02 +0200 | nevermore | (~nevermore@42.120.74.250) (Ping timeout: 265 seconds) |
| 2022-06-13 08:11:03 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-13 08:16:02 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 08:23:21 +0200 | vglfr | (~vglfr@88.155.106.79) |
| 2022-06-13 08:24:43 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) |
| 2022-06-13 08:29:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-06-13 08:32:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-13 08:33:09 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-13 08:33:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-06-13 08:45:05 +0200 | arahael | (~arahael@124-171-129-71.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2022-06-13 08:46:16 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) (Ping timeout: 248 seconds) |
| 2022-06-13 08:46:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 08:47:39 +0200 | arahael | (~arahael@124.171.44.79) |
| 2022-06-13 08:48:11 +0200 | nevermor_ | (~nevermore@42.120.74.248) (Remote host closed the connection) |
| 2022-06-13 08:48:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 08:49:56 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 08:51:04 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 08:51:06 +0200 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 08:51:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 08:52:27 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 08:52:39 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-13 08:53:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5659:a370:41b0:7db0) |
| 2022-06-13 08:54:38 +0200 | califax | (~califax@user/califx) |
| 2022-06-13 08:55:51 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-13 08:56:19 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) |
| 2022-06-13 08:59:25 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) (Client Quit) |
| 2022-06-13 08:59:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 08:59:58 +0200 | califax | (~califax@user/califx) |
| 2022-06-13 09:04:15 +0200 | alp | (~alp@user/alp) |
| 2022-06-13 09:05:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 09:06:16 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 09:08:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 09:08:06 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 09:13:18 +0200 | taeaad | (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-06-13 09:14:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 09:18:05 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-13 09:20:43 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 09:20:46 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-13 09:20:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 09:24:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 09:25:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 09:26:00 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 09:27:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-13 09:28:43 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-06-13 09:36:25 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 09:36:37 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 09:37:23 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 09:39:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 09:41:50 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-13 09:42:15 +0200 | alp | (~alp@user/alp) |
| 2022-06-13 09:43:41 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 09:43:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 09:44:13 +0200 | taeaad | (~taeaad@user/taeaad) |
| 2022-06-13 09:48:40 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 09:50:23 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 09:50:48 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2022-06-13 09:51:12 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 09:53:27 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-06-13 09:53:53 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 09:57:25 +0200 | some02 | sudden |
| 2022-06-13 10:03:24 +0200 | ridcully | (~ridcully@p57b52a1f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-13 10:06:32 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 10:06:52 +0200 | kuribas | (~user@ptr-17d51eoisf6gctp18rk.18120a2.ip6.access.telenet.be) |
| 2022-06-13 10:09:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 10:11:39 +0200 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 10:12:18 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-13 10:23:42 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-13 10:24:08 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) (Quit: leaving) |
| 2022-06-13 10:24:48 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 10:26:08 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-13 10:31:11 +0200 | z0k | (~z0k@206.84.143.2) |
| 2022-06-13 10:31:42 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) |
| 2022-06-13 10:32:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 10:36:40 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-06-13 10:41:18 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-13 10:41:20 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-13 10:44:35 +0200 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-06-13 10:49:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 10:49:56 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-13 10:52:46 +0200 | chreekat2 | (~b@152.96.94.198) |
| 2022-06-13 10:54:45 +0200 | ridcully | (~ridcully@pd951ff85.dip0.t-ipconnect.de) |
| 2022-06-13 10:55:42 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 10:55:52 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 10:56:34 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-06-13 10:59:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 10:59:25 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-13 11:02:05 +0200 | nevermore | (~nevermore@42.120.74.250) () |
| 2022-06-13 11:04:12 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2022-06-13 11:04:16 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-13 11:04:56 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-06-13 11:05:31 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-13 11:07:27 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-06-13 11:08:41 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 11:11:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 11:12:01 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 11:15:43 +0200 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 11:17:48 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-06-13 11:18:35 +0200 | z0k | (~z0k@206.84.143.2) (Quit: WeeChat 3.5) |
| 2022-06-13 11:20:32 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-06-13 11:20:33 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-13 11:21:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 11:21:30 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 11:22:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 11:22:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 11:22:57 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-06-13 11:23:30 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-13 11:23:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 11:24:31 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 11:24:37 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-13 11:25:43 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 11:26:58 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 11:27:10 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 11:28:04 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-13 11:29:26 +0200 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 11:30:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 11:31:37 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 11:36:12 +0200 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 11:36:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 11:37:21 +0200 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 11:38:44 +0200 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-13 11:41:28 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-13 11:42:53 +0200 | vglfr | (~vglfr@88.155.106.79) (Ping timeout: 246 seconds) |
| 2022-06-13 11:44:39 +0200 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Quit: Leaving.) |
| 2022-06-13 11:48:49 +0200 | vglfr | (~vglfr@88.155.106.79) |
| 2022-06-13 11:54:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-06-13 11:55:21 +0200 | Guest7091 | (~nils@cauxnat23.wlan.uni-kiel.de) |
| 2022-06-13 11:56:24 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 11:59:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 12:00:30 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 12:00:41 +0200 | vglfr | (~vglfr@88.155.106.79) (Read error: Connection reset by peer) |
| 2022-06-13 12:03:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 250 seconds) |
| 2022-06-13 12:05:07 +0200 | mima | (~mmh@aftr-62-216-207-41.dynamic.mnet-online.de) |
| 2022-06-13 12:05:17 +0200 | Guest7091 | (~nils@cauxnat23.wlan.uni-kiel.de) (Ping timeout: 246 seconds) |
| 2022-06-13 12:06:53 +0200 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 12:10:45 +0200 | <merijn> | :O |
| 2022-06-13 12:10:47 +0200 | <merijn> | https://coot.me/posts/cabal-haddock-project.html |
| 2022-06-13 12:10:56 +0200 | <merijn> | Doing the lord's work |
| 2022-06-13 12:11:14 +0200 | <merijn> | Finally I will have a usable way to browse docs locally again! |
| 2022-06-13 12:12:06 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-13 12:14:27 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2022-06-13 12:14:27 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2022-06-13 12:14:27 +0200 | haritz | (~hrtz@user/haritz) |
| 2022-06-13 12:14:36 +0200 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 12:16:24 +0200 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-13 12:17:29 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 12:18:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 12:20:01 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) () |
| 2022-06-13 12:23:11 +0200 | <__monty__> | merijn: It's doable using a local hoogle instance if you want something ASAP, BTW. |
| 2022-06-13 12:42:20 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 12:47:09 +0200 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) |
| 2022-06-13 12:48:10 +0200 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-13 12:48:36 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 12:53:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 12:54:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 12:58:25 +0200 | <dragestil> | a texinfo haddock backend is what counts counts as lord's work for me |
| 2022-06-13 12:59:08 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 13:06:16 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 13:06:21 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-13 13:07:09 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-13 13:08:01 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 13:08:10 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-06-13 13:09:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 258 seconds) |
| 2022-06-13 13:13:43 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 13:15:24 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 13:20:54 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 13:21:33 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 13:25:02 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 13:25:14 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 13:30:39 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-33.wlan.tudelft.nl) |
| 2022-06-13 13:36:28 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 13:37:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-13 13:38:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 13:39:10 +0200 | titibandit | (~titibandi@sunp.ient.rwth-aachen.de) |
| 2022-06-13 13:39:12 +0200 | kuribas | (~user@ptr-17d51eoisf6gctp18rk.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2022-06-13 13:47:31 +0200 | <merijn> | __monty__: local hoogle is a massive PITA |
| 2022-06-13 13:48:12 +0200 | <merijn> | __monty__: Before v2-build you just got a nice local index page that had every local package to browse, but with the global store docs are build, but not easily findable/browsable, which this seems to fix |
| 2022-06-13 13:52:00 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 13:54:35 +0200 | <__monty__> | Ah, that might certainly be. I've never had to go through the pain because someone wrote withHoogle for the Nixpkgs Haskell infra. |
| 2022-06-13 13:58:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-13 13:58:18 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 13:58:19 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 13:58:53 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 14:01:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 14:06:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 255 seconds) |
| 2022-06-13 14:11:11 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-13 14:11:46 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 14:11:53 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-13 14:13:12 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 14:17:25 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-13 14:25:11 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 14:25:13 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 14:27:35 +0200 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 14:28:12 +0200 | nils_ | (~nils@cauxnat23.wlan.uni-kiel.de) |
| 2022-06-13 14:29:04 +0200 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 14:29:29 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2022-06-13 14:30:17 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 14:30:23 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-13 14:30:48 +0200 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 14:37:51 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-13 14:40:04 +0200 | caubert | (~caubert@136.244.111.235) |
| 2022-06-13 14:44:14 +0200 | caubert | (~caubert@136.244.111.235) (Changing host) |
| 2022-06-13 14:44:14 +0200 | caubert | (~caubert@user/caubert) |
| 2022-06-13 14:47:27 +0200 | nils_ | (~nils@cauxnat23.wlan.uni-kiel.de) (Ping timeout: 260 seconds) |
| 2022-06-13 14:47:29 +0200 | comerijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 14:49:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-06-13 14:51:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 14:53:50 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-06-13 14:55:06 +0200 | raym | (~raym@user/raym) |
| 2022-06-13 15:00:15 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 15:02:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 15:02:30 +0200 | comerijn | merijn |
| 2022-06-13 15:03:18 +0200 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) (Ping timeout: 250 seconds) |
| 2022-06-13 15:04:30 +0200 | nils_ | (~nils@cauxnat21.wlan.uni-kiel.de) |
| 2022-06-13 15:04:47 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 256 seconds) |
| 2022-06-13 15:07:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-13 15:08:24 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Remote host closed the connection) |
| 2022-06-13 15:09:35 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-06-13 15:13:36 +0200 | nils_ | (~nils@cauxnat21.wlan.uni-kiel.de) (Remote host closed the connection) |
| 2022-06-13 15:13:48 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-13 15:14:00 +0200 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-13 15:14:22 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-06-13 15:15:12 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 15:15:17 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 15:16:23 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2022-06-13 15:17:36 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-06-13 15:21:55 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-13 15:23:20 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-06-13 15:23:33 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-13 15:24:18 +0200 | pottsy | (~pottsy@129.227.183.244) (Ping timeout: 265 seconds) |
| 2022-06-13 15:25:35 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-13 15:26:29 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-06-13 15:26:50 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-13 15:27:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 15:31:42 +0200 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 15:32:20 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 15:32:33 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 256 seconds) |
| 2022-06-13 15:36:21 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-06-13 15:37:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 15:37:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 15:37:51 +0200 | califax | (~califax@user/califx) |
| 2022-06-13 15:40:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-13 15:41:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 15:41:53 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 255 seconds) |
| 2022-06-13 15:43:01 +0200 | frost | (~frost@user/frost) |
| 2022-06-13 15:43:37 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 15:48:48 +0200 | <dragestil> | I don't understand the issue. Is it that local hoogle does not link to local haddock? |
| 2022-06-13 15:49:51 +0200 | <merijn> | dragestil: The issue is that there is no easy way to find the local haddocks |
| 2022-06-13 15:50:03 +0200 | <dragestil> | merijn: i see |
| 2022-06-13 15:50:04 +0200 | <merijn> | dragestil: They're all installed in subdirectories of the global store |
| 2022-06-13 15:50:38 +0200 | <merijn> | dragestil: In "the old days" there was a single index.html you could open in your browser and have access to the docs of every single package on your system. Which was super convenient |
| 2022-06-13 15:50:53 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-06-13 15:50:57 +0200 | <dragestil> | that was nice |
| 2022-06-13 15:51:05 +0200 | <merijn> | dragestil: But since the global store means multiple (potentially conflicting) installs of the same package, such a single global index does not exist |
| 2022-06-13 15:51:16 +0200 | <merijn> | That PR is adding it so that you can easily make one for a specific cabal.project |
| 2022-06-13 15:51:50 +0200 | <dragestil> | merijn: ok, but that still only links to all packages in a cabal.project? |
| 2022-06-13 15:52:00 +0200 | <dragestil> | not exactly the global store |
| 2022-06-13 15:52:35 +0200 | <geekosaur> | the global store poses problems, like multiple versions of the same package which haddock doesn't handle that well |
| 2022-06-13 15:52:39 +0200 | <dragestil> | actually I don't know what is the global store. is it the output of `ghc-pkg list`? |
| 2022-06-13 15:53:01 +0200 | <geekosaur> | no, it's the level above that |
| 2022-06-13 15:53:26 +0200 | <dragestil> | is there a command line listing all the packages in the global store? |
| 2022-06-13 15:53:38 +0200 | vglfr | (~vglfr@88.155.117.190) |
| 2022-06-13 15:53:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 15:53:54 +0200 | <geekosaur> | they're just directories under ~/.cabal/store |
| 2022-06-13 15:53:55 +0200 | <merijn> | dragestil: "ls ~/.cabal/ghc-x.y.z/" :p |
| 2022-06-13 15:54:05 +0200 | <[Leary]> | It seems to me like it shouldn't be difficult to have the haddocks from the new-style build dist linked against the haddocks of the particular packages it built against. I mean, that's how nix does everything. |
| 2022-06-13 15:54:09 +0200 | <geekosaur> | one per stored package |
| 2022-06-13 15:54:35 +0200 | <merijn> | dragestil: So for every project it will compute an independent build plan. And what you want is "access to docs of every package of this project's build plan" |
| 2022-06-13 15:54:37 +0200 | <geekosaur> | [Leary], I believe that's what the PR does? |
| 2022-06-13 15:54:54 +0200 | <[Leary]> | Oh, good then. |
| 2022-06-13 15:55:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-06-13 15:55:26 +0200 | <[Leary]> | Or rather, I'm surprised it wasn't already doing so. |
| 2022-06-13 15:55:29 +0200 | <merijn> | [Leary]: Sure, all the pieces are there. But someone has to put them together in a convenient way, which seems has now happened |
| 2022-06-13 15:55:45 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-13 15:55:48 +0200 | <merijn> | [Leary]: Well, it's a bit of an annoying problem and was lower priority than finishing and shipping v2-build |
| 2022-06-13 15:56:03 +0200 | <geekosaur> | anyway haddock treats module names as unique keys, so as soon as you have multiple versions of a package in the store a global index would break |
| 2022-06-13 15:56:48 +0200 | <geekosaur> | it'd have to become more like hackage, letting you pick package versions from the store |
| 2022-06-13 15:57:20 +0200 | <dragestil> | so can you build a local hackage? |
| 2022-06-13 15:58:50 +0200 | <merijn> | dragestil: I mean, you can. But that's more work than you want for just browsing some static docs |
| 2022-06-13 15:59:06 +0200 | <geekosaur> | there are packages that help you do it, but it's a pretty heavyweight solution. I mean just the version selection page, not a whole hackage-alike |
| 2022-06-13 15:59:07 +0200 | <merijn> | At least, more work than *I* wanna do |
| 2022-06-13 15:59:29 +0200 | <geekosaur> | and turning a cabal store into a hackage store would itself be quite a lot of work |
| 2022-06-13 15:59:29 +0200 | <dragestil> | right, i mean something as simple as invoking a few commands like `cabal configure --enable-documentation` |
| 2022-06-13 15:59:48 +0200 | <geekosaur> | that creates docs but currently doesn't link them anywhere |
| 2022-06-13 15:59:58 +0200 | <geekosaur> | again, that's what the new PR does |
| 2022-06-13 16:00:38 +0200 | <merijn> | dragestil: Right now each package has *its own* docs as html in the package directory in the store |
| 2022-06-13 16:01:02 +0200 | <merijn> | dragestil: But the crosslinking to other packages is wonky (if not broken?) and you can't easily browse/access them |
| 2022-06-13 16:01:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 16:01:42 +0200 | julian | (~julian@20.83.116.49) (Killed (NickServ (GHOST command used by tos9__!~tos9@python/site-packages/Julian))) |
| 2022-06-13 16:01:43 +0200 | <dragestil> | merijn: really? `find ~/.cabal/store -iname "*.html"` returns nothing |
| 2022-06-13 16:02:19 +0200 | <merijn> | dragestil: Well, they are if you have doc building enabled by default, like me :p |
| 2022-06-13 16:02:45 +0200 | <dragestil> | lol i se |
| 2022-06-13 16:02:46 +0200 | <dragestil> | e |
| 2022-06-13 16:02:50 +0200 | <merijn> | Which I still have, because in the past that gave me the global browsable index |
| 2022-06-13 16:03:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 16:03:51 +0200 | <dragestil> | well I just wish I have haddock as info manuals |
| 2022-06-13 16:04:10 +0200 | <dragestil> | so anyone who writes a texinfo haddock backend will earn my eternal gratitude |
| 2022-06-13 16:04:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 16:06:12 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-13 16:06:51 +0200 | <dragestil> | geekosaur: those packages you mentioned that can turn haddocks into hackage, can you name one? |
| 2022-06-13 16:07:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 255 seconds) |
| 2022-06-13 16:08:21 +0200 | <geekosaur[m]> | That wasn't what I said. You asked about local Hackage |
| 2022-06-13 16:08:48 +0200 | <geekosaur[m]> | I'll have to get back to my desk to look |
| 2022-06-13 16:09:03 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 16:09:23 +0200 | <dragestil> | geekosaur: ok thanks |
| 2022-06-13 16:09:33 +0200 | <geekosaur[m]> | Local Hackage is fairly common for commercial developers |
| 2022-06-13 16:10:29 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-13 16:12:29 +0200 | <dragestil> | ok. if I had more disk space / bandwidth i might just wget / rsync the official hackage weekly |
| 2022-06-13 16:13:18 +0200 | <merijn> | hackage isn't even super big, so :p |
| 2022-06-13 16:13:51 +0200 | <dragestil> | how big is it though? hundreds of gigs? |
| 2022-06-13 16:13:56 +0200 | <merijn> | lol |
| 2022-06-13 16:13:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-13 16:14:07 +0200 | <merijn> | If I had to estimate I'm guessing single digit gigabyte |
| 2022-06-13 16:14:21 +0200 | <dragestil> | fair enough |
| 2022-06-13 16:14:32 +0200 | <merijn> | You could ask in #haskell-infrastructure someone there should know the exact number |
| 2022-06-13 16:15:06 +0200 | <merijn> | I'm about 80-90% confident all of hackage is very "would fit on a single USB stick"-sized |
| 2022-06-13 16:15:26 +0200 | <merijn> | even a small one |
| 2022-06-13 16:15:54 +0200 | <dragestil> | time to sell shrinkwrapped hackage dvds |
| 2022-06-13 16:20:12 +0200 | <geekosaur> | back to the early 90s :) |
| 2022-06-13 16:21:42 +0200 | <boxscape> | merijn: dragestil I have a `hackage` directory on my PC from July last year which I believe contained all packages at the time - albeit only their newest versions - and is just under 2GB in size |
| 2022-06-13 16:21:49 +0200 | russell60 | (~russell@cpc146322-oldh12-2-0-cust485.10-1.cable.virginm.net) |
| 2022-06-13 16:22:40 +0200 | <dragestil> | boxscape: cool, that's very encouraging |
| 2022-06-13 16:22:53 +0200 | cosmos1 | (cosmos@user/cosmos1) |
| 2022-06-13 16:23:30 +0200 | <geekosaur> | https://hackage.haskell.org/package/hackage-server is hackage itself. I think https://hackage.haskell.org/package/hackage-mirror still works because the underlying stuff hasn't changed much |
| 2022-06-13 16:24:51 +0200 | <dragestil> | nice |
| 2022-06-13 16:26:46 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 16:27:06 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-13 16:28:37 +0200 | <geekosaur> | I still don't think I'd set up a local Hackage just for docs though. easy enough to use a browser keyword to go straight to the docs on hackage itself :) |
| 2022-06-13 16:28:54 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-13 16:29:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-13 16:30:45 +0200 | <__monty__> | geekosaur: Only gotcha is getting the docs for the correct version. |
| 2022-06-13 16:31:12 +0200 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 16:31:22 +0200 | <geekosaur> | true |
| 2022-06-13 16:32:05 +0200 | lechner | (lechner@debian/lechner) (Ping timeout: 260 seconds) |
| 2022-06-13 16:32:31 +0200 | <dragestil> | some of the hackage pages can take long to render in eww, which is why I don't like the html format |
| 2022-06-13 16:32:47 +0200 | lechner | (lechner@debian/lechner) |
| 2022-06-13 16:33:09 +0200 | russell60 | (~russell@cpc146322-oldh12-2-0-cust485.10-1.cable.virginm.net) (Quit: Client closed) |
| 2022-06-13 16:33:41 +0200 | <geekosaur> | actually, I wonder if a hackage-lite could be made for documentation. leave out most of the backend, since I think the landing page for a package is generated solely from its cabal file and the rest requires only haddock documentation |
| 2022-06-13 16:33:50 +0200 | Clint | (~Clint@user/clint) (Ping timeout: 260 seconds) |
| 2022-06-13 16:34:03 +0200 | <geekosaur> | although I think I may have just described flora |
| 2022-06-13 16:34:10 +0200 | Clint | (~Clint@user/clint) |
| 2022-06-13 16:34:27 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Remote host closed the connection) |
| 2022-06-13 16:34:55 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-06-13 16:34:56 +0200 | <dragestil> | ideally there should be an emacs package that concats docstrings in a similar way as haddock, and can integrate with haskell-mode (no, hls is just too slow) |
| 2022-06-13 16:35:42 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-13 16:35:51 +0200 | <geekosaur> | well, not entirely true, various badges from the landing page come from building the package |
| 2022-06-13 16:35:52 +0200 | caubert | (~caubert@user/caubert) |
| 2022-06-13 16:37:19 +0200 | glguy | (x@libera/staff/glguy) (Quit: Quit) |
| 2022-06-13 16:37:20 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 260 seconds) |
| 2022-06-13 16:37:31 +0200 | glguy | (x@libera/staff/glguy) |
| 2022-06-13 16:37:47 +0200 | <dragestil> | *too slow for a 6 year old laptop, to be fair |
| 2022-06-13 16:38:17 +0200 | cosmos1 | (cosmos@user/cosmos1) (Ping timeout: 260 seconds) |
| 2022-06-13 16:38:37 +0200 | <geekosaur> | true. mine is a bit newer but I still avoid HLS |
| 2022-06-13 16:38:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-06-13 16:41:12 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-13 16:42:09 +0200 | tangy | (~tangy@37.19.197.142) () |
| 2022-06-13 16:42:23 +0200 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 16:44:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 16:46:50 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 272 seconds) |
| 2022-06-13 16:49:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5659:a370:41b0:7db0) (Quit: WeeChat 2.8) |
| 2022-06-13 16:52:46 +0200 | caubert | (~caubert@user/caubert) (Remote host closed the connection) |
| 2022-06-13 16:52:56 +0200 | caubert | (~caubert@user/caubert) |
| 2022-06-13 16:57:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 16:59:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-13 16:59:42 +0200 | toluene | (~toluene@user/toulene) (Ping timeout: 244 seconds) |
| 2022-06-13 17:02:42 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 17:03:02 +0200 | tangy | (~tangy@37.19.197.142) () |
| 2022-06-13 17:03:26 +0200 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 17:03:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 17:04:26 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 17:06:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-06-13 17:06:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-13 17:06:43 +0200 | tangy | (~tangy@37.19.197.142) (Changing host) |
| 2022-06-13 17:06:43 +0200 | tangy | (~tangy@user/tangy) |
| 2022-06-13 17:10:16 +0200 | brettgilio | (~brettgili@c9yh.net) (Ping timeout: 248 seconds) |
| 2022-06-13 17:10:57 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-06-13 17:11:39 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) (Quit: leaving) |
| 2022-06-13 17:15:14 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-06-13 17:16:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 17:16:37 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:dee7:1b6:101c:bb2) (Quit: time to reboot) |
| 2022-06-13 17:19:24 +0200 | Vajb | (~Vajb@2001:999:231:45d1:d186:9843:f4a2:cf12) (Read error: Connection reset by peer) |
| 2022-06-13 17:19:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 17:20:39 +0200 | nisstyre | (wes@user/nisstyre) |
| 2022-06-13 17:21:02 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) |
| 2022-06-13 17:25:59 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-13 17:27:02 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 17:28:31 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-13 17:31:00 +0200 | slack1256 | (~slack1256@191.126.227.199) |
| 2022-06-13 17:32:15 +0200 | chreekat2 | (~b@152.96.94.198) (Ping timeout: 276 seconds) |
| 2022-06-13 17:39:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 17:40:41 +0200 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-06-13 17:43:48 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-13 17:45:06 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d99:dc3:90b:959b:286e:aa4f) |
| 2022-06-13 17:45:24 +0200 | <Bulby[m]> | is pattern matching against a tuple of bools lazy? i.e. if the first match is `(True, _)`, the second isn't evaluated |
| 2022-06-13 17:46:19 +0200 | <geekosaur> | to that extent it will be lazy |
| 2022-06-13 17:46:34 +0200 | <Bulby[m]> | \o/ then i'm ok with that |
| 2022-06-13 17:46:42 +0200 | <geekosaur> | it will match strictly the tuple constructor and the first element; the second will remain unevaluated |
| 2022-06-13 17:46:59 +0200 | <Bulby[m]> | that's fine with me 🙂 |
| 2022-06-13 17:47:22 +0200 | slack1256 | gets surprised everytime he remember glirc shows emojis |
| 2022-06-13 17:47:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 17:48:16 +0200 | <Bulby[m]> | oh, not like that helps. I should just write a nested if |
| 2022-06-13 17:49:02 +0200 | <Bulby[m]> | it won't help because the right side is monadic |
| 2022-06-13 17:49:11 +0200 | <geekosaur> | I would argue against a tuple of Bools for other reasons, though; it's pretty much an invitation to boolean blindness |
| 2022-06-13 17:52:20 +0200 | <geekosaur> | I keep forgetting I can send them ☺ |
| 2022-06-13 17:52:29 +0200 | <geekosaur> | granting it's not a fancy one |
| 2022-06-13 17:53:43 +0200 | <geekosaur> | sadly (this version of?) hexchat doesn't have an emoji menu, so I have to pop up the charmap scratchpad to get a decent one |
| 2022-06-13 17:54:21 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-06-13 17:58:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 17:58:51 +0200 | <Bulby[m]> | any people with a cli client probably frustrated whenever someone sends an emoji |
| 2022-06-13 17:58:58 +0200 | <Bulby[m]> | I know it borks my console |
| 2022-06-13 18:00:13 +0200 | <geekosaur> | if it's smart enough it can use wcwidth. but you need both client support and terminal support and they need to agree about which characters are wide |
| 2022-06-13 18:00:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 18:00:25 +0200 | <geekosaur> | it's a pain |
| 2022-06-13 18:01:59 +0200 | brettgilio | (~brettgili@virtlab.gq) |
| 2022-06-13 18:06:13 +0200 | titibandit | (~titibandi@sunp.ient.rwth-aachen.de) (Quit: Leaving.) |
| 2022-06-13 18:08:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 18:08:37 +0200 | neoatnebula | (~neoatnebu@2409:4071:4d99:dc3:90b:959b:286e:aa4f) (Quit: Client closed) |
| 2022-06-13 18:12:44 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 18:19:29 +0200 | kenran | (~kenran@200116b82baa630079f5dbc57aafb02d.dip.versatel-1u1.de) |
| 2022-06-13 18:19:36 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-06-13 18:19:39 +0200 | chreekat2 | (~b@2001:620:130:6092:8bfc:a3fb:f85a:dae) |
| 2022-06-13 18:19:49 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 18:20:44 +0200 | kenran | (~kenran@200116b82baa630079f5dbc57aafb02d.dip.versatel-1u1.de) (Client Quit) |
| 2022-06-13 18:23:45 +0200 | <Bulby[m]> | how do I combine two lenses |
| 2022-06-13 18:25:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 18:26:02 +0200 | <Bulby[m]> | i.e. "fetch a list, then _Cons that list |
| 2022-06-13 18:27:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-06-13 18:30:08 +0200 | <geekosaur> | (.) or (&) depending on direction |
| 2022-06-13 18:30:08 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 18:30:08 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 18:30:08 +0200 | turlando | (~turlando@user/turlando) |
| 2022-06-13 18:30:27 +0200 | <geekosaur> | the neat thing about lenses is they're just functions |
| 2022-06-13 18:30:37 +0200 | <geekosaur> | and they compose like functions |
| 2022-06-13 18:31:09 +0200 | <Bulby[m]> | i guess mine is a bit borked because i'm trying to combine them under `use` (which I wrote myself, but is the same type signature as the actual use |
| 2022-06-13 18:32:21 +0200 | <Bulby[m]> | i don't even think they are both lenses lol |
| 2022-06-13 18:32:27 +0200 | <Bulby[m]> | 1 is `_Cons` |
| 2022-06-13 18:32:33 +0200 | <Bulby[m]> | which is a prism |
| 2022-06-13 18:33:35 +0200 | <geekosaur> | mm, combining different optics can be more difficult, yes. |
| 2022-06-13 18:33:54 +0200 | <geekosaur> | someone else would have to answer there, I'm still a beginner at lenses |
| 2022-06-13 18:35:35 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-33.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-06-13 18:36:40 +0200 | <Bulby[m]> | `(^? _Cons) <$> use l` gives me the type sig I want (Sem r (Maybe (a, [a]))) |
| 2022-06-13 18:37:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 18:37:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 18:38:30 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 18:38:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 18:40:56 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-13 18:41:20 +0200 | alp | (~alp@user/alp) |
| 2022-06-13 18:43:06 +0200 | <sm> | #haskell-lens:libera.chat will know |
| 2022-06-13 18:43:28 +0200 | <Bulby[m]> | of course it has it's own channel lol |
| 2022-06-13 18:47:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 18:49:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 18:50:31 +0200 | econo | (uid147250@user/econo) |
| 2022-06-13 18:50:55 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-13 18:56:03 +0200 | dos__^^` | (~user@2409:8a55:e216:d090:58b9:4cff:fea0:d9) |
| 2022-06-13 18:57:11 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Ping timeout: 255 seconds) |
| 2022-06-13 19:00:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 19:00:38 +0200 | <lyle> | I'm no expert, but https://github.com/jwiegley/putting-lenses-to-work has a .pdf with many examples of how to use lenses. |
| 2022-06-13 19:00:47 +0200 | dos__^^` | (~user@2409:8a55:e216:d090:58b9:4cff:fea0:d9) (Ping timeout: 255 seconds) |
| 2022-06-13 19:01:33 +0200 | <lyle> | I'm not jwiegley, just someone who stumbled on it. |
| 2022-06-13 19:05:02 +0200 | dsrt^ | (~dsrt@50.223.50.178) |
| 2022-06-13 19:05:27 +0200 | slack1256 | (~slack1256@191.126.227.199) (Read error: Connection reset by peer) |
| 2022-06-13 19:05:36 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-13 19:06:00 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-13 19:06:41 +0200 | slack1256 | (~slack1256@186.11.82.227) |
| 2022-06-13 19:07:50 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 19:07:58 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2022-06-13 19:10:26 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 19:10:26 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 19:10:26 +0200 | turlando | (~turlando@user/turlando) |
| 2022-06-13 19:14:44 +0200 | mima | (~mmh@aftr-62-216-207-41.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2022-06-13 19:18:40 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-13 19:19:28 +0200 | <Bulby[m]> | haskell-lens requires a nickname registered |
| 2022-06-13 19:20:30 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-06-13 19:21:55 +0200 | <dsal> | I've never used `use` |
| 2022-06-13 19:22:47 +0200 | <dsal> | This is a pretty good book as well: https://leanpub.com/optics-by-example/ |
| 2022-06-13 19:23:28 +0200 | <dsal> | Ah, `lens` is state stuff. I don't do a lot of state stuff with lens. |
| 2022-06-13 19:24:47 +0200 | <lyle> | Will RecordDotSyntax affect how much lenses are used? |
| 2022-06-13 19:25:17 +0200 | <dsal> | Possibly. It's a rather poor replacement for lenses in my experience. |
| 2022-06-13 19:25:34 +0200 | <sm> | lens really aren't used that much now, are they |
| 2022-06-13 19:26:11 +0200 | <dsal> | Lots of people who run projects are afraid of lenses even when they are the clearest, most efficient, and most obvious way to do things. |
| 2022-06-13 19:26:41 +0200 | <lyle> | They do help with the problem of accessing deeply nested data structures, but I think RecordDotSyntax does too. |
| 2022-06-13 19:26:44 +0200 | <sm> | does GHC use them, eg ? |
| 2022-06-13 19:27:50 +0200 | <dsal> | RecordDotSyntax, AFAICT, won't help you with prisms or folding and traversing which is almost always required when dealing with a data structure sufficiently non-trivial that you might consider lenses. |
| 2022-06-13 19:28:45 +0200 | <lyle> | dsal: Yes, that's my understanding as well. RecordDotSyntax will only replace very basic lens use. |
| 2022-06-13 19:29:12 +0200 | <Bulby[m]> | oh, traversals nicely combine at least for `modifying` |
| 2022-06-13 19:35:33 +0200 | <mrianbloom> | Is there a nice way to say that every subtype of a GADT has an instance of a particular typeclass? |
| 2022-06-13 19:38:10 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-06-13 19:38:12 +0200 | chreekat2 | (~b@2001:620:130:6092:8bfc:a3fb:f85a:dae) (Ping timeout: 248 seconds) |
| 2022-06-13 19:39:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 19:41:05 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-13 19:41:44 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-13 19:43:33 +0200 | <dsal> | I'm having trouble figuring out how to make a hard link. Does anyone know where I can find an implementation of link? |
| 2022-06-13 19:45:36 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 19:46:05 +0200 | <Cale> | mrianbloom: If you mean that, given a value x :: MyGADT a, you can show that you have an instance C a, then yes, see constraints-extras |
| 2022-06-13 19:47:21 +0200 | <mrianbloom> | I'll take a look thanks. |
| 2022-06-13 19:47:33 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/8.10.7/docs/html/libraries/unix-2.7.2.2/System-Posix-Files.html#… |
| 2022-06-13 19:47:40 +0200 | <Cale> | You can write (Has c MyGADT) to mean exactly the above |
| 2022-06-13 19:47:43 +0200 | <geekosaur> | dsal ^ |
| 2022-06-13 19:48:22 +0200 | <dsal> | geekosaur: Awesome, thank you! |
| 2022-06-13 19:48:23 +0200 | <Cale> | and then has x (...) will let you use the instance inside the (...) expression |
| 2022-06-13 19:48:56 +0200 | <dsal> | Oh wow. I had that doc up on that section in a different tab and didn't see it. Good day to be writing code. |
| 2022-06-13 19:54:53 +0200 | <dsal> | Neat. That just saved me around 100GB of unnecessary copying, I think. |
| 2022-06-13 19:55:30 +0200 | turlando | (~turlando@user/turlando) (Quit: turlando) |
| 2022-06-13 19:56:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 19:56:05 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 19:56:37 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 19:56:37 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 19:56:37 +0200 | turlando | (~turlando@user/turlando) |
| 2022-06-13 19:58:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 19:59:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 20:00:13 +0200 | vglfr | (~vglfr@88.155.117.190) (Read error: Connection reset by peer) |
| 2022-06-13 20:00:23 +0200 | vglfr | (~vglfr@88.155.117.190) |
| 2022-06-13 20:03:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-06-13 20:05:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 20:05:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 20:05:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 20:05:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 20:06:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 20:08:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 20:09:22 +0200 | slac50227 | (~slack1256@191.125.227.223) |
| 2022-06-13 20:10:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 20:10:30 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-13 20:10:32 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 20:11:55 +0200 | slack1256 | (~slack1256@186.11.82.227) (Ping timeout: 256 seconds) |
| 2022-06-13 20:16:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 20:18:11 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 252 seconds) |
| 2022-06-13 20:25:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 20:27:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-13 20:28:22 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-13 20:33:30 +0200 | dsrt^ | (~dsrt@50.223.50.178) (Ping timeout: 240 seconds) |
| 2022-06-13 20:36:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-06-13 20:43:56 +0200 | vicfred | (~vicfred@user/vicfred) (Remote host closed the connection) |
| 2022-06-13 20:44:15 +0200 | Qudit | (~user@user/Qudit) (Read error: Connection reset by peer) |
| 2022-06-13 20:45:28 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-13 20:46:00 +0200 | vglfr | (~vglfr@88.155.117.190) (Ping timeout: 244 seconds) |
| 2022-06-13 20:46:36 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-13 20:47:20 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:26d1:2f:9cc7:96f3:7340) |
| 2022-06-13 20:48:20 +0200 | kaskal- | (~kaskal@213-147-164-164.nat.highway.webapn.at) (Ping timeout: 255 seconds) |
| 2022-06-13 20:48:26 +0200 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 20:48:58 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2022-06-13 20:51:48 +0200 | dcoutts__ | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-06-13 20:53:09 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-13 20:55:16 +0200 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) (Remote host closed the connection) |
| 2022-06-13 20:55:36 +0200 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 20:55:50 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-06-13 20:56:45 +0200 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) |
| 2022-06-13 21:00:21 +0200 | dsrt^ | (~dsrt@50.223.50.178) |
| 2022-06-13 21:00:24 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 21:01:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 21:01:54 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-06-13 21:02:51 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 276 seconds) |
| 2022-06-13 21:03:39 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-06-13 21:05:55 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-06-13 21:12:39 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 21:14:55 +0200 | califax | (~califax@user/califx) |
| 2022-06-13 21:18:17 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-06-13 21:20:15 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 21:24:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-13 21:32:54 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 21:33:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 21:33:24 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-13 21:38:17 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-13 21:38:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 21:39:30 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-13 21:41:02 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 21:44:27 +0200 | fr33domlover | (~fr33@bzq-79-176-113-171.red.bezeqint.net) |
| 2022-06-13 21:45:22 +0200 | remedan | (~remedan@octo.cafe) (Quit: Bye!) |
| 2022-06-13 21:45:53 +0200 | fr33domlover | (~fr33@bzq-79-176-113-171.red.bezeqint.net) (Client Quit) |
| 2022-06-13 21:47:44 +0200 | dsrt^ | (~dsrt@50.223.50.178) (Ping timeout: 255 seconds) |
| 2022-06-13 21:51:02 +0200 | shapr | (~user@2600:4040:2d31:7100:c9e6:4184:8419:55f7) |
| 2022-06-13 21:52:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-13 21:52:52 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 21:57:11 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 21:58:50 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:e93:cdbf:1805:a1c8) |
| 2022-06-13 22:01:23 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-13 22:03:58 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 22:05:15 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2022-06-13 22:05:43 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 22:05:45 +0200 | <Guest27> | If you're developing a Cabal library package and an executable that depends on that library, is it better practice to put both in one package or have the executable as a separate package that depends on the library? |
| 2022-06-13 22:06:42 +0200 | <geekosaur> | generally both in one package, so you can test it properly (otherwise you may have to export internals for use by the executable's test suite) |
| 2022-06-13 22:07:10 +0200 | <Guest27> | Makes sense, thanks |
| 2022-06-13 22:07:50 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 22:08:21 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 22:12:31 +0200 | dostoevsky2 | (~5c42c5384@user/dostoevsky) |
| 2022-06-13 22:13:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-13 22:13:21 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 22:13:45 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-06-13 22:13:46 +0200 | dostoevsky2 | dostoevsky |
| 2022-06-13 22:15:35 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 22:20:49 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-13 22:23:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 22:24:49 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-13 22:26:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 22:26:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 22:27:23 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-06-13 22:29:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 22:31:35 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 22:33:29 +0200 | Qudit | (~user@user/Qudit) |
| 2022-06-13 22:33:47 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 22:39:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-06-13 22:40:45 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-06-13 22:41:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 22:41:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-13 22:50:43 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-13 22:54:48 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-06-13 22:56:42 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-13 23:02:38 +0200 | FixedPointDude | (~FixedPoin@45.72.235.160) |
| 2022-06-13 23:02:52 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 23:03:03 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-06-13 23:03:17 +0200 | <FixedPointDude> | getting haskell to work with vscode lately has made me feel like a bumbling incompetent |
| 2022-06-13 23:05:06 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 23:07:04 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
| 2022-06-13 23:07:52 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-13 23:10:18 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 23:12:32 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 23:13:18 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-06-13 23:13:43 +0200 | FixedPointDude | (~FixedPoin@45.72.235.160) (Quit: Client closed) |
| 2022-06-13 23:16:53 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 23:17:45 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 23:18:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 23:18:57 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 23:19:11 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 23:21:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 23:24:45 +0200 | <maerwald[m]> | FixedPointDude: why |
| 2022-06-13 23:25:10 +0200 | <maerwald[m]> | dminuoso: did he pick up his laptop? Lol |
| 2022-06-13 23:28:54 +0200 | julian | (~julian@20.83.116.49) |
| 2022-06-13 23:44:53 +0200 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-06-13 23:54:23 +0200 | _xor | (~xor@72.49.198.103) (Ping timeout: 246 seconds) |
| 2022-06-13 23:55:43 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |