Logs: liberachat/#haskell
| 2026-04-04 02:30:18 | → | synchromesh joins (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) |
| 2026-04-04 02:33:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-04 02:33:36 | × | vidak quits (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) (Read error: Connection reset by peer) |
| 2026-04-04 02:34:20 | → | vidak joins (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) |
| 2026-04-04 02:36:14 | × | synchromesh quits (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer) |
| 2026-04-04 02:36:59 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-04 02:37:04 | → | synchromesh joins (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) |
| 2026-04-04 02:37:29 | × | td_ quits (~td@i53870907.versanet.de) (Ping timeout: 248 seconds) |
| 2026-04-04 02:39:15 | → | m joins (~travltux@user/travltux) |
| 2026-04-04 02:39:26 | → | td_ joins (~td@i5387091C.versanet.de) |
| 2026-04-04 02:41:23 | → | qqq joins (~qqq@185.54.23.237) |
| 2026-04-04 02:44:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 02:49:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-04 02:57:54 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-04 03:00:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 03:03:38 | × | xff0x quits (~xff0x@2405:6580:b080:900:ec01:f28c:6f01:3489) (Ping timeout: 268 seconds) |
| 2026-04-04 03:04:14 | → | xff0x joins (~xff0x@2405:6580:b080:900:ee83:75a7:fd77:12be) |
| 2026-04-04 03:05:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-04 03:05:15 | → | Googulator joins (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-04-04 03:15:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 03:20:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-04 03:21:39 | × | synchromesh quits (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer) |
| 2026-04-04 03:22:28 | → | synchromesh joins (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) |
| 2026-04-04 03:26:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-04 03:31:52 | <gentauro> | `{-# OPTIONS_GHC -Wall -Werror #-}` is nice to help you remove "noise" come code files |
| 2026-04-04 03:31:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 03:32:23 | <gentauro> | however, once you `derive` Show on a data type, it no longer tells you which properties aren't being used :( |
| 2026-04-04 03:33:18 | <gentauro> | btw, what does this do: `data FooBar = FooBar {-# UNPACK #-} !Int`. Like the `unpack` pragma combined with `Int`? |
| 2026-04-04 03:35:44 | <geekosaur> | explicitly telling the compiler to unpack the `Int` into `FooBar` rather than making a pointer to it (which requires that it be strict) |
| 2026-04-04 03:36:22 | <geekosaur> | these days you don't generally need to do that, `-funbox-small-strict-fields` is on by default if you compile with optimization |
| 2026-04-04 03:36:23 | <gentauro> | geekosaur: does this only work for primitive (`struct` types)? |
| 2026-04-04 03:36:44 | <geekosaur> | no |
| 2026-04-04 03:37:38 | <geekosaur> | there used to be a number of restrictions on it but I think most of them are gone, only strictness remains. (for example, the type had to have a single constructor until unboxed sums were added and it became possible to support multi-constructor unpacking) |
| 2026-04-04 03:37:46 | <gentauro> | `data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar` would work as well? |
| 2026-04-04 03:38:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-04 03:40:22 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-04 03:41:51 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#unpack-pragma (note that it tells you it won't work in your case, then only afterward mentions that it will in 9.6.1 and later) |
| 2026-04-04 03:45:43 | → | notzmv joins (~umar@user/notzmv) |
| 2026-04-04 03:46:11 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-04-04 03:46:12 | <gentauro> | geekosaur: nice -> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/primitives.html#extension-UnboxedSums |
| 2026-04-04 03:47:40 | <gentauro> | btw, do we have something similar to this `dotnet-dump` (heap memory): https://gitlab.com/spisemisu/SpiseMisu.Text.Dstring/-/blob/main/dotnet-cli-tools.sh?ref_type=heads#L19-100 |
| 2026-04-04 03:48:08 | <gentauro> | where you can drill down (mem) usage of an app? |
| 2026-04-04 03:49:46 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-04 03:50:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 03:53:16 | <geekosaur> | https://discourse.haskell.org/t/ghc-profiling-a-cabal-project-with-an-interactive-application/10465 perhaps? |
| 2026-04-04 03:54:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-04 03:55:53 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-04-04 03:58:40 | <gentauro> | geekosaur: yeah, that's it. |
| 2026-04-04 04:01:22 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-04 04:03:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 04:06:00 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-04 04:07:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-04 04:07:45 | × | qqq quits (~qqq@185.54.23.237) (Remote host closed the connection) |
| 2026-04-04 04:08:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-04 04:18:56 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 2026-04-04 04:19:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 04:20:11 | → | jrm joins (~jrm@user/jrm) |
| 2026-04-04 04:24:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-04 04:32:11 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-04 04:35:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 04:40:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-04 04:40:48 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-04 04:46:42 | × | absurdvoid quits (~absurdvoi@user/absurdvoid) (Ping timeout: 248 seconds) |
| 2026-04-04 04:51:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 04:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-04 04:57:44 | × | synchromesh quits (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer) |
| 2026-04-04 04:58:41 | → | synchromesh joins (~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) |
| 2026-04-04 05:04:02 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-04 05:07:05 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-04 05:08:55 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-04 05:13:39 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-04 05:23:06 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 246 seconds) |
| 2026-04-04 05:25:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 05:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-04 05:41:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 05:41:21 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-04 05:45:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-04 05:49:39 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 255 seconds) |
| 2026-04-04 05:56:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 06:01:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-04 06:04:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 06:09:15 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 2026-04-04 06:09:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-04 06:15:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-04-04 06:20:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 06:20:42 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-04 06:25:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-04 06:26:11 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-04-04 06:29:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-04-04 06:33:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-04 06:33:22 | × | Square3 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-04 06:36:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-04 06:36:53 | <gentauro> | % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar |
| 2026-04-04 06:36:53 | <yahb2> | <no output> |
| 2026-04-04 06:37:06 | <gentauro> | % sizeOf FooBar |
| 2026-04-04 06:37:06 | <yahb2> | <interactive>:11:1: error: [GHC-88464] ; Variable not in scope: sizeOf :: t0 -> t1 ; ; <interactive>:11:8: error: [GHC-01928] ; • Illegal term-level use of the type constructor ‘FooBar’ ; ... |
| 2026-04-04 06:37:19 | <gentauro> | % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar; sizeOf FooBar |
| 2026-04-04 06:37:19 | <yahb2> | <interactive>:13:71: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected. |
| 2026-04-04 06:37:28 | <gentauro> | % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar; sizeOf Foo |
| 2026-04-04 06:37:28 | <yahb2> | <interactive>:15:71: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected. |
All times are in UTC.