Logs: freenode/#haskell
| 2021-05-08 20:14:46 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-08 20:17:23 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:f8e2:12eb:1257:978b) (Ping timeout: 260 seconds) |
| 2021-05-08 20:17:37 | × | C4l4dbolg quits (~main@ool-18bcd822.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-08 20:18:16 | → | C4l4dbolg joins (~main@ool-18bcd822.dyn.optonline.net) |
| 2021-05-08 20:19:56 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-08 20:22:13 | <seven_three> | is it possible with quickcheck to print out a string so the result of running the test is like: `+++ OK, passed 100 tests. - someFunction` |
| 2021-05-08 20:23:29 | <seven_three> | up to this point I have been doing this from outside of the property_function being tested |
| 2021-05-08 20:28:07 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-08 20:30:10 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-08 20:31:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-08 20:32:17 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 2021-05-08 20:33:00 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-08 20:33:00 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-05-08 20:33:00 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-05-08 20:33:28 | → | iyefrat joins (~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) |
| 2021-05-08 20:35:51 | × | m_shiraeeshi quits (~shiraeesh@46.34.206.174) (Remote host closed the connection) |
| 2021-05-08 20:37:02 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 2021-05-08 20:37:51 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) |
| 2021-05-08 20:38:29 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-08 20:39:54 | → | shiraeeshi joins (~shiraeesh@46.34.206.174) |
| 2021-05-08 20:39:58 | × | C4l4dbolg quits (~main@ool-18bcd822.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-08 20:40:59 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-08 20:42:46 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-08 20:43:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 20:43:31 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-08 20:45:40 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-08 20:45:46 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-05-08 20:45:47 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-08 20:48:51 | × | shiraeeshi quits (~shiraeesh@46.34.206.174) (Remote host closed the connection) |
| 2021-05-08 20:49:13 | → | shiraeeshi joins (~shiraeesh@46.34.206.174) |
| 2021-05-08 20:50:47 | × | shiraeeshi quits (~shiraeesh@46.34.206.174) (Remote host closed the connection) |
| 2021-05-08 20:51:13 | → | shiraeeshi joins (~shiraeesh@46.34.206.174) |
| 2021-05-08 20:51:53 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 2021-05-08 20:53:51 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Connection closed) |
| 2021-05-08 20:54:07 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 20:55:10 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-08 20:57:02 | × | corvusdev quits (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-08 20:59:23 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 2021-05-08 20:59:56 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 21:00:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-08 21:02:28 | → | kiweun joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 21:03:51 | × | shiraeeshi quits (~shiraeesh@46.34.206.174) (Remote host closed the connection) |
| 2021-05-08 21:04:33 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2021-05-08 21:04:37 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 21:05:02 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-08 21:05:14 | × | kiweun quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 21:05:32 | → | shiraeeshi joins (~shiraeesh@46.34.206.174) |
| 2021-05-08 21:09:28 | → | malumore joins (~malumore@151.62.124.22) |
| 2021-05-08 21:10:25 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-08 21:12:52 | × | iyefrat quits (~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) (Remote host closed the connection) |
| 2021-05-08 21:13:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-08 21:13:27 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-08 21:13:52 | → | ollie joins (519fdcf4@host81-159-220-244.range81-159.btcentralplus.com) |
| 2021-05-08 21:14:04 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-08 21:16:20 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 21:18:38 | <ollie> | Hi, is anyone able to give me a hand with a quick error? |
| 2021-05-08 21:19:50 | → | refusenick joins (~user@2601:644:8502:d700::94c9) |
| 2021-05-08 21:20:17 | <refusenick> | I asked a question in #haskell-language-server |
| 2021-05-08 21:21:53 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-08 21:22:12 | × | alx741 quits (~alx741@181.196.69.254) (Ping timeout: 240 seconds) |
| 2021-05-08 21:26:02 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-08 21:27:23 | × | Guest39721 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-08 21:29:13 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 21:30:40 | <juri_> | ollie: post a pastebin to it? |
| 2021-05-08 21:30:44 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 21:30:51 | <ollie> | https://paste.tomsmeding.com/eSOfRq6A |
| 2021-05-08 21:31:42 | <ollie> | the exception at the top, is for line 33 |
| 2021-05-08 21:31:56 | <ollie> | try _ [] = [], that im missing a pattern match basically |
| 2021-05-08 21:34:05 | <ski> | you're missing a case for when `comp xss f' is `False' |
| 2021-05-08 21:35:54 | → | alx741 joins (~alx741@181.196.68.205) |
| 2021-05-08 21:39:04 | <ollie> | ski i've added that in but it's not the problem -> https://paste.tomsmeding.com/7wgO1e15 is the exact error |
| 2021-05-08 21:39:57 | <ollie> | xss is constant and f is from the generator, so i dont see what case is getting hit that isnt just try _ [] = [] |
| 2021-05-08 21:40:04 | <ski> | exactly what did you add in ? |
| 2021-05-08 21:40:13 | <ollie> | comp _ [] = False |
| 2021-05-08 21:40:31 | <ski> | nothing added to `try' ? |
| 2021-05-08 21:40:52 | <ollie> | nope |
| 2021-05-08 21:41:07 | <ski> | then you're still missing a case in `try' |
| 2021-05-08 21:41:12 | <ollie> | Ohh, sorry I see |
| 2021-05-08 21:41:17 | <ollie> | what you meant. |
| 2021-05-08 21:41:53 | <ski> | (sorry, i was perhaps unclear as to the location a case was missing) |
| 2021-05-08 21:44:20 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-05-08 21:46:22 | × | fendor_ quits (~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-08 21:47:31 | × | Guest6833 quits (~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-08 21:50:54 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-08 21:52:01 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 21:52:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-08 21:52:45 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-08 21:53:55 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-08 21:56:53 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-08 22:02:33 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-08 22:06:20 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-08 22:07:16 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 22:08:07 | → | Alleria joins (~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com) |
| 2021-05-08 22:08:23 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-08 22:08:30 | Alleria | is now known as Guest67296 |
| 2021-05-08 22:08:58 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-08 22:09:04 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea) |
| 2021-05-08 22:10:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-08 22:11:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-08 22:12:21 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
All times are in UTC.