Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 .. 5022
— 502,152 events total
2020-11-09 06:06:12 × jalumar quits (uid392211@gateway/web/irccloud.com/x-cinmpjhrecfacgba) (Quit: Connection closed for inactivity)
2020-11-09 06:07:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-09 06:08:39 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 06:09:16 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 06:13:17 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-09 06:13:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-11-09 06:14:23 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-09 06:14:43 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-09 06:16:02 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-09 06:16:48 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-09 06:17:02 × AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!)
2020-11-09 06:17:28 → AceNovo joins (~chris@184.101.220.149)
2020-11-09 06:19:25 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 06:23:39 → bitmagie joins (~Thunderbi@200116b8068e9d000cdbc28af571c7f9.dip.versatel-1u1.de)
2020-11-09 06:24:31 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-09 06:28:13 → gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-09 06:28:25 × sveit quits (~sveit@45.77.0.246) (Quit: Bye)
2020-11-09 06:28:46 → sveit joins (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-11-09 06:33:01 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2020-11-09 06:34:15 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-09 06:41:05 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-09 06:42:06 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 06:42:22 × AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!)
2020-11-09 06:42:46 → AceNovo joins (~chris@184.101.220.149)
2020-11-09 06:42:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-09 06:44:00 × yinfeng quits (~yinfeng@114.212.87.131) (Quit: WeeChat 2.9)
2020-11-09 06:44:47 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 06:44:54 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-09 06:48:23 → christo joins (~chris@81.96.113.213)
2020-11-09 06:48:46 → LKoen joins (~LKoen@77.174.9.109.rev.sfr.net)
2020-11-09 06:49:25 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds)
2020-11-09 06:49:33 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-09 06:51:52 → bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se)
2020-11-09 06:51:58 × danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-11-09 06:52:42 → plutoniix joins (~q@ppp-223-24-153-54.revip6.asianet.co.th)
2020-11-09 06:53:23 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-11-09 06:53:23 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-11-09 06:54:03 × bitmagie quits (~Thunderbi@200116b8068e9d000cdbc28af571c7f9.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-09 06:54:09 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-09 06:54:23 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-11-09 06:54:54 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-09 06:55:10 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-09 06:55:38 → leonardo2 joins (~leonardo@185.204.1.185)
2020-11-09 06:56:01 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-09 06:56:51 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-09 06:57:16 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-09 06:58:29 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-09 07:02:30 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-09 07:04:31 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds)
2020-11-09 07:04:33 <Squarism> how would you map a list such that all but last element are mapped using f and last element is mapped using g?
2020-11-09 07:06:59 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-09 07:07:22 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-09 07:15:17 × alx741 quits (~alx741@186.178.110.159) (Ping timeout: 260 seconds)
2020-11-09 07:16:03 <opqdonut> Squarism: the straightforward answer is: map f (init xs) ++ [g (last xs)]
2020-11-09 07:16:39 <opqdonut> but you can write a custom recursive function mapInitLast :: (a->b) -> (a->b) -> [a] -> [b] that does the same a bit more efficiently
2020-11-09 07:17:01 → bitmagie joins (~Thunderbi@200116b8068e9d000cdbc28af571c7f9.dip.versatel-1u1.de)
2020-11-09 07:20:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-09 07:22:17 → chaosmasttter joins (~chaosmast@p200300c4a7087201c8e962581689150e.dip0.t-ipconnect.de)
2020-11-09 07:24:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-09 07:24:26 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-09 07:25:26 → syyan joins (~syyan@111.85.169.156)
2020-11-09 07:27:05 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-09 07:29:44 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2020-11-09 07:29:53 → alx741 joins (~alx741@186.178.110.199)
2020-11-09 07:30:41 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-09 07:32:30 × plutoniix quits (~q@ppp-223-24-153-54.revip6.asianet.co.th) (Quit: Leaving)
2020-11-09 07:38:41 → adm_ joins (~adm@43.229.88.236)
2020-11-09 07:42:42 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-09 07:43:03 × adm_ quits (~adm@43.229.88.236) (Ping timeout: 260 seconds)
2020-11-09 07:44:23 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 07:46:30 → adm_ joins (~adm@43.229.88.236)
2020-11-09 07:46:31 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 07:48:19 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 07:49:14 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-09 07:49:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-09 07:51:05 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds)
2020-11-09 07:52:58 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-11-09 07:53:30 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds)
2020-11-09 07:57:11 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-09 07:58:47 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 07:59:07 → alp joins (~alp@2a01:e0a:58b:4920:a599:6c71:c103:ae96)
2020-11-09 08:00:16 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 08:03:49 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-09 08:04:45 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2020-11-09 08:06:07 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-09 08:07:38 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-11-09 08:08:58 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 08:09:13 → Lycurgus joins (~niemand@98.4.97.118)
2020-11-09 08:09:35 → asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-09 08:11:06 <asheshambasta> In any given cabal project, given I have default-extensions in some of my .cabal files, is HLint supposed to use these extensions while parsing?
2020-11-09 08:12:01 <asheshambasta> One of my modules using LambdaCase seems to be confusing HLint where it reports a parse error, while GHC accepts it.
2020-11-09 08:12:16 ← syyan parts (~syyan@111.85.169.156) ("Leaving")
2020-11-09 08:12:47 <asheshambasta> It reports an error with `interpret \case ...` and not with `interpret $ \case ...`
2020-11-09 08:13:58 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-09 08:14:25 <merijn> asheshambasta: HLint doesn't know about Haskell extensions or, really, anything about the AST/semantics
2020-11-09 08:14:30 → jespada joins (~jespada@90.254.245.49)
2020-11-09 08:14:49 <merijn> asheshambasta: It implements its own Haskell parser which may or may not be compatible with any syntax extensions
2020-11-09 08:14:56 <merijn> (afaict)
2020-11-09 08:15:46 <asheshambasta> I see, I was concluding it did based on following this as an example https://github.com/ndmitchell/hlint/blob/master/.hlint.yaml#L10
2020-11-09 08:16:11 <merijn> HLint doesn't parse cabal files or anything, afaik
←Prev  Next→
Page 1 .. 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 .. 5022

All times are in UTC.