Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 777 778 779 780 781 782 783 784 785 786 787 .. 5022
— 502,152 events total
2020-10-21 14:09:42 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-21 14:09:52 <merijn> You'd have to reverse engineer how v2-build calls Setup.hs
2020-10-21 14:09:59 <merijn> (because that's what's happening)
2020-10-21 14:10:04 × iMonad quits (1bf6c255@27-246-194-85.adsl.fetnet.net) (Remote host closed the connection)
2020-10-21 14:10:06 <merijn> But...uh...good luck with that :p
2020-10-21 14:10:52 <jophish> yeah :) O
2020-10-21 14:11:06 <jophish> I'm not gonna do that, I'll make do with the commands here :)
2020-10-21 14:11:35 → christo joins (~chris@81.96.113.213)
2020-10-21 14:12:27 <merijn> jophish: Naah, my point was that (eventually) v2- commands end up just calling into the Setup.hs with specific arguments
2020-10-21 14:12:40 <merijn> So you should be able to mimic the v2- commands
2020-10-21 14:13:11 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-21 14:14:21 × conal_ quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-21 14:16:30 × knupfer quits (~Thunderbi@i59F7FF96.versanet.de) (Quit: knupfer)
2020-10-21 14:16:33 → knupfer1 joins (~Thunderbi@200116b82c30ba00dc0ee51bcc5b4ee2.dip.versatel-1u1.de)
2020-10-21 14:16:49 → danso joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-10-21 14:16:55 × ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-10-21 14:17:20 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-21 14:17:32 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-21 14:18:56 knupfer1 is now known as knupfer
2020-10-21 14:19:30 → polyrain_ joins (~polyrain@58.161.83.164)
2020-10-21 14:19:47 × deadk quits (e@freenode/staff/spy.edk) (Quit: edk)
2020-10-21 14:20:09 × polyrain_ quits (~polyrain@58.161.83.164) (Read error: Connection reset by peer)
2020-10-21 14:20:49 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-21 14:21:47 × Klumben quits (Nsaiswatch@gateway/shell/panicbnc/x-qfyvvmfvccqnqxdf) (Ping timeout: 272 seconds)
2020-10-21 14:22:25 × polyrain quits (~polyrain@2001:8003:e501:6901:1965:2d83:52d2:222c) (Ping timeout: 240 seconds)
2020-10-21 14:22:54 × xacktm quits (xacktm@gateway/shell/panicbnc/x-rthkywgvxahgrnnf) (Ping timeout: 244 seconds)
2020-10-21 14:23:08 × SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-wdutgpsghohoucfq) (Ping timeout: 260 seconds)
2020-10-21 14:23:45 → knupfer1 joins (~Thunderbi@i59F7FF96.versanet.de)
2020-10-21 14:23:51 → st8less joins (~st8less@2603:a060:11fd:0:dd24:d259:2e39:f97e)
2020-10-21 14:25:07 → polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-21 14:28:20 → Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 14:28:23 × knupfer quits (~Thunderbi@200116b82c30ba00dc0ee51bcc5b4ee2.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-21 14:28:23 knupfer1 is now known as knupfer
2020-10-21 14:29:06 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-21 14:31:24 × Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-21 14:31:51 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-21 14:32:21 <texasmyn_> Maybe I am misremembering or perhaps wishful thinking, but I thought there was a way to tell hlint to give more advice. Is there?
2020-10-21 14:32:26 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-21 14:33:52 × texasmyn_ quits (~texasmyns@104.140.52.83) ()
2020-10-21 14:34:11 → texasmynsted joins (~texasmyns@104.140.52.83)
2020-10-21 14:34:34 × shafox quits (~shafox@106.51.234.111) (Ping timeout: 256 seconds)
2020-10-21 14:35:11 <texasmynsted> Hmm I think my message was killed by the server because of my nick.
2020-10-21 14:35:46 <texasmynsted> Is there a way to get more help from hlint? Example: Maybe somebody has a list of extra rules the apply?
2020-10-21 14:36:41 <texasmynsted> I would like it to say "snd <$> is the same as snds", if it actually is. Heh
2020-10-21 14:39:48 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-21 14:40:08 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-21 14:40:28 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Client Quit)
2020-10-21 14:41:11 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-21 14:41:17 → christo joins (~chris@81.96.113.213)
2020-10-21 14:42:03 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-21 14:42:39 × berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-21 14:43:47 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-21 14:45:15 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-21 14:45:21 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-21 14:45:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-21 14:45:43 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-21 14:45:47 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-21 14:45:55 → shafox joins (~shafox@106.51.234.111)
2020-10-21 14:47:16 → deadk joins (e@freenode/staff/spy.edk)
2020-10-21 14:47:18 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-21 14:47:44 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-21 14:48:04 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2020-10-21 14:48:50 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-21 14:51:17 → Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 14:51:32 × Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 265 seconds)
2020-10-21 14:53:28 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-21 14:54:07 → __skn- joins (~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2020-10-21 14:56:00 → ddellacosta joins (~dd@86.106.121.168)
2020-10-21 14:56:37 × __skn quits (~sunil@sec.nimmagadda.net) (Ping timeout: 264 seconds)
2020-10-21 14:58:14 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-21 15:00:02 × kyprizel quits (~kyprizel@185.204.1.185) ()
2020-10-21 15:02:33 × jlamothe quits (~jlamothe@dev.jlamothe.net) (Quit: leaving)
2020-10-21 15:02:35 → kori joins (~kori@arrowheads/kori)
2020-10-21 15:04:33 → nineonin_ joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-21 15:06:38 × nineonin_ quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-21 15:07:00 × __skn- quits (~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-21 15:07:05 → z0 joins (~z0@bl15-167-204.dsl.telepac.pt)
2020-10-21 15:07:42 → __skn joins (~sunil@sec.nimmagadda.net)
2020-10-21 15:07:46 → mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-21 15:08:21 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-21 15:08:23 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-21 15:09:21 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-21 15:10:09 <z0> does haskell optimize something like (last . takeWhile) not to traverse a list twice?
2020-10-21 15:11:43 × __skn quits (~sunil@sec.nimmagadda.net) (Client Quit)
2020-10-21 15:11:56 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 272 seconds)
2020-10-21 15:12:02 → __skn joins (~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2020-10-21 15:12:27 → Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 15:12:30 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-21 15:12:43 × karanlikmadde quits (~karanlikm@2a01:c22:b046:2a00:218a:97bb:be49:dab9) (Quit: karanlikmadde)
2020-10-21 15:13:27 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-21 15:14:03 <merijn> z0: That's not even really optimisation, that happens automatically from laziness
2020-10-21 15:15:00 <z0> thanks. just making sure
2020-10-21 15:15:13 × bind quits (~bind@unaffiliated/bind) (Ping timeout: 264 seconds)
2020-10-21 15:15:26 × Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-21 15:17:34 → bind joins (~bind@unaffiliated/bind)
2020-10-21 15:18:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-21 15:19:28 → Iwawa joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 15:20:08 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-21 15:20:46 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-21 15:21:02 → erolm_a joins (~erolm_a@62.19.60.223)
←Prev  Next→
Page 1 .. 777 778 779 780 781 782 783 784 785 786 787 .. 5022

All times are in UTC.