Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 62 63 64 65 66 67 68 69 70 71 72 .. 5022
— 502,152 events total
2020-09-19 05:36:50 <sim590> It's a project I'm working on. I had this BSTree module, but now I'm splitting it into BSTree and LBSTree. I already had some extensive code for things like logging with (co-log and Chronicle). I'm using GHC.Stack for keeping the trace in my functions where logging is enabled.
2020-09-19 05:37:45 <sim590> The cause of my last problem was because I was not wrapping the `a` type in `LBSNode` after porting the code from BSTree to LBSTree.
2020-09-19 05:37:50 <sim590> Hence the infinite type error.
2020-09-19 05:38:18 <siraben> Ah, I see. Heh, I don't use logging myself in Haskell.
2020-09-19 05:39:27 → toorevitimirp joins (~tooreviti@117.182.182.33)
2020-09-19 05:42:16 × solonarv quits (~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-09-19 05:42:23 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-19 05:42:24 <sim590> ;) It's less complicated in that case. Where I don't need it, I don't use it.
2020-09-19 05:42:53 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-09-19 05:43:31 → fweht joins (uid404746@gateway/web/irccloud.com/x-xnkzclwannqfwfls)
2020-09-19 05:45:21 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-19 05:46:22 × Faker quits (bad2e42c@186.210.228.44) (Remote host closed the connection)
2020-09-19 05:47:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-19 05:49:01 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 05:49:58 hackage incremental 0.3.1 - incremental update library https://hackage.haskell.org/package/incremental-0.3.1 (FumiakiKinoshita)
2020-09-19 05:50:50 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 246 seconds)
2020-09-19 05:53:37 → stiell joins (~stian@fsf/member/stiell)
2020-09-19 05:54:03 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-09-19 06:00:01 × chx quits (~chx@84.39.117.57) ()
2020-09-19 06:00:30 × Saukk quits (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-09-19 06:01:35 → jneira_ joins (~jneira@80.30.101.206)
2020-09-19 06:04:07 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 06:04:28 hackage metro 0.1.0.2 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.2 (Lupino)
2020-09-19 06:04:42 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 06:06:55 × heatsink_ quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-19 06:06:59 × toorevitimirp quits (~tooreviti@117.182.182.33) (Remote host closed the connection)
2020-09-19 06:07:28 → toorevitimirp joins (~tooreviti@117.182.182.33)
2020-09-19 06:08:28 × platypine quits (~joshie@c-73-249-162-185.hsd1.ct.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 06:09:34 × lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-19 06:09:44 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 06:10:04 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 246 seconds)
2020-09-19 06:12:00 → lockshaw joins (~lockshaw@165.22.163.71)
2020-09-19 06:13:10 → jespada joins (~jespada@90.254.241.6)
2020-09-19 06:16:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 06:16:40 × toorevitimirp quits (~tooreviti@117.182.182.33) (Read error: Connection reset by peer)
2020-09-19 06:21:05 → zacts1 joins (~zacts@s91904426.blix.com)
2020-09-19 06:21:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 06:29:34 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-19 06:30:36 → river_ joins (~river@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-19 06:31:29 → platypine joins (~platypine@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 06:33:40 × platypine quits (~platypine@c-73-249-162-185.hsd1.ct.comcast.net) (Client Quit)
2020-09-19 06:33:43 → mmohammadi981261 joins (~mmohammad@5.238.164.128)
2020-09-19 06:33:48 × mmohammadi98126 quits (~mmohammad@5.115.231.155) (Ping timeout: 272 seconds)
2020-09-19 06:33:48 mmohammadi981261 is now known as mmohammadi98126
2020-09-19 06:34:03 → platypine joins (~platypine@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 06:34:10 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-09-19 06:34:30 ← aeth parts (~Michael@wesnoth/umc-dev/developer/aethaeryn) ()
2020-09-19 06:34:38 × tzh quits (~tzh@2601:448:c500:5300::ad1c) (Quit: zzz)
2020-09-19 06:34:59 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 06:35:04 × river_ quits (~river@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Client Quit)
2020-09-19 06:37:53 × kleisli_ quits (~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net) (Quit: Leaving)
2020-09-19 06:42:37 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 06:42:58 hackage extensible 0.8.1 - Extensible, efficient, optics-friendly data types and effects https://hackage.haskell.org/package/extensible-0.8.1 (FumiakiKinoshita)
2020-09-19 06:49:32 → mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 06:50:04 → ph88 joins (~ph88@ip5f5af726.dynamic.kabel-deutschland.de)
2020-09-19 06:53:24 × kupi quits (uid212005@gateway/web/irccloud.com/x-sjortpcvbymtcblo) (Quit: Connection closed for inactivity)
2020-09-19 06:54:50 → kleisli joins (~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-19 06:55:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 06:55:55 kleisli is now known as dillon
2020-09-19 06:57:08 dillon is now known as endorphin
2020-09-19 06:59:20 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 07:01:56 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 07:06:44 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 07:07:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 07:08:26 → lucid_0x80 joins (~lucid_0x8@188.253.237.250)
2020-09-19 07:10:20 → toorevitimirp joins (~tooreviti@117.182.182.33)
2020-09-19 07:10:29 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-09-19 07:10:57 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 07:11:15 → gnumonik joins (~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net)
2020-09-19 07:11:38 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 07:11:39 → fendor joins (~fendor@212095005091.public.telering.at)
2020-09-19 07:11:46 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-09-19 07:12:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-19 07:14:22 → zaquest joins (~notzaques@5.128.210.178)
2020-09-19 07:14:56 × toorevitimirp quits (~tooreviti@117.182.182.33) (Client Quit)
2020-09-19 07:15:22 → brown121407 joins (~brown1214@brown.121407.xyz)
2020-09-19 07:15:36 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 07:18:00 → toorevitimirp joins (~tooreviti@117.182.182.33)
2020-09-19 07:18:16 × toorevitimirp quits (~tooreviti@117.182.182.33) (Client Quit)
2020-09-19 07:20:01 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds)
2020-09-19 07:20:32 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-19 07:20:34 → toorevitimirp joins (~tooreviti@117.182.182.33)
2020-09-19 07:22:43 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-19 07:25:54 → deviantfero joins (~deviantfe@190.99.48.231)
2020-09-19 07:27:53 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 07:29:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 07:29:41 × lucid_0x80 quits (~lucid_0x8@188.253.237.250) (Quit: Leaving)
2020-09-19 07:29:58 → lucid_0x80 joins (~lucid_0x8@188.253.237.250)
2020-09-19 07:32:42 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 07:34:39 × oxide quits (~lambda@unaffiliated/mclaren) (Read error: Connection reset by peer)
2020-09-19 07:35:09 <edwardk> siraben: i had not
2020-09-19 07:35:20 <edwardk> siraben: but its pretty much the same kinda thing as dolio's upts code
2020-09-19 07:35:33 <siraben> lam a = Lam . abstract1 a What does the a mean?
2020-09-19 07:35:34 <siraben> lam :: Eq a => a -> Expr a -> Expr a
2020-09-19 07:35:44 <edwardk> both of those lack a thing that i think andras gets right in his elaboration zoo, which is he starts with a surface language and compiles down to a core
2020-09-19 07:35:48 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-19 07:35:58 <siraben> I'm putting a number there but not sure what abstract1 does
2020-09-19 07:35:59 <edwardk> lam "x" $ some expression which uses Var "x"
2020-09-19 07:36:03 <edwardk> think String
2020-09-19 07:36:06 <siraben> Oh I see
←Prev  Next→
Page 1 .. 62 63 64 65 66 67 68 69 70 71 72 .. 5022

All times are in UTC.