| 2025-03-15 00:04:15 +0100 | <haskellbridge> | <Bowuigi> Liamzee type-safe OOP is nice with row types, specially when compared to the ADT approach |
| 2025-03-15 00:10:35 +0100 | <haskellbridge> | <dmjio> Maybe a Haskell-PLT channel should exist … |
| 2025-03-15 00:11:24 +0100 | wildtrees | (~user@pool-108-26-34-230.syrcny.east.verizon.net) (Remote host closed the connection) |
| 2025-03-15 00:13:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-15 00:14:36 +0100 | <haskellbridge> | <Liamzee> you should get that back with dependent types, no? |
| 2025-03-15 00:17:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-15 00:18:39 +0100 | <haskellbridge> | <Bowuigi> Row types? They are sort of implementable in Haskell now, see https://hackage.haskell.org/package/vinyl or similar |
| 2025-03-15 00:18:46 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-03-15 00:22:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-15 00:23:07 +0100 | <merijn> | hmm, I tried specifying -Wunused-packages in my cabal.project, but it's not actually erroring, sadly |
| 2025-03-15 00:23:41 +0100 | <merijn> | Possibly an annoying interaction between cabal.project and sublibraries |
| 2025-03-15 00:24:30 +0100 | <haskellbridge> | <dmjio> Bowuigi: Did HasField get setField yet? Vinyl is 5D chess. |
| 2025-03-15 00:27:50 +0100 | <merijn> | bleh |
| 2025-03-15 00:29:20 +0100 | <merijn> | ok, so apparently `package foo` stanzas in cabal.project do NOT apply to sub libraries of foo |
| 2025-03-15 00:29:31 +0100 | <merijn> | and `package foo:bar` is a parse error |
| 2025-03-15 00:29:45 +0100 | <merijn> | So how am I supposed to set flags for sub libraries via cabal.project? |
| 2025-03-15 00:41:59 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-03-15 00:54:37 +0100 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2025-03-15 00:54:48 +0100 | <haskellbridge> | <dmjio> Looks like setField is getting its own class |
| 2025-03-15 00:55:05 +0100 | <haskellbridge> | <dmjio> merijn: Does ‘lib’ need to be added |
| 2025-03-15 00:59:24 +0100 | <geekosaur> | my guess is you need to file an issue |
| 2025-03-15 01:03:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-15 01:04:43 +0100 | <merijn> | actually, the lib part might be on to something |
| 2025-03-15 01:07:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-15 01:18:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-15 01:28:05 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-15 01:34:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-15 01:35:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-15 01:37:42 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:4053:974b:9006:d0a5) |
| 2025-03-15 01:37:46 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:4053:974b:9006:d0a5) (Remote host closed the connection) |
| 2025-03-15 01:37:51 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-03-15 01:38:59 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-03-15 01:40:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-15 01:41:36 +0100 | sprotte24 | (~sprotte24@p200300d16f1b4500903f0b4af2f5d164.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-15 01:42:53 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-35.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2025-03-15 01:49:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-15 01:50:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-15 01:54:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-15 01:54:28 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-15 01:54:58 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2025-03-15 01:56:53 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-15 01:57:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-15 02:08:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-15 02:10:42 +0100 | krei-se | (~krei-se@tmo-122-100.customers.d1-online.com) (Ping timeout: 272 seconds) |
| 2025-03-15 02:11:01 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-15 02:11:24 +0100 | krei-se | (~krei-se@tmo-122-100.customers.d1-online.com) krei-se |
| 2025-03-15 02:13:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-03-15 02:13:44 +0100 | ljdarj1 | ljdarj |
| 2025-03-15 02:14:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-15 02:24:19 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f49ed02b7dcae5e99bf.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-15 02:24:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-15 02:29:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-15 02:30:53 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-35.dsl.bell.ca) k_hachig |