Logs: liberachat/#haskell
| 2025-12-07 14:20:32 | × | Googulator91 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 14:20:38 | → | Googulator35 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 14:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-07 14:30:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-07 14:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 14:36:22 | → | spew joins (~spew@user/spew) |
| 2025-12-07 14:38:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 14:38:26 | → | qqe joins (~qqq@185.54.20.98) |
| 2025-12-07 14:40:29 | trickard_ | is now known as trickard |
| 2025-12-07 14:44:13 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds) |
| 2025-12-07 14:46:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-07 14:47:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 14:50:44 | × | Googulator35 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 14:50:54 | → | Googulator35 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 14:52:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 14:56:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-07 14:59:06 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-07 15:02:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 15:04:04 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2) |
| 2025-12-07 15:08:37 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 246 seconds) |
| 2025-12-07 15:09:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-07 15:11:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-07 15:18:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-07 15:21:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 15:25:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-07 15:28:14 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-12-07 15:29:58 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-12-07 15:30:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-07 15:33:33 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 2025-12-07 15:34:08 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-12-07 15:34:50 | Googulator35 | is now known as Googulator |
| 2025-12-07 15:36:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 15:39:01 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 264 seconds) |
| 2025-12-07 15:42:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 15:48:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 15:49:27 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-07 15:50:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-07 15:50:43 | ljdarj1 | is now known as ljdarj |
| 2025-12-07 15:52:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-07 15:52:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-07 15:54:59 | → | user363627 joins (~user@user/user363627) |
| 2025-12-07 15:55:10 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-12-07 16:03:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 16:04:26 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-07 16:08:23 | × | qqe quits (~qqq@185.54.20.98) (Remote host closed the connection) |
| 2025-12-07 16:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 16:11:03 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Ping timeout: 250 seconds) |
| 2025-12-07 16:19:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 16:20:20 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-07 16:22:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-07 16:24:31 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 2025-12-07 16:24:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 16:26:50 | → | biberu joins (~biberu@user/biberu) |
| 2025-12-07 16:27:49 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-07 16:28:35 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-07 16:29:44 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-12-07 16:30:44 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2025-12-07 16:35:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 16:38:00 | <haskellbridge> | <magic_rb> anyone know how to make microlens-th work with DuplicateRecordFields and NoFieldSelectors? with makeClassy it still defines toplevel names that conflict between multiple datatypes |
| 2025-12-07 16:38:14 | × | biberu quits (~biberu@user/biberu) (Remote host closed the connection) |
| 2025-12-07 16:38:25 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-07 16:38:38 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-07 16:38:44 | <haskellbridge> | <magic_rb> If I have data Foo = Foo { content :: Content } and data Content = ... then it will create two content toplevel bindings for some odd reason |
| 2025-12-07 16:40:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-07 16:41:04 | × | opencircuit_ quits (~quassel@user/opencircuit) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-07 16:41:44 | → | opencircuit joins (~quassel@user/opencircuit) |
| 2025-12-07 16:43:19 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 240 seconds) |
| 2025-12-07 16:43:31 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-12-07 16:44:44 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 2025-12-07 16:44:44 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 2025-12-07 16:44:44 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 2025-12-07 16:49:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 16:50:25 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 264 seconds) |
| 2025-12-07 16:53:58 | → | Gedanken joins (~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479) |
| 2025-12-07 16:54:10 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 2025-12-07 16:54:10 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 2025-12-07 16:54:10 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 2025-12-07 16:54:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 16:57:15 | → | biberu joins (~biberu@user/biberu) |
| 2025-12-07 17:04:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 17:05:39 | → | Googulator69 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 17:05:39 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 17:10:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 17:10:30 | → | ftzm joins (~ftzm@085080241041.dynamic.telenor.dk) |
| 2025-12-07 17:12:58 | <[exa]> | magic_rb: there was some extra naming convention there that you afaik had to use even with the extensions |
| 2025-12-07 17:15:18 | <[exa]> | magic_rb: (just in case, can you do a minimal reproducer?) |
| 2025-12-07 17:16:45 | × | ftzm quits (~ftzm@085080241041.dynamic.telenor.dk) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-07 17:20:09 | <[exa]> | Liamzee: if you pull a monad through guards you have to be able to also rollback it, so a sound implementation would probably require at least Alternative or so |
| 2025-12-07 17:20:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 17:20:54 | <[exa]> | but at that point you don't really need the guards because you can just `asum` the branches and it's going to work |
| 2025-12-07 17:22:38 | <[exa]> | (or logicT which iirc has an actual cut to use after the guard condition succeeds) |
| 2025-12-07 17:25:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-07 17:27:37 | → | Square2 joins (~Square@user/square) |
| 2025-12-07 17:31:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-07 17:33:41 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-07 17:35:45 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-07 17:36:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-12-07 17:36:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 17:36:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-07 17:36:37 | ljdarj1 | is now known as ljdarj |
All times are in UTC.