| 2024-10-23 00:00:24 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 246 seconds) |
| 2024-10-23 00:00:43 +0200 | spew | (~spew@189.217.198.185) (Quit: spew) |
| 2024-10-23 00:00:45 +0200 | <geekosaur> | I know `bracket` and friends don't work, but I think the lower level catchers do |
| 2024-10-23 00:00:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:01:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-23 00:07:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 00:07:43 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:08:57 +0200 | alphabeta | (~kilolympu@2a04:ee41:4:32b3:7874:16a1:451a:baf) (Ping timeout: 265 seconds) |
| 2024-10-23 00:12:31 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
| 2024-10-23 00:12:35 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 255 seconds) |
| 2024-10-23 00:12:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-23 00:13:41 +0200 | madjestic | (~madjestic@103-135-99-95.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 00:17:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-23 00:18:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:19:32 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:22:26 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) |
| 2024-10-23 00:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-23 00:24:25 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 265 seconds) |
| 2024-10-23 00:27:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-23 00:29:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-23 00:30:42 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:33:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-23 00:34:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:36:06 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2024-10-23 00:36:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-10-23 00:36:28 +0200 | ljdarj1 | ljdarj |
| 2024-10-23 00:38:16 +0200 | Everything | (~Everythin@178-133-44-99.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-23 00:38:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 00:39:00 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 244 seconds) |
| 2024-10-23 00:39:09 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
| 2024-10-23 00:40:04 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) vglfr |
| 2024-10-23 00:47:03 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:48:37 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-10-23 00:48:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
| 2024-10-23 00:49:08 +0200 | fmira | (~user@user/fmira) fmira |
| 2024-10-23 00:49:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:50:29 +0200 | GalaxyNova | (~andrei@user/galaxynova) (Ping timeout: 248 seconds) |
| 2024-10-23 00:51:00 +0200 | araujo | (~araujo@45.131.194.239) araujo |
| 2024-10-23 00:54:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 00:55:49 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-10-23 00:56:09 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) (Ping timeout: 260 seconds) |
| 2024-10-23 00:56:21 +0200 | fmira | (~user@user/fmira) fmira |
| 2024-10-23 00:56:50 +0200 | araujo | (~araujo@45.131.194.239) (Ping timeout: 252 seconds) |
| 2024-10-23 00:56:53 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) vglfr |
| 2024-10-23 00:58:44 +0200 | araujo | (~araujo@216.73.163.122) |
| 2024-10-23 01:00:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-1155-6cdb-16b4-021a.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-23 01:01:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-23 01:03:50 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-23 01:04:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 01:08:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 01:09:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-23 01:09:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-10-23 01:20:03 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) (Quit: Leaving) |
| 2024-10-23 01:20:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 01:25:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 01:28:17 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) (Read error: Connection reset by peer) |
| 2024-10-23 01:35:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 01:35:54 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-23 01:42:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb008c3c228b89ffac09.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-23 01:42:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 01:50:39 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-23 01:53:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 01:58:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-23 01:58:57 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2024-10-23 01:59:09 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2024-10-23 01:59:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-10-23 02:05:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-23 02:07:03 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) TonyStone |
| 2024-10-23 02:07:32 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-10-23 02:09:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:13:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-23 02:19:22 +0200 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-10-23 02:21:44 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 255 seconds) |
| 2024-10-23 02:22:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-10-23 02:24:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:29:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 02:34:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:61f:49ca:1cad:ed6) (Ping timeout: 265 seconds) |
| 2024-10-23 02:35:43 +0200 | airscape | (~airscape@2.219.56.221) (Quit: Connection error?!) |
| 2024-10-23 02:37:37 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-10-23 02:37:50 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2024-10-23 02:40:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:45:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-23 02:47:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-23 02:55:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:57:43 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-10-23 03:00:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 03:00:22 +0200 | nitrix-or-treat | nitrix-or-treats |
| 2024-10-23 03:09:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-23 03:10:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:17:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-23 03:19:11 +0200 | Square | (~Square@user/square) Square |
| 2024-10-23 03:22:09 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2024-10-23 03:24:21 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-10-23 03:26:12 +0200 | yin | (~z@user/zero) (Ping timeout: 246 seconds) |
| 2024-10-23 03:26:23 +0200 | zero | (~z@user/zero) zero |
| 2024-10-23 03:28:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:32:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-23 03:32:21 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-23 03:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 03:33:43 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-10-23 03:34:47 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-23 03:44:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:47:51 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-10-23 03:48:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 03:59:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:04:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 04:08:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 04:11:27 +0200 | jove_ | (~quassel@user/jove) (Ping timeout: 252 seconds) |
| 2024-10-23 04:13:51 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
| 2024-10-23 04:14:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:16:20 +0200 | <dontdieych2> | Looking for something like ghci prompt theme. Prefer colorful and informative one. https://github.com/IlanCosman/tide/blob/assets/images/flexible.png |
| 2024-10-23 04:16:28 +0200 | <dontdieych2> | Thanks for any sharing |
| 2024-10-23 04:19:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-23 04:19:44 +0200 | <Axman6> | Have you looked at https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:set%20prompt? |
| 2024-10-23 04:23:12 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-23 04:29:08 +0200 | <Axman6> | Looks like :set prompt-function is particularly useful |
| 2024-10-23 04:29:26 +0200 | <geekosaur> | I think they're looking for themes others have come up with, as opposed to how to write one from scratch? |
| 2024-10-23 04:30:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:32:12 +0200 | jove | (~quassel@user/jove) jove |
| 2024-10-23 04:32:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-10-23 04:33:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 04:35:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 04:40:52 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-23 04:42:41 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
| 2024-10-23 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:52:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 05:02:46 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-23 05:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:08:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 05:15:17 +0200 | <Axman6> | I assume so too, but I've never seen anyone do anything more fancy than changing the prompt to a lambda and removing the loaded modules |
| 2024-10-23 05:18:53 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
| 2024-10-23 05:19:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:21:10 +0200 | <Axman6> | Knowing a thing or two about terminal colours would let you make pretty themes |
| 2024-10-23 05:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 05:27:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-23 05:33:01 +0200 | <geekosaur> | I've seen a few, but yeh what you mention is most common ime |
| 2024-10-23 05:34:21 +0200 | <geekosaur> | I personally don't spend enough time in ghci to care; I just pop in to test something and then exit. (largely because it's usually `cabal repl` instead of raw ghci, in a project or with specific dependencies in scope) |
| 2024-10-23 05:34:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:39:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 05:49:53 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
| 2024-10-23 05:49:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:52:29 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 2024-10-23 05:54:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-23 05:57:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:59:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-23 06:04:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 06:05:11 +0200 | <dontdieych2> | Axman6: geekosau: ok, should go for lambda mark. cannot find premade theme things. |
| 2024-10-23 06:06:12 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection) |
| 2024-10-23 06:08:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 06:12:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-23 06:23:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 06:24:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2024-10-23 06:26:26 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection) |
| 2024-10-23 06:30:01 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
| 2024-10-23 06:30:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 06:32:05 +0200 | <Axman6> | you should go with whatever you like the look of, this is an aesthetic question, not a technical one |
| 2024-10-23 06:38:15 +0200 | michalz | (~michalz@185.246.207.215) |
| 2024-10-23 06:39:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 06:40:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-23 06:46:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 06:50:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-23 06:57:51 +0200 | simendsjo | (~user@84.211.91.108) (Ping timeout: 265 seconds) |
| 2024-10-23 07:03:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 07:05:38 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-23 07:07:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 07:18:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 07:23:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-23 07:24:52 +0200 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-23 07:27:20 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-10-23 07:27:50 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-23 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-23 07:34:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 07:38:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-23 07:38:48 +0200 | Square2 | (~Square4@user/square) Square |
| 2024-10-23 07:39:49 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-23 07:41:38 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-23 07:44:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-10-23 07:49:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 07:52:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-23 07:52:54 +0200 | araujo | (~araujo@216.73.163.122) (Ping timeout: 276 seconds) |
| 2024-10-23 07:53:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 08:04:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 08:12:24 +0200 | synchromesh | (~john@139.180.95.1) (Quit: WeeChat 4.0.5) |
| 2024-10-23 08:13:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-23 08:14:28 +0200 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-23 08:15:49 +0200 | alphazone | lb |
| 2024-10-23 08:22:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-10-23 08:23:13 +0200 | euleritian | (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) |
| 2024-10-23 08:24:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-23 08:36:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-23 08:41:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-10-23 08:42:56 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) synchromesh |
| 2024-10-23 08:45:21 +0200 | synchrom1 | (~john@139.180.95.1) synchromesh |
| 2024-10-23 08:47:15 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) (Ping timeout: 244 seconds) |
| 2024-10-23 08:53:16 +0200 | <dontdieych2> | is there equivalent of `stack haddock` (that make index.html of all dependencies of current package) using `cabal`? |
| 2024-10-23 08:53:51 +0200 | <dontdieych2> | ❯ du -sh ~/.cabal ~/.stack/ |
| 2024-10-23 08:53:53 +0200 | <dontdieych2> | 4.5G /home/a/.cabal |
| 2024-10-23 08:53:54 +0200 | <dontdieych2> | 8.8G /home/a/.stack |
| 2024-10-23 08:54:07 +0200 | <dontdieych2> | wanna remove ~/.stack |
| 2024-10-23 08:54:32 +0200 | <dontdieych2> | only reason keep stack is `stack haddock` |
| 2024-10-23 08:54:58 +0200 | <sclv> | you can add a haddock flag to your default cabal config and it will haddock every built library |
| 2024-10-23 08:55:17 +0200 | <sclv> | it doesn’t provide an easy to browse global index iirc tho |
| 2024-10-23 08:55:22 +0200 | <dontdieych2> | ye but I need top level index.html |
| 2024-10-23 08:55:27 +0200 | <dontdieych2> | exactly |
| 2024-10-23 08:55:45 +0200 | <sclv> | you can write your own script to generate that as a stopgap |
| 2024-10-23 08:57:45 +0200 | <dontdieych2> | thanks |
| 2024-10-23 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-23 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-23 09:02:23 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb33a5f4f8eeae667408.dip0.t-ipconnect.de) acidjnk |
| 2024-10-23 09:10:12 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-23 09:13:44 +0200 | <haskellbridge> | <sm> dontdieych2: you could clean up a bit |
| 2024-10-23 09:14:06 +0200 | euleritian | (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-10-23 09:14:40 +0200 | euleritian | (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) |
| 2024-10-23 09:14:45 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-23 09:15:19 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) ubert |
| 2024-10-23 09:16:48 +0200 | CiaoSen | (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-23 09:22:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-23 09:35:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-23 09:40:03 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-23 09:40:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2024-10-23 09:42:59 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-23 09:45:15 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-10-23 09:47:56 +0200 | <tomsmeding> | dontdieych2: https://github.com/treblacy/hasdoc |
| 2024-10-23 09:50:40 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-23 09:54:06 +0200 | euleritian | (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-23 09:54:36 +0200 | euleritian | (~euleritia@176.2.79.59) |
| 2024-10-23 09:59:14 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 2024-10-23 09:59:32 +0200 | <famubu> | Is there a way to find the space used |
| 2024-10-23 09:59:37 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2024-10-23 09:59:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-10-23 09:59:42 +0200 | <famubu> | needed to store a value in ahsekll? |
| 2024-10-23 09:59:59 +0200 | <famubu> | I had been trying to use https://hackage.haskell.org/package/heapsize-0.3.0.1/docs/HeapSize.html#v:recursiveSize |
| 2024-10-23 10:00:13 +0200 | <famubu> | But couldn't figure out how to print a value of `Heapsize Int` |
| 2024-10-23 10:00:46 +0200 | <haskellbridge> | <sm> maybe https://hackage.haskell.org/package/weigh ? |
| 2024-10-23 10:01:22 +0200 | <c_wraith> | famubu: why wouldn't you use closureSize? |
| 2024-10-23 10:01:50 +0200 | <c_wraith> | Oh, because it's not recursive. |
| 2024-10-23 10:01:52 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-10-23 10:02:06 +0200 | <c_wraith> | well, then, you'd have to use runHeapSize |
| 2024-10-23 10:05:13 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Quit: See you later! :)) |
| 2024-10-23 10:06:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-23 10:06:34 +0200 | <dontdieych2> | haskellbridge: how? |
| 2024-10-23 10:06:45 +0200 | <dontdieych2> | tomsmeding: thanks, it's working properly |
| 2024-10-23 10:07:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-23 10:07:26 +0200 | <dontdieych2> | haskellbridge: how? " dontdieych2: you could clean up a bit " |
| 2024-10-23 10:09:39 +0200 | <mauke> | the person speaking is actually sm |
| 2024-10-23 10:09:47 +0200 | <mauke> | haskellbridge is just a bridge bot |
| 2024-10-23 10:11:07 +0200 | <c_wraith> | > runHeapsize 30 $ recursiveSizeNF [1..10] -- Just 87 |
| 2024-10-23 10:11:09 +0200 | <lambdabot> | error: |
| 2024-10-23 10:11:09 +0200 | <lambdabot> | Variable not in scope: runHeapsize :: t1 -> t0 -> terror: |
| 2024-10-23 10:11:09 +0200 | <lambdabot> | Variable not in scope: recursiveSizeNF :: [a0] -> t0 |
| 2024-10-23 10:11:17 +0200 | <c_wraith> | oops, shouldn't have used > |
| 2024-10-23 10:11:18 +0200 | <c_wraith> | anyway |
| 2024-10-23 10:11:36 +0200 | <c_wraith> | use runHeapSize. That's what it's there for. |
| 2024-10-23 10:11:41 +0200 | <c_wraith> | err, runHeapsize |
| 2024-10-23 10:11:56 +0200 | <c_wraith> | though beware of its first parameter. It isn't documented, and it probably should have been |
| 2024-10-23 10:12:05 +0200 | <haskellbridge> | <sm> oh. dontdieych2, https://hackage.haskell.org/package/stack-clean-old or ncdu are good |
| 2024-10-23 10:12:16 +0200 | <c_wraith> | it's the initial size of the hash table it uses to prevent looping |
| 2024-10-23 10:14:00 +0200 | <famubu> | c_wraith: Thanks. That made it. |
| 2024-10-23 10:14:11 +0200 | <famubu> | yeah I too had been wondering what that argument was. |
| 2024-10-23 10:14:27 +0200 | <famubu> | hadn't looked at source |
| 2024-10-23 10:14:40 +0200 | <famubu> | (not that I would understand much anyway..) |
| 2024-10-23 10:15:36 +0200 | <c_wraith> | runHeapsize will return Nothing if the GC runs during it |
| 2024-10-23 10:16:03 +0200 | <dontdieych2> | haskellbridge: thanks |
| 2024-10-23 10:16:08 +0200 | <c_wraith> | so making the initial hash table large enough is a way to minimize the chances of that |
| 2024-10-23 10:17:14 +0200 | <c_wraith> | ideally you'd set it to the number of pointers that will be traversed. in practice, if you already knew that you probably wouldn't be using it |
| 2024-10-23 10:17:46 +0200 | <haskellbridge> | <sm> holy sh%* I have 95G in mine... joke's on me 😆 |
| 2024-10-23 10:18:52 +0200 | <haskellbridge> | <sm> 106G |
| 2024-10-23 10:20:38 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-10-23 10:22:11 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-23 10:22:45 +0200 | euleritian | (~euleritia@176.2.79.59) (Ping timeout: 248 seconds) |
| 2024-10-23 10:23:03 +0200 | euleritian | (~euleritia@176.2.79.59) |
