2026/03/02

Newest at the top

2026-03-02 17:11:14 +0100wickedja`(~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection)
2026-03-02 17:09:52 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-03-02 17:07:36 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2026-03-02 16:58:12 +0100karenw_(~karenw@user/karenw) karenw
2026-03-02 16:51:43 +0100euphores(~SASL_euph@user/euphores) euphores
2026-03-02 16:44:15 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-02 16:42:03 +0100Square(~Square4@user/square) Square
2026-03-02 16:40:42 +0100tremon(~tremon@83.80.159.219) tremon
2026-03-02 16:27:31 +0100YuutaW(~YuutaW@infornography.yta.moe) (Ping timeout: 272 seconds)
2026-03-02 16:26:21 +0100Googulator37(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-02 16:26:03 +0100Googulator37(~Googulato@2a01:36d:106:119:2546:5dd3:b1b8:39cd) (Quit: Client closed)
2026-03-02 16:26:02 +0100yin(~zero@user/zero) zero
2026-03-02 16:25:47 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-03-02 16:25:37 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds)
2026-03-02 16:23:09 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-03-02 16:18:05 +0100yin(~zero@user/zero) zero
2026-03-02 16:17:51 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-03-02 16:15:15 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-02 16:05:59 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
2026-03-02 15:56:42 +0100Guest25(~Guest25@2001:6b0:d:2fa::104) (Quit: Client closed)
2026-03-02 15:56:28 +0100juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-03-02 15:53:13 +0100yin(~zero@user/zero) zero
2026-03-02 15:52:58 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-03-02 15:49:08 +0100 <gentauro> however, I'm just gonna add `-Wpartial-fields` to my cabal file as well
2026-03-02 15:48:44 +0100 <gentauro> it seems that `-Wincomplete-record-selectors` is part of `-Wall` (nice) https://ghc.gitlab.haskell.org/ghc/doc/users_guide/using-warnings.html#ghc-flag-Wall
2026-03-02 15:48:42 +0100Googulator37(~Googulato@2a01:36d:106:119:2546:5dd3:b1b8:39cd)
2026-03-02 15:48:11 +0100Googulator37(~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-02 15:47:47 +0100poscat0x04(~poscat@user/poscat) (Quit: Bye)
2026-03-02 15:46:27 +0100poscat(~poscat@user/poscat) poscat
2026-03-02 15:46:05 +0100 <gentauro> mangoiv: and "why not both"?
2026-03-02 15:46:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-03-02 15:45:50 +0100 <gentauro> mangoiv: thx
2026-03-02 15:45:32 +0100Square(~Square4@user/square) (Remote host closed the connection)
2026-03-02 15:33:34 +0100n0den1te(~n0den1te@user/n0den1te) n0den1te
2026-03-02 15:31:11 +0100weary-traveler(~user@user/user363627) user363627
2026-03-02 15:30:19 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2026-03-02 15:29:38 +0100juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 248 seconds)
2026-03-02 15:28:30 +0100wickedjargon(~user@2605:8d80:5430:d209:272f:8e4a:220e:2e05) (Ping timeout: 245 seconds)
2026-03-02 15:26:50 +0100wickedja`(~user@S0106f89e28d5699a.vc.shawcable.net)
2026-03-02 15:24:16 +0100bggd_(~bgg@2a01:e0a:fd5:f510:17be:f132:ebdc:f089) (Remote host closed the connection)
2026-03-02 15:16:22 +0100 <mangoiv> Of course they have completely different naming schemes so if you remember one you don't remember the other one ^^
2026-03-02 15:16:03 +0100 <mangoiv> or `-Wincomplete-record-selectors` if you rather want to have it at use site (arguably the better one)
2026-03-02 15:15:13 +0100 <mangoiv> `-Wpartial-fields`
2026-03-02 15:11:01 +0100acidjnk_new(~acidjnk@p200300d6e700e5876e445e500c43f7e0.dip0.t-ipconnect.de)
2026-03-02 15:10:38 +0100acidjnk_new(~acidjnk@p200300d6e700e5876e445e500c43f7e0.dip0.t-ipconnect.de) (Remote host closed the connection)
2026-03-02 15:10:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-03-02 15:09:17 +0100 <gentauro> what is the GHC compiler flag that dissallows defining `sum types` with `product types`? For example: `data FooBar = Foo { foo :: Int } | Bar { bar :: String}`. both `foo` as well as `bar` have signatures like: `FooBar -> …`. So you end up with a runtime error if wrongly used …
2026-03-02 15:00:43 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-03-02 14:59:30 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-03-02 14:57:36 +0100juri_(~juri@217-114-215-140.pool.ovpn.com) juri_