Logs: liberachat/#haskell
| 2021-07-31 19:09:40 | <Hecate> | (which will be made easier by the existence of code that can be reviewed, instead of an endless bikeshedding of possibilities) |
| 2021-07-31 19:10:12 | <Hecate> | if you want to implement a new warning, this is a user-facing change and thus I'm pretty sure you'll have to do a GHC proposal |
| 2021-07-31 19:10:25 | <boxscape> | I see |
| 2021-07-31 19:10:41 | <Hecate> | but don't fret |
| 2021-07-31 19:10:56 | <Hecate> | if you make a plugin before the proposal, it's going to be much easier |
| 2021-07-31 19:10:56 | <boxscape> | well, I might start with changing a few words in the warning message then and think about splitting it later |
| 2021-07-31 19:11:02 | <Hecate> | :) |
| 2021-07-31 19:11:08 | <boxscape> | makes sense |
| 2021-07-31 19:12:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 19:13:41 | <maerwald> | who knows what `security` on darwin is (the binary)? |
| 2021-07-31 19:13:47 | <maerwald> | https://github.com/vincenthz/hs-certificate/blob/master/x509-system/System/X509/MacOS.hs#L22 |
| 2021-07-31 19:14:31 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-31 19:14:35 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-07-31 19:17:28 | → | Kaipi joins (~Kaiepi@156.34.44.192) |
| 2021-07-31 19:17:28 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
| 2021-07-31 19:17:30 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 19:19:36 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Remote host closed the connection) |
| 2021-07-31 19:20:00 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-07-31 19:20:36 | <maerwald> | also love the `either error id` inside IO |
| 2021-07-31 19:21:51 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-31 19:22:50 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-31 19:24:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 19:24:40 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-31 19:24:50 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 19:26:49 | → | elias_ joins (~elias@154.27.37.188.rev.vodafone.pt) |
| 2021-07-31 19:29:30 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-07-31 19:31:04 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-31 19:31:30 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-31 19:35:07 | <raehik> | I'm doing some binary serialisation of some relatively simple data, but need more than what Data.ByteString.Builder provides. I know of two libraries, binary and cereal. Any recommendations on what to use? |
| 2021-07-31 19:35:31 | <raehik> | KBs of data, saving to memory/disk |
| 2021-07-31 19:36:42 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2021-07-31 19:36:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 19:37:21 | <[exa]> | raehik: how complicated is the data? |
| 2021-07-31 19:37:23 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 19:37:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 19:38:07 | <raehik> | [exa]: easy, Word8->64s, some bytestrings |
| 2021-07-31 19:38:46 | <raehik> | Need to do null padding of data though, which I can't do easily with Builder b/c it doesn't let you view current buffer length |
| 2021-07-31 19:39:29 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-31 19:39:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-31 19:39:58 | <[exa]> | I'd go with binary. cereal's got some extra parsing machinery if the data is somehow complicated but I doubt it's going to be useful here |
| 2021-07-31 19:41:32 | × | alx741 quits (~alx741@181.196.69.85) (Ping timeout: 272 seconds) |
| 2021-07-31 19:42:06 | <raehik> | hm, neither of them expose buffer length, weird |
| 2021-07-31 19:42:50 | <[exa]> | you mean "how much bytes are left to read" ? I remember that was problematic for some reason |
| 2021-07-31 19:43:08 | <raehik> | no I mean for serializing |
| 2021-07-31 19:43:35 | <raehik> | I have a bytestring, and I need to serialize it as a 64-byte block |
| 2021-07-31 19:43:52 | <raehik> | so I need to pad it with nulls depending on length (assume it's not overlong) |
| 2021-07-31 19:44:09 | → | Merfont joins (~Kaiepi@156.34.44.192) |
| 2021-07-31 19:44:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 19:44:15 | × | Kaipi quits (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 2021-07-31 19:44:48 | <raehik> | I could write my own monad on top of any of those serializers to handle it. Was hoping it existed elsewhere though |
| 2021-07-31 19:45:13 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 19:45:23 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-31 19:46:11 | <[exa]> | hm yeah putN could probably be implemented a bit more efficiently, knowing how much buffer space is left ahead |
| 2021-07-31 19:48:30 | × | Merfont quits (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 2021-07-31 19:48:47 | → | Merfont joins (~Kaiepi@156.34.44.192) |
| 2021-07-31 19:50:10 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-31 19:50:16 | <raehik> | I'm able to do it on the parsing side in a pleasant manner by checking before and after cursor positions, so it can be a "wrapper" on any parser |
| 2021-07-31 19:51:30 | <raehik> | Was hoping I could do the same on the serialize/printing side, but I can't get the length of a builder without building it. ah well I'll go the lazy way |
| 2021-07-31 19:54:16 | → | alx741 joins (~alx741@186.178.108.145) |
| 2021-07-31 19:54:27 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:ac04:a5c:ba91:d865) |
| 2021-07-31 19:54:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 19:55:55 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 19:58:54 | → | Guest9 joins (~Guest9@103.240.169.29) |
| 2021-07-31 20:00:03 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-31 20:00:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-31 20:00:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 20:00:52 | allbery_b | is now known as geekosaur |
| 2021-07-31 20:02:55 | × | Merfont quits (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 2021-07-31 20:03:17 | → | Merfont joins (~Kaiepi@156.34.44.192) |
| 2021-07-31 20:10:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 20:11:35 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 20:11:39 | <ixlun> | Hi all, I'm using pipes and I'm trying to yield all values from a Mutable Vector: `lift $ VSM.mapM_ yield outBuf` but the type of that is `Proxy () IQ () IQ (Proxy x'0 x0 () a0 m0) ()`. and it can't match the inner `Proxy` with `IO`. Any ideas? |
| 2021-07-31 20:13:32 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 20:13:49 | → | MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-31 20:19:43 | × | Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-07-31 20:19:46 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-07-31 20:22:04 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-07-31 20:26:22 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-07-31 20:27:59 | × | nuncanada quits (~dude@179.235.162.215) (Read error: Connection reset by peer) |
| 2021-07-31 20:28:14 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-07-31 20:28:23 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-31 20:29:21 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:8cab:6f70:b160:7f9) |
| 2021-07-31 20:30:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-31 20:31:14 | <dsal> | ixlun: Missing a bit of context, but if you're trying to have a value escape the context in which the vector is mutable, that's designed to not be possible. |
| 2021-07-31 20:31:34 | × | Merfont quits (~Kaiepi@156.34.44.192) (Ping timeout: 272 seconds) |
| 2021-07-31 20:32:28 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-31 20:32:48 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:ac04:a5c:ba91:d865) (Ping timeout: 250 seconds) |
| 2021-07-31 20:34:29 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-07-31 20:34:30 | <janus> | i have been converting monochrom's Cont into a transformer. but i can't seem to define yieldGet for it |
| 2021-07-31 20:34:40 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-31 20:34:45 | <janus> | is there some underlying theoretical reason for that? or should it be possible? |
| 2021-07-31 20:34:57 | <ixlun> | Here's some more info with a code snippet: https://pastebin.com/YzX8XWi6 |
| 2021-07-31 20:36:06 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-07-31 20:36:14 | <dsal> | ixlun: Yeah, it looks like you're trying to have the value from a mutable vector escape the mutable context. That's not supposed to work. You'll need to freeze the vector first. |
| 2021-07-31 20:36:23 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-07-31 20:36:27 | → | mdunnio joins (~textual@205.178.28.97) |
| 2021-07-31 20:36:47 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-31 20:36:51 | <ixlun> | Ohh right, because I'm sending the value 'downstream' in the proxy? |
| 2021-07-31 20:37:28 | × | mdunnio quits (~textual@205.178.28.97) (Read error: Connection reset by peer) |
| 2021-07-31 20:38:08 | <ixlun> | dsal: in which case, why does this work? https://pastebin.com/dG2N6mAU |
All times are in UTC.