Logs: freenode/#haskell
| 2021-04-03 09:48:25 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-03 09:50:27 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-04-03 09:52:11 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-03 09:53:34 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-03 09:55:28 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-03 09:56:37 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-04-03 10:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-03 10:01:33 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:d0a0:d77a:4eaa:16c) (Ping timeout: 258 seconds) |
| 2021-04-03 10:03:05 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:99a:3505:39db:7ed4) |
| 2021-04-03 10:03:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-03 10:04:42 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 260 seconds) |
| 2021-04-03 10:07:40 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:99a:3505:39db:7ed4) (Ping timeout: 258 seconds) |
| 2021-04-03 10:13:21 | <tomsmeding> | :i double |
| 2021-04-03 10:13:33 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4487:11af:62b0:68c1) |
| 2021-04-03 10:13:39 | <tomsmeding> | where even does lambdabot get that Doc function from |
| 2021-04-03 10:14:20 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 10:14:22 | <tomsmeding> | template-haskell presumably |
| 2021-04-03 10:14:30 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-03 10:19:05 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-03 10:21:04 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 10:24:18 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Client Quit) |
| 2021-04-03 10:25:09 | → | Vazomi joins (~Vazomi@i100135.upc-i.chello.nl) |
| 2021-04-03 10:25:24 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 10:26:37 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Client Quit) |
| 2021-04-03 10:27:00 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 10:30:10 | ← | Vazomi parts (~Vazomi@i100135.upc-i.chello.nl) ("Leaving") |
| 2021-04-03 10:30:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 10:31:26 | × | proteusguy quits (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) (Ping timeout: 240 seconds) |
| 2021-04-03 10:33:19 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-03 10:34:04 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 252 seconds) |
| 2021-04-03 10:34:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-03 10:39:18 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-03 10:44:52 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-03 10:45:37 | → | proteusguy joins (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) |
| 2021-04-03 10:47:47 | <kaol> | :t sum . (toList <=< toList <=< toList <=< toList) -- Just something I wrote in my code. A few Foldables. |
| 2021-04-03 10:47:48 | <lambdabot> | error: |
| 2021-04-03 10:47:48 | <lambdabot> | Ambiguous occurrence ‘toList’ |
| 2021-04-03 10:47:48 | <lambdabot> | It could refer to |
| 2021-04-03 10:49:24 | × | MononcQc1 quits (~MononcQc@139.28.218.148) (Remote host closed the connection) |
| 2021-04-03 10:51:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 2021-04-03 10:54:24 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 2021-04-03 10:55:45 | → | globulis joins (~globulis@5.169.37.150) |
| 2021-04-03 11:00:23 | × | globulis quits (~globulis@5.169.37.150) (Ping timeout: 268 seconds) |
| 2021-04-03 11:00:28 | → | Guest86 joins (7816cef5@gateway/web/cgi-irc/kiwiirc.com/ip.120.22.206.245) |
| 2021-04-03 11:00:47 | × | Guest86 quits (7816cef5@gateway/web/cgi-irc/kiwiirc.com/ip.120.22.206.245) (Client Quit) |
| 2021-04-03 11:01:07 | → | Guest86 joins (7816cef5@gateway/web/cgi-irc/kiwiirc.com/ip.120.22.206.245) |
| 2021-04-03 11:01:37 | × | Guest86 quits (7816cef5@gateway/web/cgi-irc/kiwiirc.com/ip.120.22.206.245) (Client Quit) |
| 2021-04-03 11:02:28 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-03 11:05:50 | × | Boarders quits (sid425905@gateway/web/irccloud.com/x-xqjyeydcfwqgozcn) (Quit: Connection closed for inactivity) |
| 2021-04-03 11:15:06 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-04-03 11:15:40 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 246 seconds) |
| 2021-04-03 11:16:38 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-03 11:16:57 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-03 11:18:23 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-03 11:18:37 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Remote host closed the connection) |
| 2021-04-03 11:18:38 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-03 11:18:43 | → | __minoru__shirae joins (~shiraeesh@77.94.25.131) |
| 2021-04-03 11:19:26 | → | acidjnk_new joins (~acidjnk@p200300d0c72b951985afe8c678129748.dip0.t-ipconnect.de) |
| 2021-04-03 11:20:54 | → | stickrobot joins (5ac5e387@90.197.227.135) |
| 2021-04-03 11:23:57 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-04-03 11:24:44 | ← | stickrobot parts (5ac5e387@90.197.227.135) () |
| 2021-04-03 11:31:18 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-04-03 11:32:46 | → | perdent joins (~perdent@101.175.105.177) |
| 2021-04-03 11:33:02 | → | geekosaur joins (ac3a5331@172.58.83.49) |
| 2021-04-03 11:35:15 | × | drbean_ quits (~drbean@TC210-63-209-201.static.apol.com.tw) (Read error: Connection reset by peer) |
| 2021-04-03 11:36:35 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-03 11:38:14 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-03 11:39:02 | → | Tops2 joins (~Tobias@dyndsl-095-033-091-175.ewe-ip-backbone.de) |
| 2021-04-03 11:39:14 | <L29Ah> | is there a good alternative to the dead hayoo? |
| 2021-04-03 11:39:39 | <L29Ah> | apparently hoogle sucks these days as it only searches through stackage |
| 2021-04-03 11:40:45 | <L29Ah> | and stackage doesn't care about packages that are on hackage, compatible with the snapshot, but the maintainer didn't complete the github ritual to get the package in, even though hackage has all the info stackage asks the maintainer to provide |
| 2021-04-03 11:41:08 | × | astroanax quits (~astroanax@cosmic.voyage) (Quit: WeeChat 3.1) |
| 2021-04-03 11:41:34 | → | astroanax joins (~astroanax@cosmic.voyage) |
| 2021-04-03 11:42:16 | × | timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving) |
| 2021-04-03 11:48:19 | × | dpl- quits (~dpl@ec2-18-133-105-122.eu-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-03 11:48:51 | <maerwald> | it's a "curated" package set after all |
| 2021-04-03 11:50:08 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-03 11:50:25 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-03 11:50:54 | → | mastarija joins (~mastarija@31.217.17.250) |
| 2021-04-03 11:53:37 | <L29Ah> | i hereby permit stackage to curate their set w/o harrassing package maintainers with github BDSM |
| 2021-04-03 11:53:48 | ← | glaceon parts (~doraemon@117.222.65.84) () |
| 2021-04-03 11:53:52 | × | xff0x_ quits (~xff0x@2001:1a81:5382:2700:244e:f742:223c:2744) (Ping timeout: 258 seconds) |
| 2021-04-03 11:54:42 | → | xff0x_ joins (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) |
| 2021-04-03 11:55:11 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-03 11:55:38 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-03 11:58:41 | × | mastarija quits (~mastarija@31.217.17.250) (Quit: Leaving) |
| 2021-04-03 11:59:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-03 11:59:51 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-03 12:00:14 | Alleria | is now known as Guest56580 |
| 2021-04-03 12:00:21 | <int-e> | :t toList |
| 2021-04-03 12:00:22 | <lambdabot> | Foldable t => t a -> [a] |
| 2021-04-03 12:01:49 | <int-e> | :t GHC.Exts.toList |
| 2021-04-03 12:01:50 | <lambdabot> | GHC.Exts.IsList l => l -> [GHC.Exts.Item l] |
| 2021-04-03 12:02:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 12:03:23 | <int-e> | (those two clashed before) |
| 2021-04-03 12:03:47 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:582c:6250:a295:ddf4) |
| 2021-04-03 12:04:18 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-dxvbqpthgbajxgrt) |
| 2021-04-03 12:04:24 | <int-e> | Oh that "GHC.Exts" is a white lie, the actual import is import qualified Lambdabot.Plugin.Haskell.Eval.Trusted as GHC.Exts (Constraint, IsList (..), IsString (..)), and the imported module re-exports those from GHC.Exts. GHC.Exts can't be imported safely. |
| 2021-04-03 12:05:29 | <kaol> | I just found it amusing what my function ended up being like. I dread the thought of writing this in some other less capable language. Luckily I don't need to. |
| 2021-04-03 12:05:55 | × | plutoniix quits (~q@184.82.197.170) (Quit: Leaving) |
All times are in UTC.