Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 .. 5022
— 502,152 events total
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)
←Prev  Next→
Page 1 .. 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 .. 5022

All times are in UTC.