Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 .. 18034
— 1,803,335 events total
2021-07-23 16:18:17 <Boarders> <<
2021-07-23 16:18:19 → ub joins (~Thunderbi@77.119.196.49.wireless.dyn.drei.com)
2021-07-23 16:18:20 <Boarders> <<+=
2021-07-23 16:18:20 <sclv> with --lib you have "global packages" with regards to everything specified in an existing file
2021-07-23 16:18:26 <sclv> er an existing ghc environment file
2021-07-23 16:18:44 <c_wraith> err. treating things already in the env file as user goals
2021-07-23 16:18:57 <janus> oh :O so they'd have to remove their existing random==1.2.0 first. and the "user target" is including the global package set implied by --lib ?
2021-07-23 16:19:13 <c_wraith> sad conclusion: cabal install --lib can never be used twice without deleting the env file in between :)
2021-07-23 16:19:34 <dminuoso> c_wraith: yeah :)
2021-07-23 16:19:39 <sclv> there's a big ongoing discussion on how to fix --lib or supplant it
2021-07-23 16:19:54 <sclv> i commented on the ticket for now at least
2021-07-23 16:20:11 <janus> thanks a lot sclv
2021-07-23 16:20:37 <sclv> goerzen hasn't been around foreverish
2021-07-23 16:20:59 <sclv> if you can't reach him in a reasonable amount of time i'd suggest you initiate a package takeover request
2021-07-23 16:22:00 <janus> yes. i'll give him a few more weeks, he already kinda agreed to it
2021-07-23 16:22:04 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-23 16:25:02 → lbseale joins (~lbseale@user/ep1ctetus)
2021-07-23 16:25:08 × acidjnk_new quits (~acidjnk@p200300d0c72b95789cf50085fa6ab0cf.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-07-23 16:27:03 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-23 16:32:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-23 16:33:42 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-23 16:34:52 → Guest81 joins (~Guest81@2804:431:c7c1:12be:dc7f:2993:1218:94ce)
2021-07-23 16:35:36 × peterhil quits (~peterhil@mobile-access-b04801-219.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-07-23 16:36:00 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-23 16:37:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-07-23 16:37:21 × Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-23 16:37:27 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-23 16:37:58 × viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-23 16:38:32 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-23 16:41:49 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-23 16:42:35 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-23 16:43:07 <maerwald> "kinda" as in "didn't reply"? :p
2021-07-23 16:44:02 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit)
2021-07-23 16:44:16 → econo joins (uid147250@user/econo)
2021-07-23 16:44:48 → drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-23 16:45:22 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-23 16:47:00 → lavaman joins (~lavaman@98.38.249.169)
2021-07-23 16:47:32 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-23 16:47:45 → lavaman joins (~lavaman@98.38.249.169)
2021-07-23 16:47:53 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-23 16:48:27 → lavaman joins (~lavaman@98.38.249.169)
2021-07-23 16:48:31 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 16:51:00 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 16:52:19 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 16:52:20 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-23 16:52:50 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-07-23 16:53:21 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-23 16:53:26 → chris_ joins (~chris@81.96.113.213)
2021-07-23 16:54:27 × finsternis quits (~X@23.226.237.192) (Remote host closed the connection)
2021-07-23 16:54:34 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-07-23 16:57:53 × xff0x_ quits (~xff0x@2001:1a81:5383:d200:23a4:8563:bc41:3b3e) (Ping timeout: 252 seconds)
2021-07-23 16:57:57 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-23 16:58:10 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 16:58:43 → xff0x_ joins (~xff0x@2001:1a81:5383:d200:bac2:bd91:37ec:a1e3)
2021-07-23 16:59:40 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-23 17:01:57 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-23 17:02:00 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 17:02:07 × samhh quits (~samhh@90.252.70.102) (Quit: samhh)
2021-07-23 17:02:57 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-23 17:03:15 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 17:08:37 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-23 17:09:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-23 17:11:38 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 17:12:03 <janus> maerwald: maybe he thought i was the author of the PR and then when he found out i wasn't, he had his doubts https://github.com/jgoerzen/ftphs/pull/23
2021-07-23 17:12:42 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-23 17:14:18 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 17:16:34 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 240 seconds)
2021-07-23 17:18:33 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-23 17:18:45 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-23 17:23:44 × hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1)
2021-07-23 17:24:21 → hendursaga joins (~weechat@user/hendursaga)
2021-07-23 17:24:59 → pavonia joins (~user@user/siracusa)
2021-07-23 17:25:31 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-23 17:28:41 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-23 17:30:26 → drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-23 17:32:20 × neightchan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-07-23 17:33:03 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-23 17:33:40 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-23 17:34:45 → neightchan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-23 17:35:00 × gensyst quits (gensyst@user/gensyst) (Quit: Leaving)
2021-07-23 17:37:29 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds)
2021-07-23 17:38:26 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-23 17:39:50 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-23 17:41:15 → mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-23 17:43:10 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-23 17:43:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-23 17:46:13 → sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-07-23 17:48:01 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-23 17:50:02 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 265 seconds)
2021-07-23 17:50:52 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-23 17:52:15 → mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net)
2021-07-23 18:00:29 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-23 18:01:27 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-07-23 18:03:54 → doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-07-23 18:05:03 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection)
2021-07-23 18:05:08 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-23 18:05:25 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-23 18:10:07 <zzz> I'm using FlexibleInstances for the first time and have a question. i'm {-# OVERLAPPING #-} Ord (Int,Int) and then doing M.elems on a M.Map (Int,Int) a. Should I expect M.elems to respect my overlapping Ord?
2021-07-23 18:10:44 <c_wraith> :t M.elems
2021-07-23 18:10:45 <lambdabot> M.Map k a -> [a]
←Prev  Next→
Page 1 .. 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 .. 18034

All times are in UTC.