Logs: liberachat/#haskell
| 2025-11-06 07:10:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 07:17:36 | × | Googulator32 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:17:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 07:17:50 | → | Googulator32 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:22:06 | → | deployonfriday joins (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) |
| 2025-11-06 07:22:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:29:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-06 07:33:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 07:34:24 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-06 07:37:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 07:39:30 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 2025-11-06 07:48:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 07:52:25 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-06 07:53:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-06 07:58:02 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 07:58:31 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-06 08:02:23 | × | democritus quits (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) (Quit: Leaving) |
| 2025-11-06 08:03:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 08:06:21 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-06 08:06:23 | × | annamalai quits (~annamalai@157.32.112.75) (Ping timeout: 244 seconds) |
| 2025-11-06 08:07:51 | → | annamalai joins (~annamalai@157.32.112.75) |
| 2025-11-06 08:09:45 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:11:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:11:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-06 08:12:29 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 08:12:29 | prdak1 | is now known as prdak |
| 2025-11-06 08:15:39 | → | Googulator77 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:15:47 | × | Googulator32 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:19:07 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 08:19:32 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:20:48 | × | Googulator77 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:21:23 | → | Googulator77 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:23:22 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 08:23:40 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:25:40 | → | Googulator59 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:25:48 | × | Googulator77 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 08:27:23 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 08:27:50 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:27:50 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 08:28:10 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:29:31 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:31:16 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-06 08:32:38 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 08:32:38 | prdak1 | is now known as prdak |
| 2025-11-06 08:36:53 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 08:37:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:45:39 | → | Googulator8 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 08:45:42 | × | Googulator59 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:47:44 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-11-06 08:49:10 | × | aforemny quits (~aforemny@i59F4C61F.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-06 08:50:48 | → | Googulator16 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 08:50:48 | × | Googulator8 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:54:26 | → | acidjnk joins (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) |
| 2025-11-06 08:55:34 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 08:58:31 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-06 08:59:04 | → | akegalj joins (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 2025-11-06 09:02:07 | <akegalj> | Lets say that my cabal file defines library L and executable E. E has dependency on L. if L has ghc-options -O0 and E has ghc-options -O2 , will compiled binary be compiled with optimizations or will just modules defined with E be compiled with optimization and L will be compiled without optimization and they will be linked that way (partially optimized)? |
| 2025-11-06 09:02:09 | → | fp1 joins (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) |
| 2025-11-06 09:02:43 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-06 09:02:43 | fp1 | is now known as fp |
| 2025-11-06 09:06:33 | <merijn> | akegalj: ghc-options are per component |
| 2025-11-06 09:06:44 | <merijn> | akegalj: So L would be compiled with -O0 |
| 2025-11-06 09:07:14 | <akegalj> | merijn: thanks! |
| 2025-11-06 09:07:54 | <merijn> | Incidentally you should probably just do -O1 for both :p |
| 2025-11-06 09:08:18 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 09:08:25 | <merijn> | because O0 is kinda bad and O2 takes quite a bit more compilation time and often has no significant impact over -O2 (but, you know, benchmark to be sure) |
| 2025-11-06 09:08:41 | <akegalj> | merijn: thanks |
| 2025-11-06 09:14:35 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:14:53 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 09:19:57 | × | fp quits (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-06 09:24:03 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:24:21 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 09:26:21 | → | fp joins (~Thunderbi@2001:708:150:10::7e06) |
| 2025-11-06 09:26:48 | → | califax_ joins (~califax@user/califx) |
| 2025-11-06 09:27:58 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 09:28:03 | califax_ | is now known as califax |
| 2025-11-06 09:30:30 | AlexNoo_ | is now known as AlexNoo |
| 2025-11-06 09:30:36 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 256 seconds) |
| 2025-11-06 09:34:18 | → | fp joins (~Thunderbi@130.233.70.136) |
| 2025-11-06 09:35:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-06 09:37:02 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-06 09:37:05 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:38:29 | × | fp quits (~Thunderbi@130.233.70.136) (Remote host closed the connection) |
| 2025-11-06 09:40:33 | × | Googulator16 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:40:37 | → | Googulator36 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:42:29 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-06 09:47:36 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-06 09:47:57 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-06 09:48:05 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 09:48:19 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 09:48:30 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-06 09:48:42 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 09:50:44 | DetourNe- | is now known as DetourNetworkUK |
| 2025-11-06 10:02:01 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 10:03:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-06 10:03:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-06 10:05:55 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:06:15 | × | Googulator36 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:07:02 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-06 10:07:09 | → | dhil joins (~dhil@5.151.29.141) |
All times are in UTC.