| 2024-12-27 00:00:09 +0100 | itscaleb9 | (~itscaleb@user/itscaleb) itscaleb |
| 2024-12-27 00:00:14 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-27 00:00:44 +0100 | rdcdr_ | (~rdcdr@75-172-10-53.tukw.qwest.net) |
| 2024-12-27 00:01:35 +0100 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 265 seconds) |
| 2024-12-27 00:01:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 00:02:23 +0100 | itscaleb | (~itscaleb@user/itscaleb) (Ping timeout: 272 seconds) |
| 2024-12-27 00:02:23 +0100 | itscaleb9 | itscaleb |
| 2024-12-27 00:04:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2024-12-27 00:05:35 +0100 | itscaleb9 | (~itscaleb@user/itscaleb) itscaleb |
| 2024-12-27 00:06:19 +0100 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2024-12-27 00:08:04 +0100 | rdcdr_ | (~rdcdr@75-172-10-53.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2024-12-27 00:08:05 +0100 | itscaleb | (~itscaleb@user/itscaleb) (Ping timeout: 272 seconds) |
| 2024-12-27 00:08:05 +0100 | itscaleb9 | itscaleb |
| 2024-12-27 00:14:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 00:18:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-27 00:19:11 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Remote host closed the connection) |
| 2024-12-27 00:19:50 +0100 | ubert1 | (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) ubert |
| 2024-12-27 00:20:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 00:20:42 +0100 | ubert | (~Thunderbi@p200300ecdf117c724c57cc19647faaba.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-27 00:20:42 +0100 | ubert1 | ubert |
| 2024-12-27 00:28:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-12-27 00:30:35 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-27 00:32:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 00:33:09 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-27 00:34:41 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-27 00:37:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 00:39:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-12-27 00:45:00 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-27 00:45:16 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-27 00:46:19 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::c0) |
| 2024-12-27 00:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 00:54:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 00:57:44 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-27 01:03:43 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-12-27 01:04:06 +0100 | euleritian | (~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de) |
| 2024-12-27 01:08:04 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 01:08:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 01:10:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-27 01:10:42 +0100 | ljdarj1 | ljdarj |
| 2024-12-27 01:12:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 01:19:19 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 01:24:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 01:29:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 01:33:40 +0100 | <jackdk> | I want to get a sense of how many `infixr 0` functions/operators there are out there, to provide input into https://github.com/tweag/ormolu/issues/1151 . My first instinct is to go to hoogle but https://wiki.haskell.org/Hoogle does not seem to allow search by fixity. Is there a good data source to get what I'm looking for? |
| 2024-12-27 01:42:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 01:43:50 +0100 | euleritian | (~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 01:44:05 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 01:44:45 +0100 | sprotte24 | (~sprotte24@p200300d16f43410098822bbde3019798.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-27 01:46:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 01:47:32 +0100 | xmas | (~Enviosity@2.219.56.221) |
| 2024-12-27 01:48:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-27 01:50:05 +0100 | haver | (~Enviosity@2.219.56.221) (Ping timeout: 244 seconds) |
| 2024-12-27 01:55:49 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f96d08b963c1d2d2589.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-12-27 01:59:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 02:00:29 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-27 02:03:29 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-27 02:06:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 02:07:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-27 02:13:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 02:14:03 +0100 | housemate | (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) housemate |
| 2024-12-27 02:14:54 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) fp |
| 2024-12-27 02:17:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 02:20:21 +0100 | <fp> | How do you set up a test suite to import the code from the package you're trying to test? |
| 2024-12-27 02:25:29 +0100 | xmas | (~Enviosity@2.219.56.221) (Read error: Connection reset by peer) |
| 2024-12-27 02:30:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 02:32:45 +0100 | housemate | (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-27 02:33:02 +0100 | housemate | (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) housemate |
| 2024-12-27 02:34:43 +0100 | ft | (~ft@i59F4F00D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-27 02:35:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 02:36:36 +0100 | ft | (~ft@i59F4F012.versanet.de) ft |
| 2024-12-27 02:43:56 +0100 | <Axman6> | fp: you can either include youy package's library as a depenency, or directly include its files as sources for the tests |
| 2024-12-27 02:44:54 +0100 | <geekosaur> | if you want to access private ("other-modules") modules, you may wish to move those to a provate internal library which the test suite can then depend on |
| 2024-12-27 02:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 02:49:14 +0100 | housemate | (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-27 02:50:41 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-12-27 02:50:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 03:04:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 03:05:39 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-27 03:08:44 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-27 03:09:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 03:11:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-12-27 03:11:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 03:21:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 03:25:11 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-27 03:26:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 03:26:54 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-27 03:30:36 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) acidjnk |
| 2024-12-27 03:37:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 03:40:14 +0100 | adamCS | (~adamCS@68.161.167.240) adamCS |
| 2024-12-27 03:43:19 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-12-27 03:43:39 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-12-27 03:44:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 03:55:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 03:59:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-27 04:05:27 +0100 | Ekho- | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2024-12-27 04:08:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-12-27 04:11:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 04:12:35 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 04:16:50 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2024-12-27 04:18:12 +0100 | dragestil | (~znc@user/dragestil) dragestil |
| 2024-12-27 04:18:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 04:26:43 +0100 | dragestil | (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-27 04:27:59 +0100 | dragestil | (~znc@user/dragestil) dragestil |
| 2024-12-27 04:29:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 04:34:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 04:37:34 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 265 seconds) |
| 2024-12-27 04:39:12 +0100 | td_ | (~td@i53870935.versanet.de) td_ |
| 2024-12-27 04:42:24 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-27 04:45:25 +0100 | dragestil | (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-27 04:45:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 04:47:42 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-12-27 04:48:09 +0100 | dragestil | (~znc@user/dragestil) dragestil |
| 2024-12-27 04:50:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 04:52:10 +0100 | dragestil | ycp |
| 2024-12-27 04:57:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-27 05:00:03 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-27 05:02:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 05:07:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-27 05:14:30 +0100 | billchenchina | (~billchenc@103.152.35.21) billchenchina |
| 2024-12-27 05:14:37 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-12-27 05:15:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 05:16:30 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-12-27 05:16:47 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-12-27 05:16:52 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-12-27 05:17:07 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-12-27 05:17:16 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-12-27 05:17:30 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-12-27 05:18:10 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-12-27 05:18:39 +0100 | aerphanas | (~aerphanas@user/aerphanas) aerphanas |
| 2024-12-27 05:21:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 05:22:50 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-12-27 05:28:09 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-27 05:32:18 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Quit: leaving) |
| 2024-12-27 05:34:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 05:36:38 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-27 05:39:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 05:41:40 +0100 | aerphanas | (~aerphanas@user/aerphanas) aerphanas |
| 2024-12-27 05:50:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 05:55:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 05:57:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-27 06:00:13 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Ping timeout: 265 seconds) |
| 2024-12-27 06:00:36 +0100 | alp | (~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd) |
| 2024-12-27 06:02:11 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-27 06:02:37 +0100 | aerphanas | (~aerphanas@user/aerphanas) aerphanas |
| 2024-12-27 06:06:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 06:11:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 06:14:09 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-27 06:14:09 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-27 06:14:29 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 06:16:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 06:18:45 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::c0) (Ping timeout: 248 seconds) |
| 2024-12-27 06:18:56 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2024-12-27 06:21:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 06:21:25 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-27 06:29:15 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-27 06:29:47 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 06:30:12 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 06:30:24 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 06:32:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 06:37:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 06:42:59 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-27 06:43:54 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-27 06:44:57 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-27 06:49:52 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-12-27 06:50:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 06:50:40 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 06:50:50 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-27 06:54:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 06:59:57 +0100 | dobblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-12-27 06:59:57 +0100 | dobblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-12-27 06:59:57 +0100 | dobblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2024-12-27 07:00:11 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2024-12-27 07:00:26 +0100 | dobblego | dibblego |
| 2024-12-27 07:01:32 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-27 07:07:15 +0100 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2024-12-27 07:08:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 07:12:49 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-27 07:15:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 07:15:20 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-27 07:17:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 07:20:38 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2024-12-27 07:21:03 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2024-12-27 07:21:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 07:27:12 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-12-27 07:27:22 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 07:28:07 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 07:28:35 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 07:29:52 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 07:30:04 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 07:32:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 07:32:25 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-27 07:32:32 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 07:33:12 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 07:33:25 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 07:36:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-27 07:41:45 +0100 | housemate | (~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) housemate |
| 2024-12-27 07:49:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 07:54:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 07:58:55 +0100 | housemate | (~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-27 08:05:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 08:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-27 08:16:06 +0100 | madhavanmiui | (~madhavanm@152.58.205.237) |
| 2024-12-27 08:16:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-27 08:16:41 +0100 | madhavanmiui | (~madhavanm@152.58.205.237) (Client Quit) |
| 2024-12-27 08:17:35 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-12-27 08:18:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 08:22:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-27 08:27:50 +0100 | CiaoSen | (~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-27 08:30:14 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-12-27 08:35:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 08:40:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 08:42:45 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-12-27 08:43:05 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 08:53:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 08:58:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 08:58:19 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 08:58:31 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-27 09:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-27 09:01:52 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-27 09:10:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 09:15:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 09:19:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 09:23:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 09:23:34 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-27 09:24:07 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 09:29:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-27 09:29:42 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 09:35:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 09:40:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 09:52:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 09:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 10:10:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-27 10:10:06 +0100 | CiaoSen | (~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-12-27 10:10:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 10:15:07 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-12-27 10:15:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 10:16:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 10:17:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 10:17:23 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 10:20:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 10:24:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 10:28:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-27 10:36:30 +0100 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2024-12-27 10:38:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 10:39:46 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-27 10:40:27 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 2024-12-27 10:42:10 +0100 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-12-27 10:42:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 10:43:43 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f3024b97f8e6af9334e.dip0.t-ipconnect.de) acidjnk |
| 2024-12-27 10:49:26 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-27 10:51:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 10:58:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 11:03:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-27 11:09:07 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-27 11:12:31 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-12-27 11:13:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 11:15:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 11:19:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-27 11:23:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-12-27 11:24:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 11:24:26 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-27 11:25:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 11:27:42 +0100 | <hellwolf> | is there any other use case of "other-modules", other than following the encapsulation doctrine? |
| 2024-12-27 11:29:07 +0100 | ephilalethes | (~noumenon@202.186.200.33) noumenon |
| 2024-12-27 11:33:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-27 11:35:00 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 276 seconds) |
| 2024-12-27 11:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 11:38:37 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-27 11:43:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 11:44:38 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-12-27 11:47:45 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-12-27 11:50:00 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-27 11:54:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 11:59:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 12:01:52 +0100 | kuribas | (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) kuribas |
| 2024-12-27 12:02:02 +0100 | Milan | (~Milan@88.212.26.18) |
| 2024-12-27 12:02:28 +0100 | Milan | (~Milan@88.212.26.18) (Remote host closed the connection) |
| 2024-12-27 12:04:45 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-12-27 12:05:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 12:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 12:14:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 12:14:18 +0100 | AlexNoo_ | (~AlexNoo@178.34.162.242) |
| 2024-12-27 12:14:27 +0100 | kuribas | (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-12-27 12:15:55 +0100 | AlexZenon | (~alzenon@5.139.233.146) (Ping timeout: 260 seconds) |
| 2024-12-27 12:17:43 +0100 | AlexNoo | (~AlexNoo@5.139.233.146) (Ping timeout: 252 seconds) |
| 2024-12-27 12:17:44 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-27 12:18:40 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-27 12:19:48 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-27 12:20:21 +0100 | AlexZenon | (~alzenon@178.34.162.242) |
| 2024-12-27 12:22:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 12:22:29 +0100 | Milan | (~Milan@88.212.26.18) |
| 2024-12-27 12:26:45 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-27 12:26:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 12:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 12:27:18 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-27 12:27:51 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-12-27 12:30:03 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-27 12:31:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 12:33:09 +0100 | rvalue- | rvalue |
| 2024-12-27 12:36:25 +0100 | kuribas | (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) kuribas |
| 2024-12-27 12:39:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 12:43:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-27 12:43:24 +0100 | encyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Quit: WeeChat 4.4.4) |
| 2024-12-27 12:44:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 12:46:11 +0100 | Milan | (~Milan@88.212.26.18) (Ping timeout: 252 seconds) |
| 2024-12-27 12:51:43 +0100 | forell | (~forell@user/forell) forell |
| 2024-12-27 12:52:09 +0100 | sprotte24 | (~sprotte24@p200300d16f4a7c0031dcae6904c3663c.dip0.t-ipconnect.de) |
| 2024-12-27 12:54:35 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-27 12:55:02 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2024-12-27 12:56:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 12:59:48 +0100 | AlexNoo_ | (~AlexNoo@178.34.162.34) |
| 2024-12-27 13:01:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 13:02:41 +0100 | AlexZenon | (~alzenon@178.34.162.242) (Ping timeout: 252 seconds) |
| 2024-12-27 13:03:15 +0100 | aerphanas | (~aerphanas@user/aerphanas) aerphanas |
| 2024-12-27 13:04:03 +0100 | AlexNoo | (~AlexNoo@178.34.162.242) (Ping timeout: 276 seconds) |
| 2024-12-27 13:04:05 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-27 13:11:01 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-27 13:11:56 +0100 | AlexZenon | (~alzenon@178.34.162.34) |
| 2024-12-27 13:12:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 13:16:13 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 13:19:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 13:19:07 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 13:20:56 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2024-12-27 13:21:18 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2024-12-27 13:22:28 +0100 | statusbot8 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-12-27 13:22:28 +0100 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2024-12-27 13:22:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-12-27 13:22:29 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 2024-12-27 13:22:36 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 13:22:43 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-27 13:23:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 13:27:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 13:28:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-27 13:30:49 +0100 | ephilalethes | (~noumenon@202.186.200.33) (Quit: Leaving) |
| 2024-12-27 13:33:33 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 13:34:32 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-27 13:36:28 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 13:38:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 13:43:16 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2024-12-27 13:43:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 13:47:45 +0100 | alp | (~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd) (Ping timeout: 248 seconds) |
| 2024-12-27 13:49:37 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 13:50:05 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 13:53:18 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-27 13:54:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 13:59:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 14:01:20 +0100 | ubert | (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-12-27 14:01:40 +0100 | ubert | (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) ubert |
| 2024-12-27 14:04:41 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-27 14:12:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:16:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 14:24:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:28:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 14:31:16 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-27 14:33:53 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:8cfd:72ac:b95:b12e) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-27 14:34:11 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2024-12-27 14:40:04 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-27 14:41:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 14:45:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 14:46:14 +0100 | alp | (~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da) |
| 2024-12-27 14:47:18 +0100 | hueso_ | (~root@user/hueso) (Quit: hueso_) |
| 2024-12-27 14:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:49:07 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) (Read error: Connection reset by peer) |
| 2024-12-27 14:49:37 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) iamsleepy |
| 2024-12-27 14:53:38 +0100 | Digit | (~user@user/digit) (Quit: i'm getting off this merry go round! (plexiglass. i'll brb).) |
| 2024-12-27 14:55:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 14:57:05 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 14:59:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:01:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 15:02:01 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 15:02:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-27 15:06:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 15:09:24 +0100 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-12-27 15:09:47 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2024-12-27 15:15:13 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2024-12-27 15:16:40 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-27 15:17:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-27 15:24:29 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-27 15:25:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:25:20 +0100 | visilii | (~visilii@213.24.125.237) |
| 2024-12-27 15:28:14 +0100 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-12-27 15:29:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 15:32:25 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | error: |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127... |
| 2024-12-27 15:32:27 +0100 | <lambdabot> | prevents the constraint ‘(Show |
| 2024-12-27 15:32:41 +0100 | <hellwolf> | > traverse Just [1..4] |
| 2024-12-27 15:32:42 +0100 | <lambdabot> | Just [1,2,3,4] |
| 2024-12-27 15:36:29 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: IO [Maybe Int] |
| 2024-12-27 15:36:36 +0100 | <lambdabot> | <IO [Maybe Int]> |
| 2024-12-27 15:37:02 +0100 | <hellwolf> | > traverse (pure . Just) [1..4] :: Identity [Maybe Int] |
| 2024-12-27 15:37:04 +0100 | <lambdabot> | Identity [Just 1,Just 2,Just 3,Just 4] |
| 2024-12-27 15:37:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 15:37:30 +0100 | <hellwolf> | sorry, I get it. But I won't be able to explain this to beginners. |
| 2024-12-27 15:37:53 +0100 | <ncf> | traverse (f . g) = traverse f . fmap g |
| 2024-12-27 15:37:56 +0100 | <ncf> | traverse pure = pure |
| 2024-12-27 15:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 15:45:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 15:46:27 +0100 | <hellwolf> | I am feeling incredibly dumb atm |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | cg_create_vars = sequence $ fmap (const cg_next_var) [0 .. abi_type_count_vars @a] |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- cg_create_vars = reverse <$> go (abi_type_count_vars @a) [] |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- where go 0 vars = pure vars |
| 2024-12-27 15:46:57 +0100 | <hellwolf> | -- go n vars = cg_next_var >>= \var -> go (n - 1) (var:vars) |
| 2024-12-27 15:47:06 +0100 | <hellwolf> | I can't seem to make it work |
| 2024-12-27 15:47:27 +0100 | <hellwolf> | (commented-out stupid code worked) |
| 2024-12-27 15:47:38 +0100 | <hellwolf> | mapM ,or, sequence $ map, not |
| 2024-12-27 15:50:07 +0100 | <ncf> | replicateM (abi_type_count_vars @a) cg_next_var |
| 2024-12-27 15:51:28 +0100 | <hellwolf> | that makes sense. but what was wrong with other code, I still want to understand. |
| 2024-12-27 15:54:13 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-12-27 15:57:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:02:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 16:03:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-27 16:07:05 +0100 | <hellwolf> | I think I get it. |
| 2024-12-27 16:07:05 +0100 | <hellwolf> | But I wonder if anyone make similar assumption on IO's side effect behavior when using mapM/sequence would face a similar awakening moment when the implementation of IO requiring foldM interpretation instead. |
| 2024-12-27 16:07:10 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2024-12-27 16:07:30 +0100 | <hellwolf> | (I made an obvious mistake when dealing with the State monad) |
| 2024-12-27 16:08:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 16:15:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:19:08 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 16:19:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 16:25:08 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-12-27 16:26:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:26:38 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-12-27 16:26:47 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2024-12-27 16:30:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 16:35:25 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-27 16:39:17 +0100 | alfiee | (alfiee@user/alfiee) (Quit: WeeChat 4.5.0) |
| 2024-12-27 16:41:07 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2024-12-27 16:41:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 16:42:01 +0100 | alfiee | (alfiee@user/alfiee) alfiee |
| 2024-12-27 16:46:52 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 16:48:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 16:50:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 16:53:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-27 16:55:08 +0100 | l_k | (~student@85.172.110.180) (Ping timeout: 265 seconds) |
| 2024-12-27 17:00:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:00:46 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-27 17:01:31 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-27 17:04:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 17:06:29 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 17:08:24 +0100 | haver | (~Enviosity@2.219.56.221) (Quit: Connection error?!) |
| 2024-12-27 17:09:15 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 17:10:04 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 17:10:39 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-27 17:12:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 17:15:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-27 17:15:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:19:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 17:19:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 17:20:13 +0100 | l_k | (~student@213.24.127.88) |
| 2024-12-27 17:25:39 +0100 | <kuribas> | hellwolf: what's the error? |
| 2024-12-27 17:26:51 +0100 | <haskellbridge> | <hellwolf> no errors. compiled, but with unintended behaviour |
| 2024-12-27 17:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:27:28 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-27 17:27:33 +0100 | <haskellbridge> | <hellwolf> not very haskellisk experience |
| 2024-12-27 17:31:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-27 17:34:16 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-27 17:34:20 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2024-12-27 17:34:28 +0100 | <haskellbridge> | <hellwolf> the gist is currently you can do silly things with State monad with mapM, sequence, etc. |
| 2024-12-27 17:35:16 +0100 | <kuribas> | Why silly? |
| 2024-12-27 17:35:19 +0100 | <geekosaur> | despite the meme, Haskell has never really been "if it compiles, it works", and I think that state of affairs is impossible. No programming language can ensure that a program acts according to an unstated intent |
| 2024-12-27 17:36:00 +0100 | <kuribas> | Still, haskell is my favourite for expressing intent. |
| 2024-12-27 17:36:42 +0100 | <kuribas> | I don't have this experience with Python, even if I write the code and use types etc... |
| 2024-12-27 17:36:59 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-12-27 17:38:36 +0100 | <haskellbridge> | <hellwolf> I agree. It only makes me think how it is possible to make such a mistake unrepresentable, without bringing all the bazookas in. |
| 2024-12-27 17:39:18 +0100 | <kuribas> | I find "unintended behaviour" is often a result of too much Polymorphism. |
| 2024-12-27 17:39:33 +0100 | <geekosaur> | Agda or Idris2 would get you closer, but still not there |
| 2024-12-27 17:39:50 +0100 | <kuribas> | For example, the newtype-less reader Monad should not exist IMO. |
| 2024-12-27 17:40:04 +0100 | <kuribas> | (-> r a) |
| 2024-12-27 17:40:23 +0100 | <kuribas> | haskellbridge: what was the mistake? |
| 2024-12-27 17:42:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:46:24 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-12-27 17:46:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-27 17:47:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 17:47:38 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-27 17:48:00 +0100 | <haskellbridge> | <hellwolf> sequence . mapM state monads is wrong. |
| 2024-12-27 17:48:00 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/qbFUoFrAFuCPVSQFnYhWTBqZ/WEGsG3OErzA (3 lines) |
| 2024-12-27 17:51:01 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 252 seconds) |
| 2024-12-27 17:55:05 +0100 | ChanServ | +o litharge |
| 2024-12-27 17:55:06 +0100 | litharge | -bo *!*@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net litharge |
| 2024-12-27 17:57:25 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-27 17:58:02 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-27 17:58:14 +0100 | <kuribas> | What's *wrong* about sequence . traverse ? |
| 2024-12-27 17:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 17:59:43 +0100 | <kuribas> | :t sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 2024-12-27 17:59:53 +0100 | <lambdabot> | (Traversable t, MonadState a t, Num a) => [t a] |
| 2024-12-27 18:00:07 +0100 | <kuribas> | > runState $ sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | error: |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | • Couldn't match type ‘[]’ with ‘StateT s Identity’ |
| 2024-12-27 18:00:09 +0100 | <lambdabot> | Expected type: State s (t a) |
| 2024-12-27 18:03:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-27 18:07:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-27 18:08:08 +0100 | <kuribas> | oh, you want sequence . map... |
| 2024-12-27 18:08:17 +0100 | <kuribas> | well, replicateM better. |
| 2024-12-27 18:08:51 +0100 | <kuribas> | I bet if you get obscure behaviour, it's because of the (->) r monad. |
| 2024-12-27 18:08:58 +0100 | <kuribas> | Which should be abolished IMO. |
| 2024-12-27 18:09:18 +0100 | <kuribas> | There is no need for it, if you want it, better use Reader. |
| 2024-12-27 18:10:04 +0100 | <haskellbridge> | <hellwolf> no, it's simply not the way you should use State Monad. I don't find the type synonym of reader monad problematic, so far. |
| 2024-12-27 18:11:16 +0100 | <kuribas> | Guess I am missing the relevant backlog? |
| 2024-12-27 18:11:19 +0100 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2024-12-27 18:11:34 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2024-12-27 18:14:21 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:14:39 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:15:54 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:16:12 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-27 18:17:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:17:42 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:18:05 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:20:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:22:03 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:23:18 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:23:59 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2024-12-27 18:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 18:29:21 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:32:42 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-27 18:32:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-27 18:33:15 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:34:10 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:34:39 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:35:08 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:35:31 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 18:37:36 +0100 | l_k | (~student@213.24.127.88) (Ping timeout: 265 seconds) |
| 2024-12-27 18:39:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 18:39:34 +0100 | l_k | (~student@213.24.127.88) |
| 2024-12-27 18:39:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2024-12-27 18:40:03 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-27 18:41:08 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-27 18:41:23 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-27 18:42:24 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-12-27 18:43:40 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-27 18:43:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:45:20 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-27 18:46:00 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-12-27 18:47:37 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 18:48:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 18:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 18:58:24 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-27 19:00:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 19:12:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 19:14:56 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-27 19:16:21 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2024-12-27 19:17:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-27 19:17:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 19:19:20 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-12-27 19:22:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-12-27 19:23:52 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-27 19:24:48 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-27 19:30:23 +0100 | ephilalethes | (~noumenon@202.186.200.33) noumenon |
| 2024-12-27 19:30:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 19:35:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-27 19:35:19 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-27 19:39:47 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:12b1:e4e1:19de:88e5) |
| 2024-12-27 19:39:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-27 19:40:57 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2024-12-27 19:42:10 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:664d:357b:c7bb:f817) (Ping timeout: 260 seconds) |
| 2024-12-27 19:46:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 19:46:43 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-27 19:47:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 19:49:29 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-27 19:49:55 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-27 19:50:07 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-27 19:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 19:54:44 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-27 19:57:47 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 19:59:30 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 19:59:45 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 20:00:23 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 20:01:13 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 20:01:19 +0100 | urdh | (~urdh@user/urdh) urdh |
| 2024-12-27 20:03:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 20:07:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 20:08:14 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-12-27 20:10:24 +0100 | hueso | (~root@user/hueso) (Ping timeout: 245 seconds) |
| 2024-12-27 20:10:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 20:13:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 20:14:13 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-27 20:19:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 20:21:17 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-12-27 20:22:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-27 20:24:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 20:25:29 +0100 | <sprout> | join ##politics |
| 2024-12-27 20:25:32 +0100 | <sprout> | oops |
| 2024-12-27 20:25:59 +0100 | <int-e> | . o O ( better you than me ) |
| 2024-12-27 20:26:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 20:27:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 20:28:26 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-27 20:29:44 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-12-27 20:35:48 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
| 2024-12-27 20:37:44 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 252 seconds) |
| 2024-12-27 20:39:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 20:39:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 20:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 20:45:56 +0100 | <kuribas> | is politics a monad? |
| 2024-12-27 20:47:48 +0100 | <enikar> | I don't know, but politicians have usually very bad idea for nomads :/ |
| 2024-12-27 20:52:44 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 20:54:09 +0100 | <Hecate> | damn right |
| 2024-12-27 20:54:15 +0100 | <Hecate> | :/ |
| 2024-12-27 20:55:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-27 20:56:44 +0100 | Digit | (~user@17.47.7.51.dyn.plus.net) |
| 2024-12-27 20:57:36 +0100 | <haskellbridge> | <hellwolf> The mind of monad that is better off with QualifiedDo |
| 2024-12-27 20:57:43 +0100 | <haskellbridge> | <hellwolf> *kind |
| 2024-12-27 20:57:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 20:58:21 +0100 | Digit | (~user@17.47.7.51.dyn.plus.net) (Remote host closed the connection) |
| 2024-12-27 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-27 21:00:28 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-27 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-27 21:02:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 21:10:23 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-12-27 21:14:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-27 21:15:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 21:16:08 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds) |
| 2024-12-27 21:17:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 21:18:14 +0100 | Square | (~Square@user/square) Square |
| 2024-12-27 21:19:51 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 21:19:55 +0100 | l_k | (~student@213.24.127.88) (Ping timeout: 264 seconds) |
| 2024-12-27 21:20:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 21:23:06 +0100 | l_k | (~student@81.177.126.225) |
| 2024-12-27 21:23:33 +0100 | kuribas | (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-12-27 21:26:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 21:33:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 21:37:23 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-27 21:37:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 21:37:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-27 21:37:53 +0100 | ljdarj1 | ljdarj |
| 2024-12-27 21:41:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-27 21:41:27 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-27 21:44:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 21:48:53 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2024-12-27 21:49:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 21:54:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 21:56:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 21:59:23 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2024-12-27 22:01:27 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-27 22:01:52 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-27 22:03:38 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-27 22:06:24 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-27 22:06:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 22:08:26 +0100 | Guest74 | (~Guest74@2001:9e8:4187:3300:354c:c963:1ecb:412c) |
| 2024-12-27 22:08:56 +0100 | Guest74 | (~Guest74@2001:9e8:4187:3300:354c:c963:1ecb:412c) () |
| 2024-12-27 22:13:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-27 22:14:35 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 22:14:50 +0100 | l_k | (~student@81.177.126.225) (Read error: Connection reset by peer) |
| 2024-12-27 22:15:16 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 2024-12-27 22:15:30 +0100 | l_k | (~student@85.172.76.246) |
| 2024-12-27 22:16:25 +0100 | euleritian | (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-27 22:24:00 +0100 | euleritian | (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 2024-12-27 22:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 22:27:49 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-27 22:32:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-27 22:44:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 22:44:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-27 22:46:47 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-12-27 22:49:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-27 23:00:23 +0100 | <fp> | How does one make a tagged union and then use it in another module? For instance, I have =data MyUnion = Thing1 Text | Thing2 Text=. In the module I defined it, I can create an instace of this with =Thing1 "hello"=. However, if I do the same in my test suite, then it complains that =Thing1= isn't defined. |
| 2024-12-27 23:02:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 23:02:32 +0100 | <geekosaur> | if you're using an explicit import list, import MyUnion(..) |
| 2024-12-27 23:02:38 +0100 | <geekosaur> | to include the constructors |
| 2024-12-27 23:03:27 +0100 | <fp> | Ah ok |
| 2024-12-27 23:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-27 23:08:29 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-27 23:09:12 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-12-27 23:12:10 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-27 23:13:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-27 23:13:58 +0100 | Zenen | (~Zenen@node-1w7jr9uk45pdylasbk2itgwn9.ipv6.telus.net) |
| 2024-12-27 23:19:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 23:23:40 +0100 | d0xfs | (~d0xfs@bras-base-dprvon4101w-grc-06-69-159-184-113.dsl.bell.ca) |
| 2024-12-27 23:24:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-27 23:24:42 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-27 23:25:07 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-27 23:25:33 +0100 | <Zenen> | howdy folks! I've got a small confusion going on regarding a Haskell project I'm working on. I have a module named Cln.Types which defines a number of records. When I try to import one of those types `import Cln.Types.Channel`, the compiler tells me that it cannot find the module. |
| 2024-12-27 23:26:41 +0100 | <monochrom> | import Cln.Types(Channel) |
| 2024-12-27 23:27:11 +0100 | <Zenen> | I need to import the record so that I can gain unambiguous access to one of its fields. Channel and Channel2 both have 'amount' fields, and I can effectively `import Cln.Types(Channel(amount))` |
| 2024-12-27 23:28:36 +0100 | d0xfs | (~d0xfs@bras-base-dprvon4101w-grc-06-69-159-184-113.dsl.bell.ca) () |
| 2024-12-27 23:28:45 +0100 | <Zenen> | but if I `import Cln.Types(Channel(amount), Channel2(amount))` then I don't know how to disambiguate the two fields. Channel.amount throws an error saying that there's no module named 'Channel' which has been imported |
| 2024-12-27 23:29:09 +0100 | <monochrom> | Right, there is no such thing as Channel.amount. |
| 2024-12-27 23:29:34 +0100 | <monochrom> | Haskell doesn't have records, despite offering to fake the syntax. |
| 2024-12-27 23:29:48 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 244 seconds) |
| 2024-12-27 23:31:24 +0100 | <Zenen> | But I can import Channel(amount) and then it works... is there perhaps an elegant way to do this with qualified imports giving different names to the fields? |
| 2024-12-27 23:31:41 +0100 | <monochrom> | Then that's just because the other "amount" is not imported. |
| 2024-12-27 23:31:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-27 23:32:16 +0100 | <Zenen> | right, and "amount" is a function which returns a specific value from the given record type |
| 2024-12-27 23:32:28 +0100 | <monochrom> | Qualified import does not make a difference until Channel2 comes from a different module. |
| 2024-12-27 23:33:11 +0100 | <monochrom> | The most elegant and simplest is to have distinct field names in the first place. |
| 2024-12-27 23:33:41 +0100 | <Zenen> | Yep, I inherited this codebase and I'm about 2 errors from getting it to compile |
| 2024-12-27 23:34:38 +0100 | <Zenen> | creating distinct field names might be a bit of a long way around |
| 2024-12-27 23:34:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 23:35:25 +0100 | <monochrom> | Presumably this code base compiled fine once upon a time. |
| 2024-12-27 23:35:36 +0100 | <monochrom> | Therefore presumably there was no name clash once upon a time. |
| 2024-12-27 23:35:44 +0100 | <monochrom> | But now it does. What added the name clash? |
| 2024-12-27 23:37:10 +0100 | <Zenen> | This is a good question, one I couldn't get a good answer for the last time. The code was originally disambiguated with sections like this: `(amount :: Channel -> Amount)` |
| 2024-12-27 23:38:18 +0100 | <Zenen> | all of Cln.Types would be imported, with multiple `amount` functions and this casting is what specified it. I imagine there was a change in stack over the past 2 years, but I don't have the vocabulary to figure out what it was |
| 2024-12-27 23:39:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-27 23:40:09 +0100 | <Zenen> | I thought it would still be best to import everything specifically so that it was clear where all the functions were coming from (better for code readability) and decided this was a reasonable solution |
| 2024-12-27 23:43:29 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-27 23:44:22 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-27 23:47:16 +0100 | <Zenen> | Alright, problem solved by changing the field names. |
| 2024-12-27 23:48:25 +0100 | <Zenen> | Only one compilation error to go! `Illegal term-level use of the type constructor or class ‘Destination'` |
| 2024-12-27 23:49:33 +0100 | <geekosaur> | I'd guess it's the same as earlier, the type constructor and value constructor have the same name but you imported only the type constructor (need Destination(..) instead of just Destination in the import list) |
| 2024-12-27 23:50:08 +0100 | <Zenen> | wizard!! |
| 2024-12-27 23:50:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-27 23:51:19 +0100 | <geekosaur> | the weird error is because dependent types are something of a work in progress, where the type constructor *would* be legal to use there (but produce even weirder errors, most probably) |
| 2024-12-27 23:51:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-27 23:52:49 +0100 | <Zenen> | Okay, I have solved this problem but I don't quite understand how. What is a type constructor vs a value constructor? |
| 2024-12-27 23:53:26 +0100 | <geekosaur> | data Maybe a = Nothing | Just a |
| 2024-12-27 23:53:46 +0100 | <geekosaur> | Maybe is a type constructor, Nothing and Just are value / data / term level constructors |