Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 150 151 152 153 154 155 156 157 158 159 160 .. 5022
— 502,152 events total
2020-09-23 06:50:12 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 260 seconds)
2020-09-23 06:52:29 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-09-23 06:52:48 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-09-23 06:54:52 → ph88 joins (~ph88@2a02:8109:9e40:2704:a1b2:872a:487a:52ae)
2020-09-23 06:55:15 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-23 06:58:06 → John20 joins (~John@82.46.59.122)
2020-09-23 06:58:28 × andyo quits (~andyo@63.228.117.102) (Quit: ZNC 1.7.2 - https://znc.in)
2020-09-23 06:59:37 × noecho quits (~noecho@static.143.42.203.116.clients.your-server.de) (Quit: ZNC - http://znc.in)
2020-09-23 07:00:05 → noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223)
2020-09-23 07:00:34 → eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-23 07:02:29 → ixlun joins (~matthew@213.205.241.18)
2020-09-23 07:03:54 → knupfer joins (~Thunderbi@200116b824c6e600f89921fffe69a44f.dip.versatel-1u1.de)
2020-09-23 07:05:44 × asan quits (~yan4138@114.84.148.87) (Ping timeout: 258 seconds)
2020-09-23 07:06:07 × solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 258 seconds)
2020-09-23 07:06:18 <ixlun> If I have `data (Ord a) => Foo a = Foo Bar a', how can I make all `Foo's Ord by a?
2020-09-23 07:06:18 × knupfer quits (~Thunderbi@200116b824c6e600f89921fffe69a44f.dip.versatel-1u1.de) (Remote host closed the connection)
2020-09-23 07:06:30 → knupfer joins (~Thunderbi@200116b824c6e600adb48dac9d2aa3a1.dip.versatel-1u1.de)
2020-09-23 07:07:09 → andyo joins (~andyo@63.228.117.102)
2020-09-23 07:07:20 <kenran> phadej: Ahh too bad. Maybe I can write a nix derivation for pulling the binaries and using those instead of using nixpkgs's cabal-install :thinking:
2020-09-23 07:08:59 <kenran> thanks for pointing me to it!
2020-09-23 07:09:08 × darjeeling_ quits (~darjeelin@122.245.123.72) (Ping timeout: 256 seconds)
2020-09-23 07:09:57 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 272 seconds)
2020-09-23 07:10:14 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-09-23 07:10:27 → darjeeling_ joins (~darjeelin@122.245.123.72)
2020-09-23 07:11:06 <Axman6> ixlun: youy almost certainly do not want to add that constraint to the data definition. just do data Foo a = Foo Bar a; instance Ord a => Ord (Foo a) where compare (Foo _ x) (Foo _ y) = compare x y
2020-09-23 07:11:26 <phadej> kenran: hmm, dunno if pulling the binaries is very good idea. I'll make a note to make a nix derivation which would allow you to build them from source
2020-09-23 07:11:41 <phadej> (thus it would work on macOS too e.g.)
2020-09-23 07:12:56 × knupfer quits (~Thunderbi@200116b824c6e600adb48dac9d2aa3a1.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-23 07:13:05 → knupfer joins (~Thunderbi@200116b824c6e600adb48dac9d2aa3a1.dip.versatel-1u1.de)
2020-09-23 07:13:25 <kenran> phadej: wow, that would be awesome, thanks. cabal-install itself is probably also a cabal project I guess? :)
2020-09-23 07:13:45 <phadej> yes
2020-09-23 07:13:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-23 07:14:00 × knupfer quits (~Thunderbi@200116b824c6e600adb48dac9d2aa3a1.dip.versatel-1u1.de) (Client Quit)
2020-09-23 07:14:05 → knupfer1 joins (~Thunderbi@200116b824c6e600e14aea9feceafbc4.dip.versatel-1u1.de)
2020-09-23 07:14:21 × knupfer1 quits (~Thunderbi@200116b824c6e600e14aea9feceafbc4.dip.versatel-1u1.de) (Client Quit)
2020-09-23 07:14:32 <phadej> but I wouldn't want to use nixpkgs dependencies, as perfectly it shouldn't require you to change/upgrade anything else
2020-09-23 07:14:33 → knupfer joins (~Thunderbi@200116b824c6e600f004ca99ff51bd1d.dip.versatel-1u1.de)
2020-09-23 07:14:39 × knupfer quits (~Thunderbi@200116b824c6e600f004ca99ff51bd1d.dip.versatel-1u1.de) (Client Quit)
2020-09-23 07:14:50 → knupfer joins (~Thunderbi@200116b824c6e600947e50e1a8606fbb.dip.versatel-1u1.de)
2020-09-23 07:16:06 <ixlun> Axman6: Thanks for the answer. Looks as though I've also got to implement Eq in a similar way too: 'Could not deduce (Eq (Foo a))'
2020-09-23 07:16:07 → asan joins (~yan4138@124.78.18.146)
2020-09-23 07:16:37 <Axman6> you can just add deriving (Eq) if that's the behaviour you want
2020-09-23 07:17:13 <ixlun> But, would Bar matter in that case?
2020-09-23 07:17:20 <Axman6> yes
2020-09-23 07:17:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-23 07:17:43 <ixlun> Which I would then presume would affect the ordering?
2020-09-23 07:17:44 <Axman6> if you want something that's not the default derived behaviour, you'll need to write the code
2020-09-23 07:17:54 <Axman6> no
2020-09-23 07:18:45 <ixlun> Why not though?
2020-09-23 07:18:50 <Axman6> the ordering would be dependent only on the definition of Ord (Foo a), but you probably want to make sure that if x == y then compare x y == EQ, and if x /= y then compare x y /= EQ
2020-09-23 07:18:56 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-23 07:19:43 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-23 07:20:01 → eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-23 07:21:40 <ixlun> I'm guessing that this should be the case as I'm going to prob
2020-09-23 07:21:58 <ixlun> probably make `a' a Double.
2020-09-23 07:24:31 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 272 seconds)
2020-09-23 07:25:41 → raichoo joins (~raichoo@213.240.178.58)
2020-09-23 07:27:23 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-23 07:27:48 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds)
2020-09-23 07:28:57 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-09-23 07:31:10 × oxide quits (~lambda@unaffiliated/mclaren) (Read error: Connection reset by peer)
2020-09-23 07:32:54 → pjb joins (~t@2a01cb04063ec500e847a36c6ade4b23.ipv6.abo.wanadoo.fr)
2020-09-23 07:33:52 × alp quits (~alp@2a01:e0a:58b:4920:500e:adf7:bf7a:aae1) (Remote host closed the connection)
2020-09-23 07:33:57 → oxide joins (~lambda@unaffiliated/mclaren)
2020-09-23 07:34:17 → alp joins (~alp@2a01:e0a:58b:4920:95c2:d16c:63ff:1)
2020-09-23 07:34:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-23 07:35:42 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-23 07:35:48 → ggole joins (~ggole@2001:8003:8119:7200:5d70:fa54:7a7f:6cb8)
2020-09-23 07:44:58 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-09-23 07:45:42 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-09-23 07:46:31 → wonko7 joins (~wonko7@2a01:e35:2ffb:7040:8c5f:831a:4acc:45dd)
2020-09-23 07:46:52 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-23 07:46:57 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-23 07:47:32 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-23 07:48:35 × ericsagnes quits (~ericsagne@2405:6580:0:5100:e8c3:a35d:820b:4c5f) (Ping timeout: 272 seconds)
2020-09-23 07:48:46 → jedws joins (~jedws@121.209.139.222)
2020-09-23 07:49:15 → eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-23 07:51:26 × tzh_ quits (~tzh@2601:448:c500:5300::82b3) (Quit: zzz)
2020-09-23 07:51:46 → mirrorbird joins (~psutcliff@m83-187-173-228.cust.tele2.se)
2020-09-23 07:52:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-23 07:54:17 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 272 seconds)
2020-09-23 07:55:06 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-23 07:56:59 <dminuoso> phadej: Is cabal going to assimilate the entirety of cabal-plan, or just the list-bin part of it?
2020-09-23 07:57:05 × javran quits (~javran@76.126.242.127) (Ping timeout: 240 seconds)
2020-09-23 07:57:10 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 265 seconds)
2020-09-23 07:57:34 × marmalodak quits (~marmaloda@c-73-202-176-57.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-09-23 07:57:39 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 265 seconds)
2020-09-23 07:58:32 → ByronJohnson joins (~bairyn@unaffiliated/bob0)
2020-09-23 07:58:41 → Colpop4323 joins (~logstash@host81-133-0-90.in-addr.btopenworld.com)
2020-09-23 07:59:06 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-09-23 08:00:54 → ericsagnes joins (~ericsagne@2405:6580:0:5100:45cf:ef77:5ff9:2b5)
2020-09-23 08:01:30 × ph88 quits (~ph88@2a02:8109:9e40:2704:a1b2:872a:487a:52ae) (Quit: Leaving)
2020-09-23 08:02:05 → jedws joins (~jedws@121.209.139.222)
2020-09-23 08:04:12 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 08:04:28 → Tene joins (~tene@mail.digitalkingdom.org)
2020-09-23 08:04:28 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2020-09-23 08:04:28 → Tene joins (~tene@poipu/supporter/slacker/tene)
2020-09-23 08:08:57 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-23 08:09:01 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 246 seconds)
2020-09-23 08:09:10 <phadej> dminuoso: just list-bin part for now
←Prev  Next→
Page 1 .. 150 151 152 153 154 155 156 157 158 159 160 .. 5022

All times are in UTC.