Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 .. 5022
— 502,152 events total
2021-02-28 17:26:32 → d34df00d joins (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net)
2021-02-28 17:26:37 <d34df00d> Hi!
2021-02-28 17:26:59 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-02-28 17:27:20 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:90e2:dd27:98b8:d1b2)
2021-02-28 17:27:33 <d34df00d> I want to contribute to a project that uses tasty for tests (and tasty's quickcheck integration in particular). One of the tests involves a property over bytestrings. What's the right way to ensure that quickcheck also checks sufficiently large bytestrings?
2021-02-28 17:27:51 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-28 17:27:54 <d34df00d> My modification introduces branching for strings longer than N, so I want to make sure that those are indeed checked.
2021-02-28 17:29:29 <tomsmeding> BigLama: indeed, in the vast majority of cases, website sessions are kept using a cookie on the client side; cookies have nothing to do with connection sharing, but require you to keep a cookie jar. Some libraries do that for you, some don't; notably, plain 'curl' in the terminal also doesn't, but can be configured to use a cookie jar
2021-02-28 17:29:36 <tomsmeding> browsers, of course, store cookies automatically
2021-02-28 17:29:37 <[exa]> d34df00d: you can make an extra test with a predicate like `length str > N ==> myfunctionWorksOn str`
2021-02-28 17:29:37 × mrioqueiroz quits (~mrioqueir@186.251.19.98) (Ping timeout: 276 seconds)
2021-02-28 17:29:57 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-02-28 17:29:59 × jumper149 quits (~jumper149@130.75.103.194) (Quit: WeeChat 3.0.1)
2021-02-28 17:30:13 × nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 260 seconds)
2021-02-28 17:30:26 <[exa]> d34df00d: alternatively there might be some quickcheck tooling for generating longer strings; similar to the NonEmpty that it has for lists. Or you can write your own.
2021-02-28 17:30:44 <d34df00d> [exa]: oh, that's a good idea! I remember seeing something for rejecting inputs in raw quickcheck. What's the right way to do that in tasty-speak?
2021-02-28 17:30:59 <d34df00d> I'm rather lost at the "and" in "tasty and quickcheck".
2021-02-28 17:31:26 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-02-28 17:31:44 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2021-02-28 17:32:03 <maerwald> dolio: there was a lengthy argument by alexis why mtl isn't really an effects system, but I got lost in all the arguments
2021-02-28 17:33:18 <shapr> where was that discussion?
2021-02-28 17:33:23 <maerwald> here on IRC
2021-02-28 17:33:31 <maerwald> I think I have it somewhere
2021-02-28 17:35:23 <maerwald> shapr: https://paste.tomsmeding.com/ds5KKItJ
2021-02-28 17:35:35 <maerwald> I think it was that
2021-02-28 17:35:52 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 17:35:55 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 17:36:28 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 17:36:29 <[exa]> d34df00d: well not sure how much tasty modifies that, I don't know it at all. The advice was plain quickcheckish. :D
2021-02-28 17:40:11 → knupfer joins (~Thunderbi@200116b82cc9eb00a0beb8f34ef315a0.dip.versatel-1u1.de)
2021-02-28 17:40:56 <tomsmeding> d34df00d: what tasty interface are you using, exactly?
2021-02-28 17:41:19 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2021-02-28 17:41:55 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-02-28 17:42:10 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 17:42:11 <tomsmeding> in particular, if you're using tasty-quickcheck: that package just re-exports (most of) quickcheck's functionality, I believe
2021-02-28 17:42:15 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 17:42:20 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-02-28 17:42:29 <d34df00d> [exa]: that's still a good advice! I completely forgot about samples rejection and was only looking at the modifiers.
2021-02-28 17:42:34 <d34df00d> tomsmeding: https://github.com/haskell/bytestring/blob/master/tests/Properties/ByteString.hs#L285-L286 this one.
2021-02-28 17:42:47 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 17:43:18 <tomsmeding> I see 'import Test.Tasty.QuickCheck' -- it seems my suspicion was correct :)
2021-02-28 17:44:19 × toorevitimirp quits (~tooreviti@117.182.182.60) (Remote host closed the connection)
2021-02-28 17:46:26 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-02-28 17:47:09 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 245 seconds)
2021-02-28 17:49:19 → geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-28 17:50:05 → ddellacosta joins (~ddellacos@86.106.143.201)
2021-02-28 17:51:25 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 17:54:18 × kevin__ quits (~kevin@pool-100-37-189-79.nycmny.fios.verizon.net) (Quit: Leaving)
2021-02-28 17:55:21 → conal joins (~conal@192.145.118.163)
2021-02-28 17:55:54 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2021-02-28 17:56:43 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:01:09 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-02-28 18:01:29 → ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net)
2021-02-28 18:01:29 × ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-02-28 18:01:29 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2021-02-28 18:02:03 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:02:19 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-02-28 18:02:21 → ADG1089__ joins (~aditya@110.226.222.179)
2021-02-28 18:04:37 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-02-28 18:06:33 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-02-28 18:07:27 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:07:30 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 18:08:29 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:08:34 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 18:09:36 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:09:51 → redmp joins (~redmp@172.58.38.148)
2021-02-28 18:10:45 × geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-02-28 18:12:01 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:90e2:dd27:98b8:d1b2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-28 18:13:59 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2021-02-28 18:14:55 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:15:01 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 18:15:40 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-02-28 18:16:03 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:17:23 × rajivr quits (uid269651@gateway/web/irccloud.com/x-nydprmgitcsjloxf) (Quit: Connection closed for inactivity)
2021-02-28 18:18:03 → mayleesia joins (4d0db908@dynamic-077-013-185-008.77.13.pool.telefonica.de)
2021-02-28 18:20:57 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-02-28 18:21:19 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:22:14 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 18:23:06 × mayleesia quits (4d0db908@dynamic-077-013-185-008.77.13.pool.telefonica.de) (Quit: Connection closed)
2021-02-28 18:25:34 → Tops21 joins (~Tobias@dyndsl-095-033-017-115.ewe-ip-backbone.de)
2021-02-28 18:26:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-28 18:27:40 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:27:46 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-02-28 18:28:07 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 276 seconds)
2021-02-28 18:28:48 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:29:25 × Tops2 quits (~Tobias@dyndsl-095-033-017-115.ewe-ip-backbone.de) (Ping timeout: 276 seconds)
2021-02-28 18:30:02 → aveltras joins (uid364989@gateway/web/irccloud.com/x-miyjlxdpioeuznoz)
2021-02-28 18:30:18 × sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-02-28 18:30:58 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-02-28 18:31:17 × akasha quits (~user@unaffiliated/akasha) (Read error: Connection reset by peer)
2021-02-28 18:31:56 × tanuki_ quits (~quassel@173.168.154.189) (Ping timeout: 240 seconds)
2021-02-28 18:32:28 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-02-28 18:33:33 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-02-28 18:33:36 × ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-02-28 18:35:07 → tanuki joins (~quassel@173.168.154.189)
2021-02-28 18:35:11 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-28 18:36:56 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2021-02-28 18:37:16 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-28 18:39:06 × emmanuel_erc quits (~user@cpe-74-71-106-64.nyc.res.rr.com) (Remote host closed the connection)
2021-02-28 18:39:39 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 .. 5022

All times are in UTC.