2025/02/02

Newest at the top

2025-02-02 23:06:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 23:04:10 +0100haskellstudent(~haskellst@2a02:586:8921:ec00:e4f4:e522:fb9a:494b)
2025-02-02 23:00:10 +0100monochrom(trebla@216.138.220.146)
2025-02-02 22:59:09 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 252 seconds)
2025-02-02 22:57:46 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-02 22:55:52 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-02-02 22:55:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-02 22:53:49 +0100halloy6117(~halloy611@123.63.203.210) (Remote host closed the connection)
2025-02-02 22:53:27 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-02 22:51:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 22:48:38 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-02-02 22:45:17 +0100michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2025-02-02 22:40:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-02 22:32:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 22:31:29 +0100CiaoSen(~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2025-02-02 22:24:30 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-02-02 22:23:52 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in)
2025-02-02 22:21:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-02 22:18:43 +0100halloy6117(~halloy611@123.63.203.210)
2025-02-02 22:17:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 22:13:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-02 22:09:22 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-02 22:07:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-02 22:05:21 +0100notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-02-02 22:04:32 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-02 22:02:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 22:00:52 +0100pavonia(~user@user/siracusa) siracusa
2025-02-02 22:00:36 +0100_ht(~huub@62.250.52.179) (Remote host closed the connection)
2025-02-02 21:56:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-02-02 21:55:32 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-02-02 21:54:24 +0100 <dminuoso> If this work was revisited, it should really be implemented in GHC instead.
2025-02-02 21:52:37 +0100 <dminuoso> Ah yes, I forgot about zeroth.
2025-02-02 21:51:48 +0100 <dminuoso> That way the cabal package would default to pre-generated splices, the code would be visible on haddock via [Sources], and haddock works guaranteed. :)
2025-02-02 21:51:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-02 21:51:10 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-02-02 21:50:35 +0100 <geekosaur> sadly zeroth is long bitrotted. I don't know if anything's salvageable
2025-02-02 21:50:08 +0100 <dminuoso> It's an idea I've played with before to address some of TH shortcomings (every build needlessly recomputing the same splices, cross platform issues)
2025-02-02 21:49:33 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2025-02-02 21:49:28 +0100 <dminuoso> probie: Also, you could have a staged build process, where you replace TH with its splices (e.g. -ddump-splices) - perhaps controllable via CPP.
2025-02-02 21:47:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 21:45:26 +0100lisbeths(~user@c-174-164-24-226.hsd1.wa.comcast.net) (Remote host closed the connection)
2025-02-02 21:41:23 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-02 21:36:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-02 21:36:10 +0100Guest98(~Guest75@2a01:cb14:1e0e:1400:5857:dd0a:c07b:d1a9) (Ping timeout: 240 seconds)
2025-02-02 21:33:39 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.36) (Quit: Leaving)
2025-02-02 21:31:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-02 21:24:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-02 21:20:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-02 21:20:38 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-02 21:20:30 +0100ljdarj1ljdarj