Newest at the top
| 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) |
| 2024-12-28 14:56:00 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-28 14:55:23 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-28 14:52:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 14:47:07 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) |
| 2024-12-28 14:46:37 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 14:39:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-28 14:35:53 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-12-28 14:35:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-28 14:32:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 14:30:55 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-28 14:30:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-28 14:29:41 +0100 | <int-e> | The only thing the ghc distro package from Arch is useful for is to potentially bootstrap your own ghc that doesn't rug-pull your shared library with every update. But ghcup will be less hassle. |
| 2024-12-28 14:27:17 +0100 | <Leary> | plitter: "I'm on arch linux" <-- You answered your own question. |
| 2024-12-28 14:26:37 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) |
| 2024-12-28 14:21:51 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 14:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-28 14:15:37 +0100 | euleritian | (~euleritia@dynamic-176-007-157-163.176.7.pool.telefonica.de) |
| 2024-12-28 14:14:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-28 14:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 14:11:32 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |