Newest at the top
| 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 |
| 2025-11-28 12:55:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-28 12:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-28 12:45:00 +0100 | Catty | catties |
| 2025-11-28 12:41:03 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 12:40:50 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 12:32:47 +0100 | <merijn> | That's probably "read research papers" territory :) |
| 2025-11-28 12:32:35 +0100 | <merijn> | probably not |
| 2025-11-28 12:27:15 +0100 | <[exa]> | is there some canonical tutorial on implementing a linear-types-capable typesystem? Like there's THIH for typeclasses. |
| 2025-11-28 12:24:16 +0100 | fp | (~Thunderbi@130.233.70.215) fp |
| 2025-11-28 12:08:43 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds) |
| 2025-11-28 12:06:12 +0100 | <__monty__> | That's OK, I don't mind Haskell maximalism : ) |
| 2025-11-28 12:02:23 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-28 11:51:05 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 11:50:51 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 11:48:10 +0100 | APic | (apic@apic.name) APic |