Logs: freenode/#haskell
| 2021-05-14 09:54:08 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-14 09:54:15 | <kuribas> | @undo do a <- x; pure $ let {b = y} in Foo x y |
| 2021-05-14 09:54:15 | <lambdabot> | x >>= \ a -> pure $ let { b = y} in Foo x y |
| 2021-05-14 09:54:46 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9585d94a8a519d1af897.dip0.t-ipconnect.de) |
| 2021-05-14 09:55:39 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 09:55:52 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-14 09:58:56 | arahael1 | is now known as Arahael |
| 2021-05-14 10:00:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:01:13 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:02:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 10:03:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 10:03:41 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2021-05-14 10:04:15 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-05-14 10:05:45 | → | ddellacosta joins (~ddellacos@86.106.143.111) |
| 2021-05-14 10:10:24 | × | ddellacosta quits (~ddellacos@86.106.143.111) (Ping timeout: 245 seconds) |
| 2021-05-14 10:10:34 | → | [1]MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-05-14 10:10:42 | × | MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 265 seconds) |
| 2021-05-14 10:10:54 | [1]MrMobius | is now known as MrMobius |
| 2021-05-14 10:11:27 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (Quit: cgfbee) |
| 2021-05-14 10:12:11 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 10:12:28 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-05-14 10:14:37 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 10:15:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:15:01 | <enikar> | kuribas: perhaps, with -foptimal-applicative-do, you'll get better desugaring. |
| 2021-05-14 10:15:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:16:45 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 2021-05-14 10:17:25 | → | ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 10:18:00 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 2021-05-14 10:18:34 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-14 10:18:54 | <kuribas> | enikar: that doesn't exist |
| 2021-05-14 10:19:16 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-14 10:19:54 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 2021-05-14 10:20:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-14 10:21:06 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-14 10:21:49 | <enikar> | kuribas: it's in ghc manual, in the section "ApplicativeDo" (since 8.0.1). |
| 2021-05-14 10:22:54 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 245 seconds) |
| 2021-05-14 10:23:11 | → | Futty14 joins (53fc4b37@c83-252-75-55.bredband.tele2.se) |
| 2021-05-14 10:23:17 | <kuribas> | enikar: ah it does :) I'll try it. |
| 2021-05-14 10:23:46 | <kuribas> | It doesn't say anything about let though, it's an alternative desugaring algorithm. |
| 2021-05-14 10:29:01 | <enikar> | yes. |
| 2021-05-14 10:30:58 | → | alexander joins (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 2021-05-14 10:31:28 | alexander | is now known as Guest38393 |
| 2021-05-14 10:35:45 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-14 10:39:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:39:03 | × | Guest38393 quits (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 2021-05-14 10:41:47 | → | chomwitt joins (~alexander@2a02:587:dc0e:4e00:38f4:60b0:4dbb:46) |
| 2021-05-14 10:44:34 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 2021-05-14 10:44:36 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 10:45:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 10:48:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 10:50:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 10:52:40 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 276 seconds) |
| 2021-05-14 10:54:35 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 2021-05-14 10:56:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 10:56:22 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 10:58:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:58:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 11:00:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-14 11:02:31 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-14 11:06:34 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 11:07:01 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-05-14 11:07:16 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds) |
| 2021-05-14 11:07:44 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds) |
| 2021-05-14 11:09:29 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-14 11:09:49 | × | Guest47543 quits (~textual@2603-7000-3040-0000-d07d-0f62-085c-2849.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 11:10:13 | → | jespada_ joins (~jespada@90.254.244.151) |
| 2021-05-14 11:10:21 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-14 11:11:47 | → | Xraell joins (~xraell@45.157.15.145) |
| 2021-05-14 11:12:41 | × | jespada quits (~jespada@87.74.38.81) (Ping timeout: 260 seconds) |
| 2021-05-14 11:13:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 2021-05-14 11:13:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 11:13:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 11:15:09 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-14 11:15:13 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 11:16:12 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-14 11:16:53 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-14 11:17:44 | → | nix-on-droid joins (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 2021-05-14 11:18:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-14 11:18:35 | × | Codaraxis__ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds) |
| 2021-05-14 11:18:44 | × | darjeeling_ quits (~darjeelin@122.245.120.162) (Quit: WeeChat 3.1) |
| 2021-05-14 11:19:23 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 2021-05-14 11:20:03 | → | darjeeling_ joins (~darjeelin@122.245.120.162) |
| 2021-05-14 11:22:23 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-05-14 11:23:53 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 260 seconds) |
| 2021-05-14 11:24:54 | × | nix-on-droid quits (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2021-05-14 11:25:09 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 2021-05-14 11:25:13 | → | nix-on-droid joins (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 2021-05-14 11:25:40 | × | Futty14 quits (53fc4b37@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 2021-05-14 11:26:30 | → | jess joins (jess@freenode/staff/jess) |
| 2021-05-14 11:26:43 | × | nix-on-droid quits (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Client Quit) |
| 2021-05-14 11:31:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 11:33:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-14 11:34:15 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 11:37:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 11:37:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-14 11:38:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 11:39:40 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 2021-05-14 11:40:26 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-14 11:41:22 | → | drbean_ joins (~drbean@TC210-63-209-210.static.apol.com.tw) |
| 2021-05-14 11:43:22 | → | jespada joins (~jespada@90.254.244.151) |
All times are in UTC.