Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 750 751 752 753 754 755 756 757 758 759 760 .. 18020
— 1,801,930 events total
2021-07-02 08:32:02 × Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Remote host closed the connection)
2021-07-02 08:32:02 × wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Remote host closed the connection)
2021-07-02 08:32:03 × jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer)
2021-07-02 08:32:03 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Remote host closed the connection)
2021-07-02 08:32:03 × ecameron[m] quits (~ecameronm@2001:470:69fc:105::35df) (Remote host closed the connection)
2021-07-02 08:32:04 × aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Remote host closed the connection)
2021-07-02 08:32:04 × Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (Remote host closed the connection)
2021-07-02 08:32:04 × octeep[m]1 quits (~octeepmoc@2001:470:69fc:105::695e) (Remote host closed the connection)
2021-07-02 08:32:04 × dminuoso[m] quits (~dminuosom@2001:470:69fc:105::33bb) (Remote host closed the connection)
2021-07-02 08:32:04 × jellz[m] quits (~jellzmatr@2001:470:69fc:105::2daa) (Remote host closed the connection)
2021-07-02 08:32:07 × ixlun quits (~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer)
2021-07-02 08:32:07 × reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Read error: Connection reset by peer)
2021-07-02 08:32:13 × justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Remote host closed the connection)
2021-07-02 08:32:13 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Remote host closed the connection)
2021-07-02 08:32:13 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Remote host closed the connection)
2021-07-02 08:32:13 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Remote host closed the connection)
2021-07-02 08:32:22 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Remote host closed the connection)
2021-07-02 08:32:39 × vbeatrice[m] quits (~vbeatrice@2001:470:69fc:105::3ebf) (Read error: Connection reset by peer)
2021-07-02 08:32:39 × amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
2021-07-02 08:32:39 × Guest6895 quits (~sylveonma@2001:470:69fc:105::2d95) (Remote host closed the connection)
2021-07-02 08:33:51 → thedward[m] joins (~thedwardm@2001:470:69fc:105::f79)
2021-07-02 08:37:44 → ubert joins (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33)
2021-07-02 08:37:56 → dunkeln_ joins (~dunkeln@188.70.10.165)
2021-07-02 08:40:27 × thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Remote host closed the connection)
2021-07-02 08:40:58 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-02 08:41:12 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-02 08:41:14 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-02 08:41:26 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-02 08:41:28 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-02 08:41:41 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-02 08:42:49 × arjun quits (~user@user/arjun) (Remote host closed the connection)
2021-07-02 08:43:09 × thornAvery quits (~thorn@121.220.33.124) (Ping timeout: 265 seconds)
2021-07-02 08:45:28 → ph88_ joins (~ph88@2a02:8109:9e00:7e5c:6036:8c69:37b7:47cf)
2021-07-02 08:46:10 × mpt quits (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-07-02 08:46:32 × azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-07-02 08:46:38 <juhp> If I change a function of String to one of IsString s => s, does that break PVP or not?
2021-07-02 08:47:03 <Rembane> What's PVP in this context?
2021-07-02 08:47:16 → vpan joins (~vilius@212.117.1.172)
2021-07-02 08:47:23 <juhp> Sorry I mean that count as breaking API?
2021-07-02 08:47:28 <juhp> does *, ugh
2021-07-02 08:47:36 → azeem joins (~azeem@176.201.21.236)
2021-07-02 08:48:27 <Rembane> It makes the function take arguments of more types, so I say it doesn't break API, but you could have a differing opinion and still be correct. :)
2021-07-02 08:48:42 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:60eb:9cdc:e9d8:37e4) (Ping timeout: 240 seconds)
2021-07-02 08:48:48 <juhp> Right, my thinking too
2021-07-02 08:49:07 <juhp> So it might not require a major version bump perhaps
2021-07-02 08:49:18 <Taneb> juhp: it can break downstream code in some circumstances
2021-07-02 08:49:32 <juhp> Aha
2021-07-02 08:49:49 <juhp> That was what I was wondering or worrying about
2021-07-02 08:50:07 → fendor joins (~fendor@77.119.218.107.wireless.dyn.drei.com)
2021-07-02 08:50:18 <Rembane> How can it break downstream code?
2021-07-02 08:51:02 <Taneb> I think that without ExtendedDefaultRules it'd break something like "foldMap (Sum . fromEnum) foo"
2021-07-02 08:51:35 <Taneb> It'd need to find (Foldable f, Enum c, IsString (f c))
2021-07-02 08:51:37 → dunj3 joins (~dunj3@p200300f61714a66193d8ecf822b563af.dip0.t-ipconnect.de)
2021-07-02 08:51:51 <Rembane> Got it, I didn't expect that.
2021-07-02 08:51:54 <Taneb> I don't think it'd always manage to default that to String
2021-07-02 08:52:17 <Taneb> (It does in GHCi, I think due to ExtendedDefaultRules or whatever it's called)
2021-07-02 08:52:52 → thornAvery joins (~thorn@121.220.33.124)
2021-07-02 08:53:18 <juhp> In my immediate case the context is optparse-applicative string option parsing
2021-07-02 08:54:14 <Taneb> strOption :: IsString s => Mod OptionFields s -> Parser s
2021-07-02 08:54:19 <juhp> But yeah there more chance of ambiguity with a type class of course
2021-07-02 08:54:24 <juhp> Right
2021-07-02 08:54:26 <Taneb> That could cause problems, depending on how you use the Parser later on
2021-07-02 08:54:32 <juhp> Okay
2021-07-02 08:54:54 <Rembane> You could make your own strOption' that has a stricter type
2021-07-02 08:55:04 → jr44 joins (~jr@1.38.44.128)
2021-07-02 08:55:08 <juhp> Well sounds like major version bump might be safer
2021-07-02 08:55:21 jr44 is now known as ajar
2021-07-02 08:55:29 × ubert quits (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Remote host closed the connection)
2021-07-02 08:55:38 <juhp> Rembane: well the thing is I am actually going the other way
2021-07-02 08:55:56 <juhp> That is what I currently have
2021-07-02 08:56:06 <Rembane> juhp: Got it.
2021-07-02 08:56:45 <juhp> Thanks for the help :-)
2021-07-02 08:56:53 → johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-07-02 08:57:36 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2021-07-02 08:58:01 → Pickchea joins (~private@user/pickchea)
2021-07-02 08:58:32 <Rembane> np! Good luck! :)
2021-07-02 08:59:24 → MoC joins (~moc@user/moc)
2021-07-02 08:59:30 × fabfianda quits (~fabfianda@mob-5-90-251-42.net.vodafone.it) (Ping timeout: 240 seconds)
2021-07-02 08:59:49 → fabfianda joins (~fabfianda@37.183.255.57)
2021-07-02 09:02:14 → cfricke joins (~cfricke@user/cfricke)
2021-07-02 09:02:29 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-02 09:03:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-02 09:05:52 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-02 09:06:34 → thedward[m] joins (~thedwardm@2001:470:69fc:105::f79)
2021-07-02 09:10:12 × dunkeln_ quits (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds)
2021-07-02 09:10:31 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-07-02 09:10:58 × qbt quits (~edun@user/edun) (Ping timeout: 272 seconds)
2021-07-02 09:11:50 × azeem quits (~azeem@176.201.21.236) (Ping timeout: 268 seconds)
2021-07-02 09:12:08 → azeem joins (~azeem@176.201.21.236)
2021-07-02 09:12:32 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-07-02 09:12:46 → juhp joins (~juhp@128.106.188.66)
2021-07-02 09:14:54 → ac joins (~aloiscoch@2001:470:69fc:105::65)
2021-07-02 09:14:54 → sm[m] joins (~sm@plaintextaccounting/sm)
2021-07-02 09:14:54 → hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
2021-07-02 09:14:54 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-07-02 09:14:54 → fgaz joins (~fgaz@2001:470:69fc:105::842)
2021-07-02 09:14:54 → cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
2021-07-02 09:14:54 → peddie joins (~peddie@2001:470:69fc:105::25d)
2021-07-02 09:14:54 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
2021-07-02 09:14:54 → fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db)
←Prev  Next→
Page 1 .. 750 751 752 753 754 755 756 757 758 759 760 .. 18020

All times are in UTC.