Logs: liberachat/#haskell
| 2021-08-08 10:07:04 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-08-08 10:07:36 | → | cbarrett joins (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-08-08 10:07:50 | → | anderson joins (~ande@134.209.221.71) |
| 2021-08-08 10:08:02 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:08:02 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 245 seconds) |
| 2021-08-08 10:08:14 | → | cfebs joins (~cfebs@user/cfebs) |
| 2021-08-08 10:08:27 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-08-08 10:08:48 | <euouae> | no wait! It even caught a real bug in my code! |
| 2021-08-08 10:09:30 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 2021-08-08 10:10:02 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-08 10:10:10 | × | ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2021-08-08 10:10:15 | <euouae> | the original Hangman I posted had the mistake of not updating the guess-character list with a character if it was a wrong guess |
| 2021-08-08 10:10:20 | → | tapas joins (sid467876@charlton.irccloud.com) |
| 2021-08-08 10:10:32 | × | PotatoGim quits (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:10:37 | <juri_> | I should add property tests to my code more often. it's a bit difficult when all of your 'success cases' are corner cases. |
| 2021-08-08 10:10:56 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 2021-08-08 10:11:14 | <euouae> | Oh man what a success story for me this was |
| 2021-08-08 10:11:32 | <euouae> | A simple game like Hangman and I managed to slip a bug in there and rudimentary use of Hedgehog caught it |
| 2021-08-08 10:11:32 | → | EvanR joins (~evan@mail.evanr.info) |
| 2021-08-08 10:11:32 | × | EvanR quits (~evan@mail.evanr.info) (Changing host) |
| 2021-08-08 10:11:32 | → | EvanR joins (~evan@user/evanr) |
| 2021-08-08 10:11:34 | <sm> | victory out of the jaws of defeat! |
| 2021-08-08 10:11:41 | <euouae> | hehe ^_^ |
| 2021-08-08 10:11:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-08 10:11:48 | × | Athas quits (athas@2a01:7c8:aaac:1cf:92c9:1e49:a17c:2d03) (Remote host closed the connection) |
| 2021-08-08 10:12:13 | → | elcaro joins (~anonymous@45.32.191.75) |
| 2021-08-08 10:12:30 | × | phma quits (phma@2001:5b0:210f:5478:d01b:a8f6:5c4b:b741) (Read error: Connection reset by peer) |
| 2021-08-08 10:12:37 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 245 seconds) |
| 2021-08-08 10:12:53 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-08 10:13:08 | <euouae> | https://paste.tomsmeding.com/Wln1Rbtd |
| 2021-08-08 10:13:19 | <euouae> | Here you go, my Spec.hs that caught the bug, together with the new and old version of Lib.hs (the old version contains the bug) |
| 2021-08-08 10:13:34 | <euouae> | the bug was caught by prop_repeat_guess |
| 2021-08-08 10:13:55 | → | mjrosenb joins (~mrosenbe@nyc.schrodinger.com) |
| 2021-08-08 10:14:22 | → | Athas joins (athas@sigkill.dk) |
| 2021-08-08 10:14:31 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-08-08 10:14:36 | → | PotatoGim joins (sid99505@id-99505.tooting.irccloud.com) |
| 2021-08-08 10:14:42 | × | supersven quits (uid501114@id-501114.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:14:42 | × | dsal quits (sid13060@id-13060.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:15:36 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-08-08 10:16:27 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 2021-08-08 10:16:29 | → | supersven joins (uid501114@id-501114.charlton.irccloud.com) |
| 2021-08-08 10:16:54 | → | dsal joins (sid13060@id-13060.tooting.irccloud.com) |
| 2021-08-08 10:17:32 | <sm> | euouae: have you still got the test runner output ? |
| 2021-08-08 10:17:37 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:17:37 | × | ProofTechnique quits (sid79547@id-79547.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:17:40 | <euouae> | Yeah why? |
| 2021-08-08 10:18:02 | <sm> | I'm interested to see it |
| 2021-08-08 10:18:27 | × | jonrh quits (sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:18:52 | × | sa1 quits (sid7690@id-7690.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:19:03 | <euouae> | sm: here you go, https://paste.tomsmeding.com/9hKcNTUJ |
| 2021-08-08 10:19:09 | → | energizer joins (~energizer@user/energizer) |
| 2021-08-08 10:19:13 | <euouae> | Added the output as a fourth file |
| 2021-08-08 10:19:42 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 2021-08-08 10:19:53 | <sm> | thanks! that's pretty great |
| 2021-08-08 10:19:55 | → | ProofTechnique joins (sid79547@id-79547.charlton.irccloud.com) |
| 2021-08-08 10:20:37 | → | jonrh joins (sid5185@id-5185.charlton.irccloud.com) |
| 2021-08-08 10:20:40 | → | ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-08 10:20:41 | → | sa1 joins (sid7690@id-7690.charlton.irccloud.com) |
| 2021-08-08 10:20:49 | <euouae> | yeah I managed to catch what is probably the only bug in the code in less than 10 minutes of writing property tests |
| 2021-08-08 10:20:50 | → | bens joins (~bens@www.typius.com) |
| 2021-08-08 10:21:01 | <euouae> | I'm now a believer |
| 2021-08-08 10:21:07 | <sm> | ha I bet there's more |
| 2021-08-08 10:21:11 | <euouae> | :< |
| 2021-08-08 10:21:34 | → | ptrcmd joins (~ptrcmd@user/ptrcmd) |
| 2021-08-08 10:22:44 | <tomsmeding> | :t \f x -> f `flip` x |
| 2021-08-08 10:22:45 | <lambdabot> | (a -> b -> c) -> b -> a -> c |
| 2021-08-08 10:22:58 | <tomsmeding> | interesting way of writing that |
| 2021-08-08 10:23:02 | × | PotatoGim quits (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 10:23:02 | × | Igfoo quits (~ian@matrix.chaos.earth.li) (Ping timeout: 245 seconds) |
| 2021-08-08 10:23:12 | → | Igfoo joins (~ian@matrix.chaos.earth.li) |
| 2021-08-08 10:23:23 | <tomsmeding> | an alternative would be (`Lib.guessCharacter` c) |
| 2021-08-08 10:23:38 | <tomsmeding> | or, of course, let guessC g = Lib.guessCharacter g c |
| 2021-08-08 10:23:38 | <euouae> | oh nice heh |
| 2021-08-08 10:23:50 | <tomsmeding> | which is more readable IMO :) |
| 2021-08-08 10:23:55 | <euouae> | hmmmm nice |
| 2021-08-08 10:24:45 | → | mei joins (~mei@user/mei) |
| 2021-08-08 10:24:48 | → | PotatoGim joins (sid99505@id-99505.tooting.irccloud.com) |
| 2021-08-08 10:26:13 | <euouae> | I'll take this small victory and go home to sleep |
| 2021-08-08 10:26:21 | <euouae> | Have a good one, thanks for all the help! |
| 2021-08-08 10:26:32 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-08 10:26:34 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 10:26:37 | allbery_b | is now known as geekosaur |
| 2021-08-08 10:26:46 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 2021-08-08 10:27:27 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-08-08 10:34:19 | × | sander quits (~sander@user/sander) (Ping timeout: 258 seconds) |
| 2021-08-08 10:36:56 | → | sander joins (~sander@user/sander) |
| 2021-08-08 10:38:35 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-08 10:39:35 | → | MoC joins (~moc@user/moc) |
| 2021-08-08 10:45:18 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-08-08 10:45:33 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-08 11:00:00 | × | agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) (Ping timeout: 258 seconds) |
| 2021-08-08 11:12:16 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
| 2021-08-08 11:20:05 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-08-08 11:20:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-08 11:26:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-08 11:31:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-08-08 11:32:32 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-08 11:34:22 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-08 11:41:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-08 11:44:33 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
All times are in UTC.