Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 .. 18041
— 1,804,057 events total
2021-08-13 02:18:39 → the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f)
2021-08-13 02:20:28 → PotatoHatsue joins (~berberman@2001:470:69fc:105::b488)
2021-08-13 02:20:48 → OndejSkup[m] joins (~mimivxmat@2001:470:69fc:105::c300)
2021-08-13 02:22:33 <euouae> It just says that `--test-option=` is used to pass options to the test executable
2021-08-13 02:22:48 <euouae> Is this related to cabal? I think at this point the question is about the interface of the hedgehog test executables
2021-08-13 02:23:03 <Axman6> you might also need to look at the docs for hedgehog to see what flags it accepts
2021-08-13 02:23:27 <euouae> Where are the hedgehog docs
2021-08-13 02:23:33 <euouae> Or do you mean read the source code comments?
2021-08-13 02:23:59 <Axman6> This is for you to find out, I don't know, I haven't used hedgehog directly
2021-08-13 02:24:26 <euouae> You might be wrong about the workflow then
2021-08-13 02:24:39 <euouae> They might not necessarily follow cabal conventions
2021-08-13 02:24:42 → denbrahe[m] joins (~denbrahem@2001:470:69fc:105::19c0)
2021-08-13 02:24:52 → amesgen[m] joins (~amesgenm]@2001:470:69fc:105::82b)
2021-08-13 02:24:56 <Axman6> I'm going off what the workflow is for most other testing libraries like quickcheck and tasty
2021-08-13 02:25:00 → hsiktas[m] joins (~hsiktasma@2001:470:69fc:105::30d4)
2021-08-13 02:25:24 <Axman6> and hedgehog integreates with tasty so I would be surprised if it is significantly different, but this could all depend on how you are using things
2021-08-13 02:25:42 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-08-13 02:25:42 FinnElija is now known as Guest800
2021-08-13 02:25:42 finn_elija is now known as FinnElija
2021-08-13 02:25:52 <euouae> I'm going to look at the generated haddock from the project
2021-08-13 02:27:17 → unrooted joins (~unrooted@2001:470:69fc:105::a4a)
2021-08-13 02:28:00 × Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-13 02:28:33 <euouae> I can't find anything
2021-08-13 02:28:49 × Guest800 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 248 seconds)
2021-08-13 02:28:51 → peddie joins (~peddie@2001:470:69fc:105::25d)
2021-08-13 02:29:08 <euouae> The only thing at the very bottom of https://hackage.haskell.org/package/hedgehog mentions loading up GHCi
2021-08-13 02:30:26 <Axman6> most other test libraries provide a function which you use for the `main` definition, and it takes care of all this stuff, but it doesn't look lik e hedgehog does. maybe look at tasty-hedgehog: https://hackage.haskell.org/package/tasty-hedgehog-1.1.0.0/docs/Test-Tasty-Hedgehog.html#t:HedgehogReplay
2021-08-13 02:31:42 <Axman6> looks like if you used tasty-hedgehog you could pass in --hedgehog-replay="{size} {seed}"
2021-08-13 02:32:38 <euouae> A very appropriate integration between `tasty` and `hedgehog`
2021-08-13 02:32:47 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2021-08-13 02:32:49 <euouae> just worth it for the package name alone :P
2021-08-13 02:33:49 <euouae> OK I see what's going on. Hedgehog left that aspect purposefully undeveloped since tasty exists
2021-08-13 02:33:57 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
2021-08-13 02:34:26 <euouae> It's probably not the right moment for me to delve into tasty, but thank you for the link. I will use it at some point
2021-08-13 02:34:41 → fgaz joins (~fgaz@2001:470:69fc:105::842)
2021-08-13 02:34:52 euouae wonders if Hedgehog should at least mention tasty in the README.md docs... in the workflow sectino
2021-08-13 02:35:41 → alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
2021-08-13 02:35:46 → kar1 joins (~kar1@2001:470:69fc:105::c308)
2021-08-13 02:36:08 → smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32)
2021-08-13 02:36:17 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds)
2021-08-13 02:40:40 → ac joins (~aloiscoch@2001:470:69fc:105::65)
2021-08-13 02:41:01 → kevin[m]123 joins (~pnotequal@2001:470:69fc:105::a54)
2021-08-13 02:41:01 × awschnap quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-08-13 02:41:33 → lavaman joins (~lavaman@98.38.249.169)
2021-08-13 02:43:58 × euouae quits (~euouae@user/euouae) (Quit: euouae)
2021-08-13 02:44:48 <Axman6> yeah probably
2021-08-13 02:45:22 → ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a)
2021-08-13 02:45:28 → zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-13 02:46:15 → Tisoxin joins (~ikosit@user/ikosit)
2021-08-13 02:46:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 02:47:36 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-13 02:48:01 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds)
2021-08-13 02:48:42 → Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56)
2021-08-13 02:48:53 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
2021-08-13 02:50:47 <dsal> I like tasty
2021-08-13 02:50:54 <Axman6> It's yumm
2021-08-13 02:52:39 → Teohehim[m] joins (~teocmatri@2001:470:69fc:105::d327)
2021-08-13 02:52:41 → Magnus[m] joins (~magthetch@2001:470:69fc:105::d1a7)
2021-08-13 02:53:19 → vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe)
2021-08-13 02:55:23 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-08-13 02:58:07 → theproffesor joins (~theproffe@2601:282:847f:8010::3a29)
2021-08-13 03:11:23 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-08-13 03:12:19 × mnrmnaugh quits (~mnrmnaugh@68.162.206.56) (Remote host closed the connection)
2021-08-13 03:12:49 → mnrmnaugh joins (~mnrmnaugh@68.162.206.56)
2021-08-13 03:17:16 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-08-13 03:17:44 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
2021-08-13 03:21:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 03:24:31 → fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-13 03:39:14 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-08-13 03:44:19 → AndroUser joins (~androirc@93-38-201-218.ip72.fastwebnet.it)
2021-08-13 03:50:34 × AndroUser quits (~androirc@93-38-201-218.ip72.fastwebnet.it) (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com ))
2021-08-13 03:51:04 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-08-13 03:53:02 × johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 245 seconds)
2021-08-13 03:53:22 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-08-13 03:59:17 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 245 seconds)
2021-08-13 03:59:40 → berberman joins (~berberman@user/berberman)
2021-08-13 04:02:53 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-08-13 04:03:04 × adam1 quits (~adam@2001-b011-4007-2b02-08e4-8bf3-c00b-13c5.dynamic-ip6.hinet.net) (Ping timeout: 268 seconds)
2021-08-13 04:03:08 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-08-13 04:16:53 × berberman quits (~berberman@user/berberman) (Ping timeout: 258 seconds)
2021-08-13 04:19:23 × dermato quits (~dermatobr@154.21.23.75) (Quit: WeeChat 3.1)
2021-08-13 04:20:24 → berberman joins (~berberman@user/berberman)
2021-08-13 04:21:49 → euouae joins (~euouae@user/euouae)
2021-08-13 04:24:31 → ksqsf joins (~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662)
2021-08-13 04:36:30 × fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-13 04:36:45 → MorrowM joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-13 04:37:16 × euouae quits (~euouae@user/euouae) (Ping timeout: 246 seconds)
2021-08-13 04:39:54 × ksqsf quits (~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662) (Remote host closed the connection)
2021-08-13 04:40:03 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-08-13 04:40:33 × tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 248 seconds)
2021-08-13 04:40:50 × MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-08-13 04:55:35 × VoidNoir0 quits (~VoidNoir0@72.80.203.52) (Quit: Connection closed)
2021-08-13 04:57:03 → wei2912 joins (~wei2912@112.199.250.21)
2021-08-13 05:05:46 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 05:10:37 → adam1 joins (~adam@2001-b011-4007-20db-9096-c829-d743-79e0.dynamic-ip6.hinet.net)
2021-08-13 05:11:20 → ksqsf joins (~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662)
2021-08-13 05:17:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 05:17:40 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds)
2021-08-13 05:20:42 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 05:23:29 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
←Prev  Next→
Page 1 .. 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 .. 18041

All times are in UTC.