Logs: liberachat/#haskell
| 2021-08-11 01:05:45 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) |
| 2021-08-11 01:05:57 | <lechner> | are they otherwise done doing? |
| 2021-08-11 01:06:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-11 01:06:20 | <lechner> | runaway or blocked? |
| 2021-08-11 01:06:38 | <lechner> | what are they doing? |
| 2021-08-11 01:08:02 | <lechner> | Hi, what is a good way to parse this sitemap, please (except a lot longer)? Ideally, I would like to end up with a list of urls (strings alone are okay, or the record). Thanks! https://dpaste.org/WROr |
| 2021-08-11 01:08:11 | <sm> | not using cpu ? not using enough memory to cause swapping ? |
| 2021-08-11 01:08:40 | <lechner> | or just zombies? |
| 2021-08-11 01:08:48 | <geekosaur> | actually I'd be interested in knowing why clang is involved. I think that's normally used only for embedded C code in a package, or to run ld |
| 2021-08-11 01:09:08 | → | Matthias_ joins (~Matthias1@2603-8001-b545-4900-090b-633c-a15a-3f3b.res6.spectrum.com) |
| 2021-08-11 01:09:22 | <euouae> | lechner, with an xml parser? |
| 2021-08-11 01:09:31 | <sm> | any network or usb drives involved ? |
| 2021-08-11 01:10:05 | × | emliunix quits (~emliunix@2a09:bac0:23::815:bca) (Remote host closed the connection) |
| 2021-08-11 01:10:20 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-6964-f050-e27a-a1cb.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-08-11 01:10:23 | → | emliunix joins (~emliunix@103.138.75.119) |
| 2021-08-11 01:13:00 | <monochrom> | FD_SET(read_fdset, fd_for_downloading_RAM); for (;;) { select(read_fdset, NULL, NULL, NULL); ... |
| 2021-08-11 01:13:02 | <monochrom> | >:) |
| 2021-08-11 01:14:57 | ← | euouae parts (~euouae@user/euouae) () |
| 2021-08-11 01:15:19 | × | xsperry quits (~as@user/xsperry) () |
| 2021-08-11 01:18:28 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 01:18:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-11 01:21:54 | × | Matthias_ quits (~Matthias1@2603-8001-b545-4900-090b-633c-a15a-3f3b.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-11 01:22:48 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-090b-633c-a15a-3f3b.res6.spectrum.com) |
| 2021-08-11 01:24:32 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-11 01:27:28 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-090b-633c-a15a-3f3b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-08-11 01:27:46 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 240 seconds) |
| 2021-08-11 01:27:55 | <Axman6> | Sorry, needed to get some #work do. cabal is just stopped, and the last lines in the cabal build log are: configure: WARNING: unrecognized options: --with-compiler |
| 2021-08-11 01:27:56 | <Axman6> | Preprocessing library for network-3.1.2.2.. |
| 2021-08-11 01:28:12 | <Axman6> | clang is involved because "gcc" on macos is clang |
| 2021-08-11 01:28:19 | <lechner> | yes |
| 2021-08-11 01:28:32 | <Axman6> | no swapping happening, I've got 64GB and plenty free |
| 2021-08-11 01:29:24 | → | _________ joins (~nobody@user/noodly) |
| 2021-08-11 01:29:31 | <geekosaur> | yes, but it still shouldn't be used directly for anything but embedded C code or linking |
| 2021-08-11 01:29:37 | <geekosaur> | or possibly -XCPP |
| 2021-08-11 01:29:38 | <Axman6> | geekosaur: it is the network package which is being compiled, so compiling C is almost certainly involved right? |
| 2021-08-11 01:30:32 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 258 seconds) |
| 2021-08-11 01:30:51 | → | berberman joins (~berberman@user/berberman) |
| 2021-08-11 01:31:09 | × | Jonno_FTW quits (~come@api.carswap.me) (Quit: Reconnecting) |
| 2021-08-11 01:31:17 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 2021-08-11 01:31:31 | × | Jonno_FTW quits (~come@api.carswap.me) (Changing host) |
| 2021-08-11 01:31:31 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 2021-08-11 01:31:49 | <geekosaur> | there are 5 small C files in the network package; mostly it binds to libc network functions |
| 2021-08-11 01:31:53 | <Axman6> | https://paste.tomsmeding.com/FzQv35dp is the contents of the log |
| 2021-08-11 01:31:54 | <lechner> | Axman6: The warning may not be what tripped them up https://github.com/commercialhaskell/stack/issues/1121 |
| 2021-08-11 01:32:03 | <Axman6> | after hitting ^C to stop the build |
| 2021-08-11 01:32:13 | <Axman6> | the last bit about the failure only happens after the ^C |
| 2021-08-11 01:32:45 | <geekosaur> | hm, that's hhsc2hs freezing |
| 2021-08-11 01:32:54 | <geekosaur> | I think that might be known |
| 2021-08-11 01:33:00 | <lechner> | Failed to remove file dist/build/Network/Socket/ByteString/hsc2hscall8328-0.rsp; error= dist/build/Network/Socket/ByteString/hsc2hscall8328-0.rsp: removeLink: does not exist (No such file or directory) |
| 2021-08-11 01:34:33 | <lechner> | is that a test suite looking for the network? |
| 2021-08-11 01:34:59 | <Axman6> | it's "Building network-3.1.2.2 (all, legacy fallback)" |
| 2021-08-11 01:35:05 | <geekosaur> | https://github.com/haskell/hsc2hs/issues/62 |
| 2021-08-11 01:36:05 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-11 01:36:15 | <euouae> | So here's the thing about reading types that doesn't always elucidate behavior |
| 2021-08-11 01:36:16 | <Axman6> | yep that looks like the one |
| 2021-08-11 01:36:30 | <euouae> | I'm looking at Control.Monad.sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-08-11 01:36:50 | <euouae> | There's no way to know that `>>` is being used between monadic actions. It may very well had been without `>>` |
| 2021-08-11 01:37:56 | <euouae> | and, looking at the source code is not very helpful, I don't understand, sequence needs sequenceA, which needs traverse, which is implemented using sequenceA? |
| 2021-08-11 01:37:57 | <Axman6> | well, there's an infinite number of implementations of that type, so yes, there's no way to know |
| 2021-08-11 01:38:20 | <Axman6> | yes, to impolemente the Traversable class, you need to implement one of those functions and you get the others for free |
| 2021-08-11 01:38:24 | <Axman6> | implement* |
| 2021-08-11 01:38:29 | <euouae> | Axman6: "Evaluate each monadic action in the structure from left to right, and collect the results. For a version that ignores the results see sequence_." |
| 2021-08-11 01:38:45 | <euouae> | Axman6: That docstring also does not hint at `>>` :P |
| 2021-08-11 01:38:57 | <Axman6> | why do you think it even uses >>? |
| 2021-08-11 01:39:12 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 2021-08-11 01:39:17 | <Axman6> | I would guess 90% of all Traversable implementation don't use that at all |
| 2021-08-11 01:39:42 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-11 01:40:17 | <Axman6> | most (all?) implementation of Traversable only need Applicative |
| 2021-08-11 01:41:30 | <euouae> | Axman6: I mean that a reference implementation could use >> |
| 2021-08-11 01:41:42 | <euouae> | It must use something akin to >>, it feeds the results of one action into another e.g. `sequence [Nothing, Just 1] == Nothing` |
| 2021-08-11 01:42:10 | <Axman6> | I'm not sure I agree |
| 2021-08-11 01:42:26 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-11 01:42:33 | → | cladur joins (~cladur@user-5-173-146-9.play-internet.pl) |
| 2021-08-11 01:43:01 | <euouae> | Ok I'm not taking a hard line here |
| 2021-08-11 01:43:02 | <Axman6> | > (:) <$> Nothing <*> ((:) <$> Just 1 <*> pure [])) |
| 2021-08-11 01:43:03 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 268 seconds) |
| 2021-08-11 01:43:04 | <lambdabot> | <hint>:1:49: error: parse error on input ‘)’ |
| 2021-08-11 01:43:06 | <Axman6> | > (:) <$> Nothing <*> ((:) <$> Just 1 <*> pure []) |
| 2021-08-11 01:43:07 | <lambdabot> | Nothing |
| 2021-08-11 01:43:39 | <euouae> | Ok you're arguing between Monad and Applicative |
| 2021-08-11 01:43:53 | <euouae> | That's fine, but I'm talking about the lack of documentation for `sequence` :P |
| 2021-08-11 01:45:05 | <Axman6> | I still don't see what your point is, there's no >> in sequence for most types |
| 2021-08-11 01:45:43 | <euouae> | My point is, if you note the documentation of sequence, it is only illustrated in the last example that sequence has 'short-circuit behavior' as they call it |
| 2021-08-11 01:46:52 | <Axman6> | what does that have to do with >>? |
| 2021-08-11 01:46:54 | <euouae> | I'm looking at `evalState (sequence $ repeat $ do { n <- get; put (n*2); return n }) 1` which as I understand feeds the previous state into the next computation |
| 2021-08-11 01:47:36 | <euouae> | from Control.Monad.Trans.State.Lazy |
| 2021-08-11 01:47:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 248 seconds) |
| 2021-08-11 01:48:17 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-08-11 01:48:23 | <Axman6> | what does short circuit behaviour have to do with >>? |
| 2021-08-11 01:48:45 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-11 01:48:45 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 01:49:04 | → | adam1 joins (~adam@220-136-101-108.dynamic-ip.hinet.net) |
| 2021-08-11 01:49:07 | <euouae> | Well, `Nothing >> Just 1` gives `Nothing` |
| 2021-08-11 01:49:41 | × | alx741 quits (~alx741@181.196.68.193) (Quit: alx741) |
| 2021-08-11 01:49:43 | <Axman6> | yes, but it's not the only thing which does |
| 2021-08-11 01:50:00 | <Axman6> | importantly, (<*>) does too |
| 2021-08-11 01:50:41 | <Axman6> | so the behaviour of traverse matches the behaviour of the applicative instance for m and the traversal ordering of t |
| 2021-08-11 01:51:05 | <euouae> | m and t being? |
| 2021-08-11 01:51:10 | <euouae> | Maybe and [] ? |
| 2021-08-11 01:51:15 | <Axman6> | yes |
All times are in UTC.