Logs: freenode/#haskell
| 2021-04-12 12:50:41 | <merijn> | sounds like a broken file/file lock in the cabal metadata directory |
| 2021-04-12 12:50:47 | <maerwald> | WSL? |
| 2021-04-12 12:51:16 | <zzz> | no wsl |
| 2021-04-12 12:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-12 12:52:09 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 252 seconds) |
| 2021-04-12 12:52:29 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-12 12:55:17 | × | xzmsl quits (4e208274@78.32.130.116) (Quit: Connection closed) |
| 2021-04-12 12:56:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-12 13:00:15 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-12 13:00:48 | × | forell quits (~forell@unaffiliated/forell) (Ping timeout: 265 seconds) |
| 2021-04-12 13:00:58 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-12 13:01:03 | → | forell joins (~forell@unaffiliated/forell) |
| 2021-04-12 13:04:01 | × | rembo10 quits (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-12 13:06:08 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:06:28 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:06:49 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-xevksgpnhxylybkh) |
| 2021-04-12 13:07:52 | → | Sorna joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-12 13:08:11 | → | rembo10 joins (~rembo10@wally.codeshy.com) |
| 2021-04-12 13:08:59 | → | freusque joins (63e6e881@cpef85e4245f305-cmf85e4245f303.cpe.net.cable.rogers.com) |
| 2021-04-12 13:10:18 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-12 13:10:38 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-12 13:12:09 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:12:15 | × | ram19890 quits (~ram@49.207.130.109) (Remote host closed the connection) |
| 2021-04-12 13:12:18 | × | lawid quits (~quassel@ip5b41869c.dynamic.kabel-deutschland.de) (Quit: lawid) |
| 2021-04-12 13:12:30 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:12:59 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-12 13:14:53 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-12 13:15:19 | → | lawid joins (~quassel@ip5b41869c.dynamic.kabel-deutschland.de) |
| 2021-04-12 13:16:56 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-04-12 13:19:04 | × | freusque quits (63e6e881@cpef85e4245f305-cmf85e4245f303.cpe.net.cable.rogers.com) (Quit: Connection closed) |
| 2021-04-12 13:19:10 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:19:31 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:20:10 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:20:30 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:22:10 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:22:19 | → | bitmagie joins (~Thunderbi@200116b8061cbc00e8696d8688336284.dip.versatel-1u1.de) |
| 2021-04-12 13:22:31 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:23:10 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:23:32 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:24:09 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:24:29 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-12 13:25:09 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-12 13:25:34 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-12 13:26:34 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-12 13:26:59 | × | _bin quits (~bin@2600:1700:10a1:38d0:552:2a84:dc6:b119) (Ping timeout: 260 seconds) |
| 2021-04-12 13:27:46 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 13:28:14 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-12 13:28:31 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:c9a3:9dbc:99dc:a4cc) |
| 2021-04-12 13:29:12 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-12 13:29:16 | → | _bin joins (~bin@2600:1700:10a1:38d0:6924:8e26:a144:5b39) |
| 2021-04-12 13:29:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:68e0:e795:2871:903f) |
| 2021-04-12 13:30:51 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-12 13:31:40 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-12 13:32:52 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:c9a3:9dbc:99dc:a4cc) (Ping timeout: 258 seconds) |
| 2021-04-12 13:35:53 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-12 13:38:05 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 13:42:47 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-04-12 13:43:05 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-12 13:44:12 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-12 13:44:30 | × | bitmagie quits (~Thunderbi@200116b8061cbc00e8696d8688336284.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-12 13:44:55 | × | APic quits (apic@apic.name) (Ping timeout: 268 seconds) |
| 2021-04-12 13:45:14 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-angnetldjalsgvuz) |
| 2021-04-12 13:46:55 | → | APic joins (apic@185.203.114.187) |
| 2021-04-12 13:47:31 | × | drbean_ quits (~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-12 13:48:20 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-12 13:48:53 | → | Mo49 joins (549d3d1a@p549d3d1a.dip0.t-ipconnect.de) |
| 2021-04-12 13:49:23 | × | Mo49 quits (549d3d1a@p549d3d1a.dip0.t-ipconnect.de) (Client Quit) |
| 2021-04-12 13:50:33 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-12 13:51:13 | × | APic quits (apic@185.203.114.187) (Ping timeout: 240 seconds) |
| 2021-04-12 13:51:53 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-12 13:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-12 13:52:29 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-12 13:52:48 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-04-12 13:53:09 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-12 13:53:42 | → | APic joins (apic@apic.name) |
| 2021-04-12 13:55:32 | × | v01d4lph4 quits (~v01d4lph4@223.177.186.2) (Remote host closed the connection) |
| 2021-04-12 13:57:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 13:58:15 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-04-12 13:58:34 | → | ram19890 joins (~ram@49.207.130.109) |
| 2021-04-12 13:59:53 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-12 14:03:39 | → | Guest_69 joins (c22c6f46@194.44.111.70) |
| 2021-04-12 14:03:41 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-12 14:04:05 | Alleria | is now known as Guest35124 |
| 2021-04-12 14:04:13 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-12 14:04:43 | → | oniijin joins (~oniijin@185.204.1.185) |
| 2021-04-12 14:05:12 | × | Guest19986 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-12 14:05:44 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-12 14:05:50 | × | Guest_69 quits (c22c6f46@194.44.111.70) (Client Quit) |
| 2021-04-12 14:09:02 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-12 14:09:08 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-12 14:09:31 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-12 14:11:04 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-04-12 14:11:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-12 14:13:56 | <thblt> | Potentially stupid question I don't know how to Google: I have a few record types like `data Student { studentId :: StudentID, classes :: [Class] }`. 99% of the time I only care about the `classes` field, so I end up doing a lot of eg func s@(Student _ c) = s { classes = fmap … }. Is there a way (that isn't horrible) to somehow apply the field's Functor (and Monoid, and Monad, and so on) instances to the whole Student type, |
| 2021-04-12 14:13:56 | <thblt> | so I can fmap over a Student and it actually fmaps over what really matters, `classes`. |
| 2021-04-12 14:14:00 | → | ram19890_ joins (~ram@49.207.130.109) |
| 2021-04-12 14:14:13 | × | ram19890_ quits (~ram@49.207.130.109) (Remote host closed the connection) |
| 2021-04-12 14:14:30 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 14:14:33 | → | ram19890_ joins (~ram@49.207.130.109) |
| 2021-04-12 14:14:46 | × | ram19890_ quits (~ram@49.207.130.109) (Max SendQ exceeded) |
All times are in UTC.