Newest at the top
| 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) |
| 2024-12-28 15:14:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 15:13:42 +0100 | <Leary> | You probably also need to remove any optimisation settings from cabal.project(.local); I suspect that overrides the .cabal file. |
| 2024-12-28 15:12:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-28 15:09:15 +0100 | <SrPx> | ok thanks |
| 2024-12-28 15:08:38 +0100 | <Leary> | SrPx: Your main `executable` stanza should have `ghc-options: -O2`, then separately you should have a `test-suite` stanza with `ghc-options: -O0`, which can presumably point to the same `Main.hs`. You then use `cabal test` instead of `cabal run`. |
| 2024-12-28 15:07:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 15:07:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-28 15:07:03 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) () |
| 2024-12-28 15:03:50 +0100 | <int-e> | I suspect you can't do that because it's `cabal build` further down the line either way. You can pass --(dis|en)able-optimization as a command line flag though. |
| 2024-12-28 15:01:45 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) (Ping timeout: 252 seconds) |
| 2024-12-28 15:00:25 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-28 14:59:00 +0100 | <SrPx> | how exactly can I have a cabal project that uses -O0 on cabal run and -O2 on cabal install? documentation is bad |
| 2024-12-28 14:57:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |