Logs: liberachat/#haskell
| 2021-07-16 23:41:21 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-16 23:52:57 | × | GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-16 23:56:00 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-16 23:56:17 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 23:56:58 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-07-17 00:00:47 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-17 00:04:56 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-17 00:11:31 | × | maerwald quits (~maerwald@user/maerwald) (Ping timeout: 258 seconds) |
| 2021-07-17 00:12:13 | × | Guest8638 quits (~Guest86@50.47.115.102) (Ping timeout: 246 seconds) |
| 2021-07-17 00:15:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 00:16:34 | × | mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Ping timeout: 240 seconds) |
| 2021-07-17 00:16:54 | → | Maxdaman1us joins (~Maxdamant@user/maxdamantus) |
| 2021-07-17 00:16:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 00:16:56 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-17 00:18:20 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2021-07-17 00:18:42 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-07-17 00:21:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-17 00:24:09 | → | Null_A joins (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) |
| 2021-07-17 00:24:45 | × | DNH quits (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-17 00:27:01 | → | Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-07-17 00:27:59 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2021-07-17 00:39:27 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-17 00:39:53 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-17 00:40:27 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-17 00:41:39 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-17 00:44:07 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-17 00:46:22 | × | Null_A quits (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) (Remote host closed the connection) |
| 2021-07-17 00:50:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-17 00:52:21 | → | Null_A joins (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) |
| 2021-07-17 00:54:24 | orzo_ | is now known as orzo |
| 2021-07-17 00:57:17 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-17 01:10:04 | <lechner> | Hi, would someone please be so kind and show me how to use iterateM_ here. I am having a hard time with it. https://salsa.debian.org/lintian/kickoff/-/blob/master/Collect.hs#L100 |
| 2021-07-17 01:11:26 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-07-17 01:14:15 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-17 01:14:20 | <davean> | lechner: you haven't said what you're trying to do because theres not even an attempt to use iterateM_ there |
| 2021-07-17 01:15:28 | → | pesada joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-17 01:18:24 | <lechner> | well, i'd like to implement a counter for the files received. someone here kindly recommended iterateM_ but i am a noobie. i watched this video but can't even separate out the function after 'forever' https://www.youtube.com/watch?v=CFnx1_UjwXs |
| 2021-07-17 01:18:38 | × | agua quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 255 seconds) |
| 2021-07-17 01:18:58 | <lechner> | the forever is in my code |
| 2021-07-17 01:19:48 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-17 01:21:11 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-17 01:22:15 | × | maerwald quits (~maerwald@mail.hasufell.de) (Ping timeout: 268 seconds) |
| 2021-07-17 01:22:36 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-17 01:24:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-17 01:25:39 | → | agua joins (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-17 01:25:54 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-17 01:26:04 | × | xff0x quits (~xff0x@2001:1a81:53d5:b900:59f3:4e1e:9577:2243) (Ping timeout: 246 seconds) |
| 2021-07-17 01:28:06 | → | xff0x joins (~xff0x@2001:1a81:5219:9d00:b696:f328:1841:5724) |
| 2021-07-17 01:28:10 | × | pesada quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 246 seconds) |
| 2021-07-17 01:29:56 | <dsal> | lechner: It's flipped for your needs, so something like: flip iterateM_ 1 $ \n -> do ... |
| 2021-07-17 01:30:57 | <dsal> | Then like `pure n'` at the end once you've decided whether there's a message or not. |
| 2021-07-17 01:32:42 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-07-17 01:33:22 | <lechner> | dsal: why is it flipped, please? |
| 2021-07-17 01:33:43 | <dsal> | Or you make `county n = iterateM_ (\x -> a x >> pure (x +1)) 0` and just call `county $ \x -> do ...` |
| 2021-07-17 01:34:11 | <dsal> | Well, the initial argument goes at the end and that's pretty awkward to supply with a do block. |
| 2021-07-17 01:34:48 | <geekosaur> | did you switch n and a there? |
| 2021-07-17 01:35:00 | <lechner> | ah, yes! that was one of my many issues |
| 2021-07-17 01:35:49 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-17 01:38:05 | → | neurocyte1 joins (~neurocyte@94.16.90.109) |
| 2021-07-17 01:38:05 | × | neurocyte1 quits (~neurocyte@94.16.90.109) (Changing host) |
| 2021-07-17 01:38:05 | → | neurocyte1 joins (~neurocyte@user/neurocyte) |
| 2021-07-17 01:40:07 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-17 01:40:45 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
| 2021-07-17 01:40:45 | neurocyte1 | is now known as neurocyte |
| 2021-07-17 01:41:11 | <dsal> | Heh. Yeah, I'm barely conscious right now. heh |
| 2021-07-17 01:42:05 | <dsal> | `county a` for passing an iteration count to the action `a`. If every iteration will process a message, it's probably a useful abstraction that will make it easier to read your stuff. |
| 2021-07-17 01:42:15 | <dsal> | Also maybe name it something not stupid. |
| 2021-07-17 01:44:19 | <dsal> | lechner: Consider that abstraction, though. Whatever bugs I typed into irc are there to help you learn. |
| 2021-07-17 01:48:03 | × | smichel17 quits (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17) |
| 2021-07-17 01:49:50 | → | pesada joins (~agua@2804:18:48:588b:1:0:277e:35b0) |
| 2021-07-17 01:50:08 | × | agua quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 255 seconds) |
| 2021-07-17 01:50:46 | → | matsurago joins (~matsurago@p0111162-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) |
| 2021-07-17 01:51:29 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 255 seconds) |
| 2021-07-17 01:54:28 | <lechner> | dsal: yay, it compiled. thanks so much! i am on a production system and will test it on Sunday. i'll also look into abstractions like you suggested. (and read up on 'pure', as i tried to use 'return') |
| 2021-07-17 01:58:07 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-17 01:59:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-17 02:00:17 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-07-17 02:02:35 | → | andrews joins (~andrews@user/andrews) |
| 2021-07-17 02:02:56 | → | dajoer joins (~david@user/gvx) |
| 2021-07-17 02:05:15 | × | andrews quits (~andrews@user/andrews) (Client Quit) |
| 2021-07-17 02:06:31 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-17 02:11:57 | × | alx741 quits (~alx741@181.196.68.89) (Quit: alx741) |
| 2021-07-17 02:12:08 | <sm> | hey all. Any doctest users aware of a change in default scope/binding rules with GHC 9.0 ? https://github.com/sol/doctest/issues/301 |
| 2021-07-17 02:15:02 | → | alx741 joins (~alx741@181.196.68.89) |
| 2021-07-17 02:15:20 | × | td_ quits (~td@94.134.91.148) (Ping timeout: 255 seconds) |
| 2021-07-17 02:15:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 02:16:57 | → | td_ joins (~td@muedsl-82-207-238-255.citykom.de) |
| 2021-07-17 02:16:59 | × | zebrag quits (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2021-07-17 02:18:34 | <lechner> | sm: hi, i just connected a few dots. thanks for hledger! |
| 2021-07-17 02:19:36 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-07-17 02:20:23 | → | sim590 joins (~simon@23.233.248.248) |
| 2021-07-17 02:20:56 | → | keutoi joins (~keutoi@157.48.206.170) |
| 2021-07-17 02:21:28 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-17 02:25:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-17 02:27:23 | <janus> | sm: do you think it might be related to "GADT constructor types now properly adhere to The forall-or-nothing rule" ? |
| 2021-07-17 02:28:05 | <sm> | lechner: youre welcome! |
| 2021-07-17 02:28:31 | <sm> | janus: hmm let me read up on that |
| 2021-07-17 02:30:49 | <sm> | another possible thing I've noticed, derived JSON instances preserving the order of fields with GHC 9.0 (despite same versions of aeson) ? |
| 2021-07-17 02:31:07 | <sm> | with GHC 8.10 they seemed randomised |
| 2021-07-17 02:34:11 | __xor | is now known as _xor |
All times are in UTC.