Newest at the top
| 2025-11-18 12:07:35 +0100 | <kaol> | I need to do something similar but my use is limited enough that I think I'll just use capi for what I need. |
| 2025-11-18 12:06:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-18 12:06:42 +0100 | kuribas | (~user@2a02:1808:e7:cecd:ef16:f030:ae55:9416) (Ping timeout: 252 seconds) |
| 2025-11-18 12:06:37 +0100 | <tomsmeding> | ah yes, I misremembered |
| 2025-11-18 12:06:18 +0100 | <kaol> | tomsmeding: Thanks, that explains what's going on. I suspect you mean .hsc because that's what they are using. |
| 2025-11-18 12:05:13 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-18 12:05:11 +0100 | <tomsmeding> | is this in a .chs file? |
| 2025-11-18 12:04:59 +0100 | <tomsmeding> | kaol: c2hs? |
| 2025-11-18 12:04:50 +0100 | <kaol> | I'm not seeing that extension mentioned anywhere in the library. |
| 2025-11-18 12:04:27 +0100 | <tomsmeding> | is there some way I can obtain a Coercible Int Int64? I'm fine if it's in a Maybe that is Nothing whenever this is not a 64-bit system or something |
| 2025-11-18 12:03:00 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-11-18 12:02:36 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-18 12:02:36 +0100 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-18 12:01:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 11:59:43 +0100 | <Leary> | kaol: Looks like a "label": https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_labels.html |
| 2025-11-18 11:55:03 +0100 | <kaol> | I'm looking at network library's source and I see lines like "sizeOf ~_ = #const sizeof(struct addrinfo)" in it. What's that #const thing? |
| 2025-11-18 11:51:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-18 11:40:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 11:36:49 +0100 | nek02 | (~nek0@user/nek0) (Ping timeout: 246 seconds) |
| 2025-11-18 11:30:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-18 11:22:21 +0100 | annamalai | (~annamalai@157.33.250.15) annamalai |
| 2025-11-18 11:21:37 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-18 11:09:55 +0100 | myxos | (~myxos@2001:579:8380:f20:5f4f:3365:91ae:208d) (Ping timeout: 245 seconds) |
| 2025-11-18 11:07:13 +0100 | myxokephale | (~myxos@2001:579:8380:f20:a8ed:41b7:d57f:8d02) myxokephale |
| 2025-11-18 11:02:21 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 10:58:26 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-11-18 10:58:09 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-18 10:56:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 10:54:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-18 10:46:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 10:44:29 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-18 10:42:26 +0100 | kuribas | (~user@2a02:1808:e7:cecd:ef16:f030:ae55:9416) kuribas |
| 2025-11-18 10:38:07 +0100 | img | (~img@user/img) img |
| 2025-11-18 10:36:47 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-18 10:35:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-18 10:30:49 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:30:43 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:27:52 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 246 seconds) |
| 2025-11-18 10:25:40 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:25:40 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:24:07 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-11-18 10:23:22 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-18 10:20:44 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:20:37 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:20:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-18 10:15:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 10:15:35 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:15:28 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:15:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 10:13:47 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |