Newest at the top
| 2024-12-28 17:09:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 17:08:52 +0100 | <int-e> | hellwolf: hack hack hack: https://paste.tomsmeding.com/P0Xif3Ga |
| 2024-12-28 17:07:28 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 17:06:15 +0100 | <geekosaur> | like I said, wart |
| 2024-12-28 17:06:07 +0100 | <geekosaur> | nor a way IIRC to say "this is actually used"; ghc's way to say "not used" is prefix underscore, but that messes with other ways to use the selector |
| 2024-12-28 17:05:33 +0100 | <geekosaur> | sadly there's no way to disable it only for some things |
| 2024-12-28 17:04:52 +0100 | <geekosaur> | I don't like OverloadedRecordDot much but it is at least a partial solution to records |
| 2024-12-28 17:04:46 +0100 | <__monty__> | Seems like a case of an overeager warning. There's probably a way to disable a warning with a pragma? |
| 2024-12-28 17:04:39 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 17:04:27 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 17:04:25 +0100 | aerphanas | (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 2024-12-28 17:04:24 +0100 | <geekosaur> | it is best to treat traditional record syntax as a wart, and either work around it or switch to a newer one (labels, OverloadedRecordDot, lenses) |
| 2024-12-28 17:04:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-28 16:58:21 +0100 | <hellwolf> | then there is a warning of that the function is not used. |
| 2024-12-28 16:57:08 +0100 | <__monty__> | But it doesn't actually make the field inaccessible so I'm not sure it's a good idea. |
| 2024-12-28 16:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-28 16:56:32 +0100 | <__monty__> | You can selectively export field accessors from a module IIRC. |
| 2024-12-28 16:55:21 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 16:54:18 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 16:53:03 +0100 | <hellwolf> | hmm, so, record syntax wise, you can not define a field that does not have a function, while others have? |
| 2024-12-28 16:52:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 16:46:12 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-28 16:45:48 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 16:39:55 +0100 | alp | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2024-12-28 16:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-28 16:34:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 16:32:28 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 16:23:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-28 16:16:18 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 16:15:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 16:10:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-28 16:05:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 15:57:04 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-28 15:52:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-28 15:50:40 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 15:48:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 15:42:58 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-12-28 15:41:39 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-12-28 15:39:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-28 15:38:37 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) |
| 2024-12-28 15:35:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-28 15:33:24 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f42bc4ebb891d7561a4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-28 15:31:38 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 15:31:04 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-12-28 15:30:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 15:28:23 +0100 | sprotte24 | (~sprotte24@p200300d16f0bfe00711e65c2b30202f1.dip0.t-ipconnect.de) |
| 2024-12-28 15:26:17 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) |
| 2024-12-28 15:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-28 15:18:45 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-28 15:15:50 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |