Logs: freenode/#haskell
| 2021-03-06 10:45:15 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds) |
| 2021-03-06 10:45:28 | → | mirrorbird joins (~morbidgir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 10:46:12 | → | fendor joins (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 2021-03-06 10:46:41 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 10:48:37 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-06 10:48:49 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-06 10:49:26 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 10:49:47 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 10:51:07 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-06 10:52:07 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-06 10:53:43 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-06 10:55:20 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 11:02:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 11:02:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-06 11:03:06 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-06 11:03:26 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 11:03:56 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-06 11:04:06 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 11:04:13 | × | benl23 quits (sid284234@gateway/web/irccloud.com/x-cqkabivleljrbyfw) (Quit: Connection closed for inactivity) |
| 2021-03-06 11:06:22 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-06 11:06:53 | → | z0k joins (~user@115-186-141-91.nayatel.pk) |
| 2021-03-06 11:11:07 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 276 seconds) |
| 2021-03-06 11:11:25 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-06 11:11:36 | × | bigbosskor quits (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:12:05 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds) |
| 2021-03-06 11:12:05 | vgtw_ | is now known as vgtw |
| 2021-03-06 11:12:15 | → | bigbosskor joins (~Android@223.204.246.6) |
| 2021-03-06 11:13:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 2021-03-06 11:16:11 | × | mirrorbird quits (~morbidgir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 2021-03-06 11:16:31 | → | mirrorbird joins (~mirrorbir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 11:18:53 | × | plutoniix quits (~q@184.82.192.174) (Quit: Leaving) |
| 2021-03-06 11:18:53 | → | Vinoth joins (~Vinoth@122.178.22.50) |
| 2021-03-06 11:19:07 | × | mirrorbird quits (~mirrorbir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Client Quit) |
| 2021-03-06 11:19:18 | → | mirrorbird joins (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 11:22:33 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-06 11:23:25 | × | Vinoth quits (~Vinoth@122.178.22.50) (Remote host closed the connection) |
| 2021-03-06 11:29:28 | → | maier joins (~maier@i59F67B82.versanet.de) |
| 2021-03-06 11:29:58 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-06 11:30:32 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 11:33:34 | × | bigbosskor quits (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:34:16 | → | bigbosskor joins (~Android@223.204.246.6) |
| 2021-03-06 11:35:08 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-06 11:35:43 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-06 11:36:06 | × | bigbosskor quits (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:39:39 | × | Guest31857 quits (~textual@2603-7000-3040-0000-ec87-4b0b-f3fa-d9f1.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 11:41:19 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-06 11:41:23 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 11:42:01 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 11:45:12 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-06 11:45:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 11:45:41 | → | johannes_ joins (~johannes@i59F67B82.versanet.de) |
| 2021-03-06 11:46:36 | johannes_ | is now known as kenran |
| 2021-03-06 11:49:14 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) (Ping timeout: 264 seconds) |
| 2021-03-06 11:50:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 11:50:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-06 11:53:15 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-06 11:53:39 | Alleria | is now known as Guest5954 |
| 2021-03-06 11:55:50 | × | xff0x quits (~xff0x@2001:1a81:52b1:4b00:430a:4f14:4bdc:3bbe) (Ping timeout: 264 seconds) |
| 2021-03-06 11:56:29 | → | xff0x joins (~xff0x@2001:1a81:52b1:4b00:dc48:d5f0:927e:9035) |
| 2021-03-06 12:05:21 | → | bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 12:05:34 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-06 12:05:45 | <tomsmeding> | WarzoneCommand: that might be worth opening an issue for on the cabal repo |
| 2021-03-06 12:06:07 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-rfzijgrftdbyiykm) (Quit: Connection closed for inactivity) |
| 2021-03-06 12:07:04 | × | ADG1089__ quits (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 12:08:49 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 12:10:55 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 276 seconds) |
| 2021-03-06 12:12:01 | → | frankdmartinez joins (~frankdmar@212.103.48.236) |
| 2021-03-06 12:12:01 | → | Martinsos joins (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 2021-03-06 12:14:35 | <Martinsos> | I am using QuickCheck for the first time properly, and it seems I got into some kind of infinite loop or it is just very slow, not sure, but it keeps executing and never ends. It ends quickly if I introduce something in the code that would fail the tests. Specifically, I have a simple AST, so it is a small tree structure, and I made all of the parts instances of Arbitrary. I wonder now, what am I doing wrong? Why execution never ends? |
| 2021-03-06 12:14:35 | <Martinsos> | Is it generating infinite amount of tests? Is it getting stuck somewhere? I am not sure how to start researching this, any quick suggestions? Thanks a lot! |
| 2021-03-06 12:15:26 | × | bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 12:15:29 | <Martinsos> | Just in case I wasn't clear -> my QuickCheck test generates instances of this AST and then tests them. AST is not recursive. |
| 2021-03-06 12:16:16 | <__monty__> | By default quickcheck generates some 100s of examples I believe. |
| 2021-03-06 12:16:24 | <__monty__> | How large do these ASTs get? |
| 2021-03-06 12:16:44 | × | maier quits (~maier@i59F67B82.versanet.de) (Ping timeout: 245 seconds) |
| 2021-03-06 12:16:56 | <Martinsos> | Hm well they are not even really deep |
| 2021-03-06 12:17:05 | <Martinsos> | couple of levels |
| 2021-03-06 12:17:24 | <Martinsos> | but on some places, it can be any number of elements |
| 2021-03-06 12:17:58 | <Martinsos> | and I didn't try controlling that in any way, I would just put smth like listOf |
| 2021-03-06 12:18:22 | <Lycurgus> | stuff can loop |
| 2021-03-06 12:18:28 | <Martinsos> | Is that something I should worry about? Length of strings, and length of arrays? |
| 2021-03-06 12:18:32 | <Martinsos> | What can loop? |
| 2021-03-06 12:18:43 | <Lycurgus> | in this case, quick check |
| 2021-03-06 12:19:02 | <Lycurgus> | which could be taken as a tacit report of failure |
| 2021-03-06 12:19:10 | <Martinsos> | I don't know why it would loop, my AST is not recursive |
| 2021-03-06 12:19:33 | <Martinsos> | Aha, you mean to say that maybe functions I am testing on generated AST are looping |
| 2021-03-06 12:19:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-06 12:20:08 | <Martinsos> | well I don't know how to prove they are not, but I don't think that is the problem, there isn't really any opportunity for that (although I will give it an extra look) |
| 2021-03-06 12:20:21 | × | kenran quits (~johannes@i59F67B82.versanet.de) (Quit: leaving) |
| 2021-03-06 12:21:00 | → | bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 12:21:02 | × | bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 12:21:20 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 12:23:03 | <Lycurgus> | *could*, quick check isn't an oracle oder |
| 2021-03-06 12:25:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 12:29:55 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-06 12:31:06 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-06 12:31:38 | Lycurgus | suggests identifying the looping test |
| 2021-03-06 12:31:49 | → | ADG1089__ joins (~aditya@171.79.107.148) |
| 2021-03-06 12:33:20 | → | bigbosskor joins (~Android@223.204.246.6) |
| 2021-03-06 12:34:06 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
All times are in UTC.