Logs: freenode/#haskell
| 2021-04-08 01:46:40 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-04-08 01:48:19 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-04-08 01:53:23 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2021-04-08 01:54:24 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-08 01:59:09 | × | cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 268 seconds) |
| 2021-04-08 01:59:47 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 248 seconds) |
| 2021-04-08 02:06:56 | → | juri__ joins (~juri@79.140.120.131) |
| 2021-04-08 02:07:00 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-04-08 02:08:11 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-08 02:08:52 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-04-08 02:09:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-08 02:10:21 | × | juri_ quits (~juri@212.86.35.156) (Ping timeout: 260 seconds) |
| 2021-04-08 02:10:40 | × | kadoban_ quits (~mud@unaffiliated/kadoban) (Remote host closed the connection) |
| 2021-04-08 02:10:44 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-08 02:13:15 | × | aerona quits (~aerona@2600:6c54:4600:f300:a1c5:a27d:d58e:3c09) (Quit: Leaving) |
| 2021-04-08 02:28:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-08 02:32:29 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-08 02:36:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-08 02:37:30 | × | carlomagno quits (~cararell@148.87.23.13) (Quit: Leaving.) |
| 2021-04-08 02:44:29 | × | lawt quits (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-08 02:45:14 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:c1ad:8d4a:3143:388e) |
| 2021-04-08 02:47:07 | → | lawt joins (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) |
| 2021-04-08 02:51:26 | × | theDon quits (~td@muedsl-82-207-238-149.citykom.de) (Ping timeout: 240 seconds) |
| 2021-04-08 02:53:38 | → | theDon joins (~td@muedsl-82-207-238-224.citykom.de) |
| 2021-04-08 02:54:56 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:c1ad:8d4a:3143:388e) () |
| 2021-04-08 02:56:00 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-08 02:56:00 | finn_elija | is now known as Guest82750 |
| 2021-04-08 02:56:00 | FinnElija | is now known as finn_elija |
| 2021-04-08 02:57:38 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-gutayqhfktjbgela) (Quit: Connection closed for inactivity) |
| 2021-04-08 02:58:47 | × | ulidtko quits (~ulidtko@194.54.80.38) (Ping timeout: 260 seconds) |
| 2021-04-08 02:59:09 | × | Guest82750 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-08 03:02:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-08 03:02:28 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-xsuaebaitzobmxge) |
| 2021-04-08 03:04:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-08 03:07:10 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-zogxbflcfypzetqv) (Quit: Connection closed for inactivity) |
| 2021-04-08 03:10:58 | → | aerona joins (~aerona@2600:6c54:4600:f300:fe08:6f18:f4e0:33dc) |
| 2021-04-08 03:11:46 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-08 03:13:29 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-08 03:14:04 | × | xlei quits (znc@unaffiliated/xlei) (Read error: Connection reset by peer) |
| 2021-04-08 03:17:18 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-08 03:18:16 | <Axman6> | pjb: you after this? https://ift.tt/3wCCaia |
| 2021-04-08 03:28:15 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-04-08 03:30:51 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-08 03:34:11 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-04-08 03:34:29 | → | fissureman joins (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 2021-04-08 03:34:38 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-04-08 03:35:22 | <koz_> | Where can I find the list of boot packages again? |
| 2021-04-08 03:35:55 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-08 03:36:19 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-08 03:39:40 | × | alx741 quits (~alx741@181.196.68.139) (Quit: alx741) |
| 2021-04-08 03:42:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-08 03:43:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 03:44:36 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-lyzlpexksowrzqil) (Quit: Connection closed for inactivity) |
| 2021-04-08 03:44:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-08 03:47:08 | → | raym joins (~ray@45.64.220.116) |
| 2021-04-08 03:47:26 | → | fakubish[m] joins (fakubishne@gateway/shell/matrix.org/x-pttnirxiqljdhzeo) |
| 2021-04-08 03:48:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-08 03:50:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-08 03:51:59 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-04-08 03:53:47 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-08 03:53:51 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-08 03:54:06 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-08 03:55:33 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-08 03:55:47 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-08 03:56:09 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e032:860d:11aa:7812) (Remote host closed the connection) |
| 2021-04-08 03:56:11 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-08 03:57:38 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-08 03:59:11 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 2021-04-08 04:01:06 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-08 04:01:18 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-08 04:02:52 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 2021-04-08 04:03:09 | → | motersen joins (~motersen@gateway/tor-sasl/motersen) |
| 2021-04-08 04:03:39 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-08 04:04:41 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-04-08 04:05:02 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-08 04:07:40 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-08 04:08:18 | → | dave_uy4 joins (~david@108.61.193.26) |
| 2021-04-08 04:09:23 | × | nrh^ quits (wear_a_mas@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 248 seconds) |
| 2021-04-08 04:09:54 | × | dave_uy quits (~david@108.61.193.26) (Ping timeout: 268 seconds) |
| 2021-04-08 04:10:11 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-08 04:10:31 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-08 04:15:20 | → | p3n_ joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2021-04-08 04:16:12 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 246 seconds) |
| 2021-04-08 04:17:11 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-04-08 04:17:32 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-08 04:17:50 | → | glaceon joins (~glaceon@117.222.66.35) |
| 2021-04-08 04:21:42 | × | drbean_ quits (~drbean@TC210-63-209-180.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-08 04:21:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-08 04:23:18 | <gnumonic> | This is probably a dumb question, but why does "f . g $ x" sometimes fail to typecheck even though "f $ g $ x" or "f (g x)" will? |
| 2021-04-08 04:23:45 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-08 04:24:45 | <c_wraith> | in what situations? If it involves things with types like runST, it's because of the lack of impredicative instantiation. If it's something else, you probably misgrouped the identifiers |
| 2021-04-08 04:26:09 | <c_wraith> | I wonder if quick look impredicative types will actually make runST . foo typecheck |
| 2021-04-08 04:26:30 | × | Wuzzy quits (~Wuzzy@p5790e46d.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-08 04:26:31 | <gnumonic> | Mostly I've run into it with 'withSingI' from singletons (where g is withSingI and x expects a SingI context) |
| 2021-04-08 04:31:51 | <koz_> | Where can I find the list of boot packages again? |
| 2021-04-08 04:32:03 | <c_wraith> | those types are weird. I'm betting GHC is hitting the same code paths mean it can't instantiate some parameter with a polytype |
| 2021-04-08 04:33:49 | × | NGravity quits (csp@gateway/shell/xshellz/x-yvbxxozqugoitghs) (Quit: gone) |
| 2021-04-08 04:33:59 | → | NGravity joins (csp@gateway/shell/xshellz/x-xeirqxdnpwrslhwp) |
| 2021-04-08 04:38:49 | → | alx741 joins (~alx741@181.196.68.139) |
| 2021-04-08 04:38:49 | × | alx741 quits (~alx741@181.196.68.139) (Client Quit) |
All times are in UTC.