Logs: liberachat/#haskell
| 2021-07-04 22:49:26 | × | eight quits (~eight@user/eight) (Remote host closed the connection) |
| 2021-07-04 22:50:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-04 22:51:21 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-04 22:52:39 | → | econo joins (uid147250@user/econo) |
| 2021-07-04 22:55:24 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-04 22:56:37 | <dexterfoo> | what's the difference between: (Show a => Ord a => a) vs. ((Show a, Ord a) => a) ? |
| 2021-07-04 22:57:47 | <geekosaur> | none, unless it's a pattern synonym |
| 2021-07-04 22:58:30 | <geekosaur> | for the latter, the one before the first => is the required constraint and the other is the provided constraint |
| 2021-07-04 22:58:34 | <dexterfoo> | in all the tutorials and all the code i've seen, i always see the second. i didn't even know the first syntax was possible |
| 2021-07-04 22:58:56 | <geekosaur> | it's not supposed to be possible, it's a side effect of how ghc parses constraints |
| 2021-07-04 23:02:24 | × | dunj3 quits (~dunj3@2001:16b8:3050:bb00:92ff:fb46:3b31:9dc1) (Remote host closed the connection) |
| 2021-07-04 23:02:42 | <geekosaur> | I think there might even be an issue about it |
| 2021-07-04 23:07:29 | → | aerona joins (~aerona@2600:6c54:4600:f300:50a2:c330:37d8:4b40) |
| 2021-07-04 23:08:51 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Remote host closed the connection) |
| 2021-07-04 23:11:23 | <dexterfoo> | thank you |
| 2021-07-04 23:15:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-04 23:19:36 | → | infinisil[m] joins (~infinisil@2001:470:69fc:105::ff8) |
| 2021-07-04 23:23:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-07-04 23:29:22 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-04 23:31:22 | → | dajoer joins (~david@user/gvx) |
| 2021-07-04 23:31:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-04 23:33:36 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 23:34:01 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 23:34:03 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-04 23:36:53 | → | eight joins (~eight@user/eight) |
| 2021-07-04 23:40:32 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-07-04 23:44:16 | × | Codaraxis__ quits (~Codaraxis@193.32.126.157) (Ping timeout: 265 seconds) |
| 2021-07-04 23:44:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-04 23:46:41 | → | cuz joins (~user@2601:182:cc02:8b0:65c8:4bfc:4b31:711c) |
| 2021-07-04 23:47:08 | → | thornAvery joins (~thorn@121.220.33.124) |
| 2021-07-04 23:47:30 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 240 seconds) |
| 2021-07-04 23:49:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 23:49:34 | <qrpnxz> | i'm trying to bind the result of an if expr in a do statement, but it keeps parsing as if all subsequent statements in the do where part of the else clause, don't know how to fix |
| 2021-07-04 23:50:19 | <geekosaur> | @where paste |
| 2021-07-04 23:50:19 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-07-04 23:50:51 | <geekosaur> | sounds as if NondecreasingIndentation might be getting you, but if is an expression and not a statement so this seems weird |
| 2021-07-04 23:51:44 | × | cuz quits (~user@2601:182:cc02:8b0:65c8:4bfc:4b31:711c) (Ping timeout: 256 seconds) |
| 2021-07-04 23:51:46 | <qrpnxz> | yeah idk, i'll post the paste in a sec |
| 2021-07-04 23:52:48 | <qrpnxz> | ah wtf, as soon as i paste in the terminal for the paste it was obvious, my editor was doing some whitespace fuckery. I fixed it |
| 2021-07-04 23:53:34 | <geekosaur> | this is why you configure your editor to expand tabs; they do odd things |
| 2021-07-04 23:55:12 | <qrpnxz> | i'm used to using just tabs but haskell is different (which i'm ok with) |
| 2021-07-04 23:55:36 | <geekosaur> | it'll also bite you with python if you ever need to work in that |
| 2021-07-04 23:55:59 | <qrpnxz> | python i'm not okay with, but at least they don't care spaces vs tabs iirc |
| 2021-07-04 23:56:39 | <geekosaur> | you can still get caught out this way if tabs expand differently in a terminal than in the editor |
| 2021-07-04 23:56:49 | <qrpnxz> | having fun right now making a filthy stateful slice library hahahaha. ik haskell is about the purity, but i just miss these man |
| 2021-07-04 23:57:26 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-04 23:57:43 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-04 23:58:13 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-05 00:02:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-05 00:04:19 | × | stevenxl_ quits (~stevenlei@68.235.43.141) (Quit: leaving) |
| 2021-07-05 00:04:56 | → | steshaw joins (~steshaw@122-151-164-35.sta.wbroadband.net.au) |
| 2021-07-05 00:06:39 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-05 00:06:58 | × | awth13 quits (~user@user/awth13) (Remote host closed the connection) |
| 2021-07-05 00:07:24 | × | thornAvery quits (~thorn@121.220.33.124) (Ping timeout: 258 seconds) |
| 2021-07-05 00:11:27 | → | thornAvery joins (~thorn@121.220.33.124) |
| 2021-07-05 00:17:04 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Remote host closed the connection) |
| 2021-07-05 00:17:22 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-05 00:17:40 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 00:18:08 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2021-07-05 00:20:38 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-05 00:22:11 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-05 00:22:20 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-05 00:27:07 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-05 00:27:26 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2021-07-05 00:27:44 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-07-05 00:29:42 | × | xwx quits (~george@user/george) (Ping timeout: 265 seconds) |
| 2021-07-05 00:32:03 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-05 00:34:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-05 00:35:33 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-05 00:36:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-05 00:37:55 | × | thornAvery quits (~thorn@121.220.33.124) (Ping timeout: 265 seconds) |
| 2021-07-05 00:38:42 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-05 00:39:11 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-05 00:41:30 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-07-05 00:42:25 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-07-05 00:42:44 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-05 00:43:45 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-05 00:46:29 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-05 00:47:12 | × | alx741 quits (~alx741@186.178.108.123) (Quit: alx741) |
| 2021-07-05 00:48:38 | × | cjb quits (~cjb@user/cjb) (Quit: brb) |
| 2021-07-05 00:48:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-05 00:49:17 | → | alx741 joins (~alx741@186.178.108.123) |
| 2021-07-05 00:50:25 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:5760:9bdb:910c:2812) (Remote host closed the connection) |
| 2021-07-05 00:58:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 00:59:28 | → | zmt01 joins (~zmt00@user/zmt00) |
| 2021-07-05 00:59:32 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-05 00:59:57 | → | awth13 joins (~user@user/awth13) |
| 2021-07-05 01:00:42 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-07-05 01:01:59 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-05 01:13:24 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Remote host closed the connection) |
| 2021-07-05 01:15:29 | × | cjb quits (~cjb@user/cjb) (Quit: brb, trying rcirc SASL again) |
| 2021-07-05 01:16:51 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-05 01:16:51 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-05 01:17:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-05 01:17:52 | allbery_b | is now known as geekosaur |
| 2021-07-05 01:18:06 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-05 01:18:27 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-05 01:19:58 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Remote host closed the connection) |
| 2021-07-05 01:20:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-05 01:20:10 | → | magnuscake joins (~magnuscak@87.121.92.61) |
All times are in UTC.