Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 .. 18041
— 1,804,052 events total
2021-08-12 03:23:11 <Axman6> You better not *shakes fist*
2021-08-12 03:23:12 <Axman6> :P
2021-08-12 03:23:30 <euouae> Hehehe just give me some time Axman6 I learn slowly
2021-08-12 03:24:22 <Axman6> prepend :: a -> t a -> t a, append :: t a -> a -> t a IMO
2021-08-12 03:24:26 <dsal> I went the other way around for the most part. Besides learning about Traversable by going through a book, I found myself wanting something that sounded like `mapM` and then used that. Then learned that `mapM = traverse`. But there were a couple other obscure use cases I found that were nice.
2021-08-12 03:24:37 <euouae> Axman6: Then the docs have a typo there right? https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Traversable.html#g:7
2021-08-12 03:25:06 <dsal> e.g., this is a useful alias for me: `justM :: Monad m => (a -> m ()) -> Maybe a -> m (); justM = traverse_`
2021-08-12 03:25:19 <Cale> euouae: I find that explanation a little weird myself, but I don't think it's a mistake.
2021-08-12 03:25:26 <Axman6> yeah those docs look wrong to me but I haven't read all of it
2021-08-12 03:25:40 <euouae> Cale: Can you tell me why `append` has the right type?
2021-08-12 03:25:53 <Cale> euouae: Don't think of it as a fully-generic append function
2021-08-12 03:26:15 <euouae> If `append :: a -> T a` as they claim, how is `traverse f (append t0 a) = append <$> traverse f t0 <*> f a` possible?
2021-08-12 03:26:16 × alx741 quits (~alx741@181.196.68.193) (Quit: alx741)
2021-08-12 03:26:20 <Cale> Think of it as really representing a particular container of elements, using a function that, given an additional element, will add that element to the container
2021-08-12 03:26:52 <euouae> Yeah it's the arity of the type that bothers me. It seems that append is applied to more arguments than the type indicates in the source code
2021-08-12 03:27:14 <Cale> ah, perhaps
2021-08-12 03:27:20 <Cale> In that case, I have no idea
2021-08-12 03:27:31 <Cale> I should probably read and understand the thing :P
2021-08-12 03:27:40 <euouae> No it's OK I'll submit a PR
2021-08-12 03:27:54 <euouae> let the person who wants to review it deal with it, no need to spend more energy than needed :P
2021-08-12 03:33:53 <Cale> euouae: I think they meant to write append t0 :: a -> T a
2021-08-12 03:34:09 <Cale> and prepend a :: T a -> T a
2021-08-12 03:35:23 <euouae> Cale: I see. They do say that a structure `t0 :: T a` can be viewed as a function `append :: a -> T a`...
2021-08-12 03:35:44 <euouae> So perhaps that was the intention, a `t0` is missing there
2021-08-12 03:36:03 <Cale> yeah
2021-08-12 03:36:04 euouae Can't yet do PRs but in a few weeks it should be possible
2021-08-12 03:36:30 <Cale> Also, I'm theoretically on the CLC, so I should be able to do it, but I have no idea, lol.
2021-08-12 03:36:48 <euouae> What's the CLC?
2021-08-12 03:37:07 <Cale> Core libraries committee
2021-08-12 03:38:23 <euouae> You can mail them at core-libraries-committee [AT] haskell.org to fix it :P
2021-08-12 03:38:55 <euouae> I thought that the Base documentation is shipped with GHC
2021-08-12 03:40:04 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-08-12 03:41:05 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-08-12 03:41:57 <euouae> Should be somewhere here, https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/Data/Traversable.hs but I can't spot it
2021-08-12 03:43:07 <euouae> Looks like the master branch is ahead of hackage
2021-08-12 03:43:50 <euouae> https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/Data/Traversable.hs#L1007-1019
2021-08-12 03:51:19 <euouae> How can I run the test suite of https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example ?
2021-08-12 03:51:42 <euouae> I did `cabal build all` and `cabal test hedgehog-example` and I just get "test suite passed" and no messages
2021-08-12 03:51:54 <euouae> I expected a lot of output. Am I doing something wrong?
2021-08-12 03:55:09 <sclv> often test runners only give messages when there are errors
2021-08-12 03:58:45 <euouae> sclv: -- But this project is designed to actually show test errors as an example so we don't want it to break CI.
2021-08-12 03:59:06 <euouae> That's in https://github.com/hedgehogqa/haskell-hedgehog/blob/master/hedgehog-example/test/test.hs
2021-08-12 03:59:07 <sclv> well if test suite passed is the result, then there aren't errors
2021-08-12 03:59:27 <sclv> weird
2021-08-12 03:59:34 <sclv> cabal might just hide the input in the case it passes
2021-08-12 03:59:35 <euouae> sclv: This is not the output that I'm used to when I run Hedgehog once in the past
2021-08-12 03:59:50 <sclv> that's actually what i recall, sigh.
2021-08-12 04:00:24 <euouae> λ tests ━━━ Test.Example ━━━ ✓ prop_reverse passed 100 tests.
2021-08-12 04:00:29 <euouae> ^ it looks more like this, with line breaks
2021-08-12 04:00:32 <sclv> right.
2021-08-12 04:00:48 <sclv> i think if there aren't errors, `cabal test` swallows the output. don't recall the flag to fix it
2021-08-12 04:00:59 <sclv> you can always just run the generated text exe manually
2021-08-12 04:01:08 <euouae> But the output looks more like this https://paste.tomsmeding.com/0x0qdIwk
2021-08-12 04:01:27 <sclv> or maybe call `cabal run test:hedgehog-example` to run the test suite as an exe?
2021-08-12 04:01:39 <euouae> Oooh dang. The test output is logged in a file... whoops
2021-08-12 04:01:43 → Matthias1 joins (~Matthias1@2603-8001-b545-4900-3152-055a-7434-14e0.res6.spectrum.com)
2021-08-12 04:02:15 × Matthias1 quits (~Matthias1@2603-8001-b545-4900-3152-055a-7434-14e0.res6.spectrum.com) (Remote host closed the connection)
2021-08-12 04:02:25 <sclv> oh there's a `--test-show-details=FILTER` flag that the --help output lists, that might be the one
2021-08-12 04:04:49 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
2021-08-12 04:12:29 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-08-12 04:13:01 × zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.)
2021-08-12 04:13:52 → Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com)
2021-08-12 04:15:14 → zmt00 joins (~zmt00@user/zmt00)
2021-08-12 04:20:31 × euouae quits (~euouae@user/euouae) (Quit: Ping timeout (120 seconds))
2021-08-12 04:28:50 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-12 04:31:00 × khumba quits (~khumba@user/khumba) ()
2021-08-12 04:33:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2021-08-12 04:37:00 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-12 04:37:49 → nattiestnate joins (~nate@180.243.1.7)
2021-08-12 04:39:24 → img joins (~img@user/img)
2021-08-12 04:42:39 → dyeplexer joins (~dyeplexer@user/dyeplexer)
2021-08-12 04:45:36 × shailangsa quits (~shailangs@host86-145-14-24.range86-145.btcentralplus.com) ()
2021-08-12 04:52:16 × nattiestnate quits (~nate@180.243.1.7) (Ping timeout: 268 seconds)
2021-08-12 05:00:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-12 05:14:12 × derelict quits (~derelict@user/derelict) (Ping timeout: 258 seconds)
2021-08-12 05:15:54 → jneira joins (~jneira@212.8.115.226)
2021-08-12 05:17:21 → takenobu joins (uid459077@id-459077.stonehaven.irccloud.com)
2021-08-12 05:21:23 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-12 05:34:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-12 05:37:33 × spicyrice quits (~ubuntu@2600:1f11:52a:4400:ccbc:2b96:cabe:414b) (Quit: WeeChat 2.8)
2021-08-12 05:38:26 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-08-12 05:39:53 × Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection)
2021-08-12 05:45:30 lep- is now known as lep
2021-08-12 05:50:38 → retroid_ joins (~retro@5ec19a54.skybroadband.com)
2021-08-12 05:51:48 → ishutin_ joins (~ishutin@92-249-193-96.pool.digikabel.hu)
2021-08-12 05:54:42 × ishutin quits (~ishutin@176-241-45-166.pool.digikabel.hu) (Ping timeout: 240 seconds)
2021-08-12 06:14:02 → magthe joins (~magthe@c83-252-52-5.bredband.tele2.se)
2021-08-12 06:19:40 → fabfianda joins (~fabfianda@37.183.255.57)
2021-08-12 06:20:34 → derelict joins (~derelict@user/derelict)
2021-08-12 06:21:23 × magthe quits (~magthe@c83-252-52-5.bredband.tele2.se) (Quit: WeeChat 3.2)
2021-08-12 06:22:18 lep is now known as lep-
2021-08-12 06:22:44 → magthe joins (~magthe@c83-252-52-5.bredband.tele2.se)
2021-08-12 06:23:08 × magthe quits (~magthe@c83-252-52-5.bredband.tele2.se) (Client Quit)
2021-08-12 06:23:39 → magthe joins (~magthe@c83-252-52-5.bredband.tele2.se)
2021-08-12 06:24:01 lep- is now known as lep
2021-08-12 06:26:43 → Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com)
2021-08-12 06:28:01 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-08-12 06:29:43 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2021-08-12 06:29:43 Lord_of_Life_ is now known as Lord_of_Life
2021-08-12 06:30:29 <Drew[m]1> Is there an easy way to search packages on hackage their dependency bounds on a specific package?
←Prev  Next→
Page 1 .. 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 .. 18041

All times are in UTC.