Newest at the top
2025-02-02 22:55:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-02-02 22:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-02-02 22:53:49 +0100 | halloy6117 | (~halloy611@123.63.203.210) (Remote host closed the connection) |
2025-02-02 22:53:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-02 22:51:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 22:48:38 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-02-02 22:45:17 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
2025-02-02 22:40:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-02-02 22:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 22:31:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
2025-02-02 22:24:30 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
2025-02-02 22:23:52 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-02-02 22:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-02-02 22:18:43 +0100 | halloy6117 | (~halloy611@123.63.203.210) |
2025-02-02 22:17:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 22:13:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-02-02 22:09:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-02 22:07:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-02-02 22:05:21 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
2025-02-02 22:04:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-02-02 22:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 22:00:52 +0100 | pavonia | (~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 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-02-02 21:55:32 +0100 | Lord_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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-02-02 21:51:10 +0100 | wootehfoot | (~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 +0100 | lxsameer | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 21:45:26 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Remote host closed the connection) |
2025-02-02 21:41:23 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-02-02 21:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-02-02 21:36:10 +0100 | Guest98 | (~Guest75@2a01:cb14:1e0e:1400:5857:dd0a:c07b:d1a9) (Ping timeout: 240 seconds) |
2025-02-02 21:33:39 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) (Quit: Leaving) |
2025-02-02 21:31:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-02 21:24:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-02-02 21:20:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-02-02 21:20:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-02 21:20:30 +0100 | ljdarj1 | ljdarj |
2025-02-02 21:20:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-02-02 21:18:13 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-02-02 21:18:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-02-02 21:17:31 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-02-02 21:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |