Newest at the top
| 2025-11-28 16:02:46 +0100 | Nguntal_Geni | (~Nguntal_A@182.8.228.63) (Leaving) |
| 2025-11-28 16:02:19 +0100 | Nguntal_Geni | (~Nguntal_A@182.8.228.63) |
| 2025-11-28 15:59:07 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-28 15:58:19 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 246 seconds) |
| 2025-11-28 15:57:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-28 15:55:35 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-28 15:53:22 +0100 | mjrosenb | (~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net) |
| 2025-11-28 15:50:50 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-11-28 15:43:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-28 15:42:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-11-28 15:38:52 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 15:37:09 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-28 15:30:52 +0100 | ljdarj1 | ljdarj |
| 2025-11-28 15:30:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-28 15:29:17 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-28 15:25:55 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-28 15:22:26 +0100 | <merijn> | yin: For local development you probably wanna just do "cabal configure --enable-tests" so that it *always* builds tests and then it should "Just Work (TM)" |
| 2025-11-28 15:20:15 +0100 | <yin> | ty |
| 2025-11-28 15:20:07 +0100 | <yin> | ah yes, `test` is the name of the test-suite. that makes more sense |
| 2025-11-28 15:17:25 +0100 | <merijn> | There was a weird thing where if you don't configure with --enable-tests it won't build (and thus not run) test suites by default |
| 2025-11-28 15:16:28 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 15:16:26 +0100 | <merijn> | I assume you mean `test` is the name of a test-suite there? |
| 2025-11-28 15:16:16 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 15:15:45 +0100 | <merijn> | yin: Yes, but also maybe no :p |
| 2025-11-28 15:15:12 +0100 | <yin> | is `cabal run test` supposed to run test-suite? |
| 2025-11-28 15:01:40 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-28 15:00:31 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-28 14:53:11 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-28 14:37:39 +0100 | trickard_ | trickard |
| 2025-11-28 14:29:53 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-28 14:27:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-28 14:22:36 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-28 14:19:07 +0100 | AlexZenon | (~alzenon@85.174.183.41) |
| 2025-11-28 14:16:26 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) |
| 2025-11-28 14:05:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-28 14:05:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-28 13:58:13 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) (Quit: Leaving) |
| 2025-11-28 13:58:04 +0100 | AlexZenon | (~alzenon@85.174.183.41) (Quit: ;-) |
| 2025-11-28 13:47:00 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-11-28 13:42:36 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 13:42:22 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 13:30:38 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) |
| 2025-11-28 13:28:05 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-11-28 13:26:49 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-28 13:19:07 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-11-28 13:17:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-28 13:16:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-28 13:08:02 +0100 | <[exa]> | tomsmeding: sounds good, thanks a lot! |
| 2025-11-28 12:57:19 +0100 | <tomsmeding> | [exa]: I have been recommended this thing at some point https://granule-project.github.io/papers/esop22-paper.pdf ; not quite what you're asking for, but perhaps still interesting |
| 2025-11-28 12:56:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |