Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4672 4673 4674 4675 4676 4677 4678 4679 4680 4681 4682 .. 5022
— 502,152 events total
2021-04-30 15:03:35 × ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-04-30 15:05:28 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-04-30 15:06:14 → tomkap1 joins (~tomkap@217.146.82.202)
2021-04-30 15:08:30 → nonnotore joins (~Username@151.41.57.75)
2021-04-30 15:08:57 ← nonnotore parts (~Username@151.41.57.75) ()
2021-04-30 15:09:58 → ech joins (~user@gateway/tor-sasl/ech)
2021-04-30 15:10:49 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-30 15:11:36 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919)
2021-04-30 15:11:41 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-04-30 15:11:51 × wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-30 15:13:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-30 15:14:08 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-30 15:14:49 → Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-30 15:16:17 → stef204 joins (~stef204@unaffiliated/stef-204/x-384198)
2021-04-30 15:17:11 → cortexauth joins (~nyx@132.154.78.173)
2021-04-30 15:20:47 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-30 15:21:38 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-30 15:22:20 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: leaving)
2021-04-30 15:22:35 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-30 15:23:15 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-04-30 15:23:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-30 15:25:20 → Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de)
2021-04-30 15:26:46 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-30 15:27:21 → thblt joins (~thblt@unaffiliated/thblt)
2021-04-30 15:27:26 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 246 seconds)
2021-04-30 15:30:10 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-30 15:31:05 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f)
2021-04-30 15:32:13 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-30 15:32:37 × cortexauth quits (~nyx@132.154.78.173) (Ping timeout: 252 seconds)
2021-04-30 15:32:55 × plutoniix quits (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-04-30 15:35:40 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds)
2021-04-30 15:36:38 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-30 15:37:45 × Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-04-30 15:38:46 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-30 15:39:26 → Adam345 joins (~textual@2.133.253.255)
2021-04-30 15:39:54 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-30 15:40:19 → eacameron joins (uid256985@gateway/web/irccloud.com/x-ejaxmxdimyqjymfh)
2021-04-30 15:44:05 → wonko7 joins (~wonko7@62.115.229.50)
2021-04-30 15:46:41 → Deide joins (~Deide@217.155.19.23)
2021-04-30 15:52:05 → cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ad5c:b5d6:d64d:e07a)
2021-04-30 15:54:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-30 15:55:49 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 276 seconds)
2021-04-30 15:59:11 × zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-30 15:59:32 → zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-04-30 15:59:45 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-30 16:00:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-30 16:01:20 <thblt> I'm hitting a ghci error I really don't understand: https://paste.thb.lt/1619798378.hs.html I don't get why instance (Foldable f, ToMyMonad m) => ToMyMonad (f m) overlaps here --- or maybe I just don't get the error.
2021-04-30 16:02:22 → proofofkeags joins (~proofofke@205.209.28.54)
2021-04-30 16:03:35 <thblt> Ignore the weird exclamation mark, it's a bug from the paste. I'm trying to fix it.
2021-04-30 16:05:12 × zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-30 16:05:21 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-04-30 16:06:28 × enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds)
2021-04-30 16:07:35 → zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-04-30 16:08:03 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-04-30 16:08:49 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-04-30 16:09:33 × kritzefitz_ quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
2021-04-30 16:10:47 → gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-30 16:12:30 × gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection)
2021-04-30 16:12:50 × DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection)
2021-04-30 16:13:22 → gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-30 16:14:18 <thblt> It's fixed.
2021-04-30 16:14:23 <opqdonut> thblt: they overlap because the heads of the instances `MyMonad ()` and `f m` both match `MyMonad ()` aka `Maybe ()`
2021-04-30 16:15:05 <opqdonut> that's the way GHC instance resolution works: it wants a unique instance to match, and _then_ it tries to satisfy the prerequisites of that instance (the stuff left of the => arrow)
2021-04-30 16:15:17 <opqdonut> if you want it to track down multiple matching instances you want OverlappingInstances or some other extension
2021-04-30 16:15:43 <opqdonut> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html the docs for this are pretty good
2021-04-30 16:16:04 <thblt> opqdonut: thank you!
2021-04-30 16:17:05 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-04-30 16:17:37 → nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5)
2021-04-30 16:18:12 × pera_ quits (~pera_@94.0.111.239) (Ping timeout: 240 seconds)
2021-04-30 16:20:58 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-30 16:27:26 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-30 16:29:16 × whatisRT- quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2021-04-30 16:31:03 → whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de)
2021-04-30 16:33:17 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-04-30 16:35:28 → pera_ joins (~pera_@94.0.111.239)
2021-04-30 16:37:56 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-30 16:39:41 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-30 16:39:43 × todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds)
2021-04-30 16:40:00 → stree joins (~stree@68.36.8.116)
2021-04-30 16:40:14 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2021-04-30 16:40:52 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
2021-04-30 16:40:59 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-30 16:41:45 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-30 16:43:06 × pera_ quits (~pera_@94.0.111.239) (Ping timeout: 260 seconds)
2021-04-30 16:43:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-30 16:49:35 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a1d0:cc63:6c36:9e1d) (Ping timeout: 260 seconds)
2021-04-30 16:50:26 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-30 16:51:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-30 16:51:41 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c)
2021-04-30 16:57:18 → howdoi joins (uid224@gateway/web/irccloud.com/x-jnwqiticvjjkxczt)
2021-04-30 16:59:26 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-30 16:59:31 → electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-04-30 17:02:14 → jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net)
2021-04-30 17:02:38 → letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1)
2021-04-30 17:03:19 → Pickchea joins (~private@unaffiliated/pickchea)
2021-04-30 17:06:19 → Tesseraction joins (~Tesseract@unaffiliated/tesseraction)
2021-04-30 17:09:24 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-30 17:17:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-30 17:17:46 × xenon- quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-04-30 17:19:48 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
←Prev  Next→
Page 1 .. 4672 4673 4674 4675 4676 4677 4678 4679 4680 4681 4682 .. 5022

All times are in UTC.