Logs: liberachat/#haskell
| 2021-07-14 13:04:12 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-14 13:12:01 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-07-14 13:12:57 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-14 13:14:05 | <thyriaen> | howdy, friends i do not understand why this gets pattern matched on the Leaf rule, when it is not: https://paste.tomsmeding.com/plDEEwT7 |
| 2021-07-14 13:15:18 | × | Gurkenglas_ quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-07-14 13:15:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 13:17:09 | <jippiedoe> | @thyriaen in `insert`, you only return the result of the recursive call (instead of wrapping it in the rest of the tree again) |
| 2021-07-14 13:17:09 | <lambdabot> | Unknown command, try @list |
| 2021-07-14 13:18:14 | <thyriaen> | jippiedoe, in the insert lm Leaf case ? |
| 2021-07-14 13:18:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-14 13:18:40 | <jippiedoe> | in the insert lm Node case! |
| 2021-07-14 13:19:06 | <thyriaen> | but i am inserting it again in that case |
| 2021-07-14 13:19:21 | × | prite quits (~pritam@user/pritambaral) (Ping timeout: 268 seconds) |
| 2021-07-14 13:19:28 | <thyriaen> | ohhh |
| 2021-07-14 13:19:38 | <thyriaen> | im quite dumb i make the recursive call but dont put it in a tree |
| 2021-07-14 13:19:39 | <thyriaen> | xD |
| 2021-07-14 13:20:10 | → | prite joins (~pritam@user/pritambaral) |
| 2021-07-14 13:20:15 | <thyriaen> | well now i know why the gardener left me |
| 2021-07-14 13:20:32 | × | koolazer quits (~koo@user/koolazer) (Ping timeout: 245 seconds) |
| 2021-07-14 13:21:19 | <tomsmeding> | thyriaen: sometimes you need a pair of eyes that haven't been staring at the code yet to see what's going wrong :) |
| 2021-07-14 13:21:25 | <tomsmeding> | I can recommend rubber ducks |
| 2021-07-14 13:21:59 | <thyriaen> | :p |
| 2021-07-14 13:24:09 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-14 13:24:29 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-14 13:26:27 | × | hendursaga quits (~weechat@user/hendursaga) (Client Quit) |
| 2021-07-14 13:26:52 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-14 13:27:17 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-14 13:29:51 | × | thyriaen quits (~thyriaen@45.178.73.238) (Quit: Leaving) |
| 2021-07-14 13:30:00 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-07-14 13:30:19 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-14 13:30:25 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-14 13:30:38 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-14 13:34:29 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-14 13:35:19 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-14 13:36:00 | × | zgrep quits (~zgrep@user/zgrep) (Quit: It's a quitter's world.) |
| 2021-07-14 13:37:32 | → | zgrep joins (~zgrep@user/zgrep) |
| 2021-07-14 13:37:37 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9516e15cb996b96a0953.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-07-14 13:47:56 | → | madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-07-14 13:50:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-14 13:53:20 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-07-14 13:55:07 | × | michalz quits (~michalz@185.246.204.60) (Remote host closed the connection) |
| 2021-07-14 13:56:33 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-14 13:59:17 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 2021-07-14 14:02:10 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-14 14:02:12 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-14 14:03:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 246 seconds) |
| 2021-07-14 14:07:21 | allbery_b | is now known as geekosaur |
| 2021-07-14 14:12:34 | × | Topsi quits (~Tobias@dyndsl-095-033-020-123.ewe-ip-backbone.de) (Quit: Leaving.) |
| 2021-07-14 14:14:43 | → | pharmaz0ne joins (~pharmaz0n@92.40.194.74.threembb.co.uk) |
| 2021-07-14 14:15:02 | × | pharmaz0ne quits (~pharmaz0n@92.40.194.74.threembb.co.uk) (Client Quit) |
| 2021-07-14 14:15:04 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-07-14 14:17:04 | → | pharmaz0ne joins (~pharmaz0n@92.40.194.74.threembb.co.uk) |
| 2021-07-14 14:17:05 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-14 14:17:08 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-07-14 14:17:18 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-14 14:17:43 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-14 14:21:58 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-14 14:22:07 | → | biberu joins (~biberu@user/biberu) |
| 2021-07-14 14:24:34 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-14 14:28:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-14 14:30:11 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2021-07-14 14:39:06 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-14 14:39:19 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-14 14:41:17 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-14 14:42:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 14:43:01 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-14 14:43:55 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-14 14:46:30 | × | madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 258 seconds) |
| 2021-07-14 14:52:15 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2021-07-14 14:52:32 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-14 14:56:15 | → | koolazer joins (~koo@user/koolazer) |
| 2021-07-14 14:59:35 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2021-07-14 15:01:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-14 15:02:07 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-14 15:03:48 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-14 15:04:01 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-14 15:04:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-14 15:05:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-07-14 15:07:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-14 15:07:47 | × | azeem quits (~azeem@176.201.40.210) (Read error: Connection reset by peer) |
| 2021-07-14 15:08:07 | → | azeem joins (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) |
| 2021-07-14 15:08:22 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-14 15:08:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-14 15:08:45 | cheater1__ | is now known as cheater |
| 2021-07-14 15:13:04 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-14 15:13:15 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-14 15:20:13 | × | chomwitt quits (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 268 seconds) |
| 2021-07-14 15:22:22 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-14 15:26:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-14 15:29:06 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-14 15:31:33 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-14 15:32:03 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-14 15:33:04 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-14 15:33:39 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-14 15:34:14 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-14 15:34:25 | × | koolazer quits (~koo@user/koolazer) (Ping timeout: 258 seconds) |
| 2021-07-14 15:35:44 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-14 15:37:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 15:38:15 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-14 15:38:25 | <hololeap> | is caching PATH really that bad of an idea? it doesn't seem like something that would change very often |
All times are in UTC.