Logs on 2025-11-29 (liberachat/#haskell)
| 00:03:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:06:32 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 00:07:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:10:32 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 00:11:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 00:18:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:23:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 00:23:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:25:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:31:15 | × | trickard quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 00:31:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:31:49 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 00:34:08 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 00:34:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:35:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 00:37:22 | → | poscat joins (~poscat@user/poscat) |
| 00:38:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:49:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:53:30 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:53:44 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 00:54:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:05:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:36 | × | Googulator95 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 01:05:45 | → | Googulator95 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 01:09:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:12:15 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 01:12:30 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 01:15:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:20:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:23:51 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:25:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 01:26:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:32:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:33:55 | × | acidjnk quits (~acidjnk@p200300d6e71719110157f51e13fe5b99.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 01:35:37 | → | califax joins (~califax@user/califx) |
| 01:35:41 | → | Googulator85 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 01:35:47 | × | Googulator95 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 01:35:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:35:50 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 01:36:05 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:37:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 01:38:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:43:02 | trickard_ | is now known as trickard |
| 01:53:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:37 | → | omidmash9 joins (~omidmash@user/omidmash) |
| 01:57:42 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 01:57:42 | omidmash9 | is now known as omidmash |
| 01:58:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:03:45 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 02:09:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:13:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:23:40 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 02:24:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:27:37 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 02:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:34:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:38:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:40:16 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:46:36 | → | EvanR_ joins (~EvanR@user/evanr) |
| 02:48:44 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 02:49:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:53:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:59:32 | EvanR_ | is now known as EvanR |
| 03:02:53 | × | trickard quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:03:07 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 03:04:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:05:45 | → | Googulator84 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 03:05:49 | × | Googulator85 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 03:06:29 | Dhark8 | is now known as Shark8 |
| 03:09:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:16:55 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 03:17:36 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 03:20:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:24:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:30:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 03:32:34 | × | td_ quits (~td@i53870937.versanet.de) (Ping timeout: 246 seconds) |
| 03:34:03 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:34:28 | → | td_ joins (~td@i5387090B.versanet.de) |
| 03:35:42 | → | Googulator95 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 03:35:45 | × | Googulator84 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 03:35:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:39:18 | → | Googulator37 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 03:39:27 | × | Googulator95 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Client Quit) |
| 03:39:55 | × | hamster quits (~ham@user/ham) (Ping timeout: 246 seconds) |
| 03:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:44:19 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 03:51:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:51:58 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 03:53:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 03:54:15 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:56:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:56:30 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:59:19 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 04:01:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:02:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 04:05:09 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:05:23 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 04:05:42 | → | Googulator73 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 04:05:43 | × | Googulator37 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 04:06:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 04:10:07 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 04:15:39 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 04:16:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:18:04 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 04:21:01 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 04:21:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:22:17 | → | annamalai joins (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) |
| 04:26:34 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 265 seconds) |
| 04:30:25 | × | gawen_ quits (~gawen@user/gawen) (Quit: cya) |
| 04:31:11 | → | gawen joins (~gawen@user/gawen) |
| 04:32:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:35:06 | → | EvanR joins (~EvanR@user/evanr) |
| 04:38:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:39:36 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 04:39:55 | → | EvanR joins (~EvanR@user/evanr) |
| 04:45:36 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 04:45:55 | → | EvanR joins (~EvanR@user/evanr) |
| 04:49:38 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 04:49:56 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 04:50:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:52:59 | → | pabs3 joins (~pabs3@user/pabs3) |
| 04:54:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:54:52 | trickard_ | is now known as trickard |
| 04:57:16 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 04:58:58 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 05:00:30 | → | pabs3 joins (~pabs3@user/pabs3) |
| 05:00:55 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 05:05:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:07:25 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:09:19 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 264 seconds) |
| 05:10:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:10:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 05:21:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:25:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:28:00 | <gentauro> | geekosaur: and EvanR thx for answers. I guess you are right. `map fromEnum` it is :) |
| 05:28:27 | <EvanR> | :t map fromEnum |
| 05:28:28 | <lambdabot> | Enum a => [a] -> [Int] |
| 05:28:45 | <EvanR> | good |
| 05:28:50 | <gentauro> | :) |
| 05:35:43 | × | Googulator73 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 05:35:53 | → | Googulator73 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 05:36:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:40:56 | × | Googulator73 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 05:41:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:41:02 | → | Googulator69 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 05:51:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:55:14 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 05:56:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:57:02 | → | chenjf joins (~chenjf@68.64.178.54) |
| 06:02:12 | × | chenjf quits (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 06:02:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:03:05 | → | chenjf joins (~chenjf@68.64.178.54) |
| 06:06:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 06:07:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:07:41 | × | chenjf quits (~chenjf@68.64.178.54) (Client Quit) |
| 06:08:40 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 06:16:09 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 06:17:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:22:58 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 06:24:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:35:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:40:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:40:40 | × | Googulator69 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 06:40:48 | → | Googulator69 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 06:48:40 | → | ell joins (~ellie@user/ellie) |
| 06:50:14 | → | trickard__ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 06:51:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:52:13 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 06:55:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:01:05 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 07:03:28 | → | deptype joins (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) |
| 07:03:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:08 | → | omidmash2 joins (~omidmash@user/omidmash) |
| 07:07:31 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 264 seconds) |
| 07:07:31 | omidmash2 | is now known as omidmash |
| 07:07:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:09:56 | → | vardhan joins (~vardhan@122.172.82.9) |
| 07:18:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:23:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:26:01 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 07:29:48 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:34:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:38:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:38:48 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 07:49:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:50:15 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 07:50:51 | → | jreicher joins (~user@user/jreicher) |
| 07:54:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:04:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:08:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:15:50 | × | Googulator69 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 08:15:52 | → | Googulator88 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 08:18:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 08:20:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:24:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:28:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 08:35:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:39:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:43:01 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 08:45:45 | × | Googulator88 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 08:45:50 | → | Googulator92 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 08:50:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:53:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 08:54:47 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:55:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 08:58:56 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 09:05:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:05:58 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 09:06:37 | × | trickard__ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 09:07:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:11:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:13:08 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 09:15:42 | × | Googulator92 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 09:15:45 | → | Googulator43 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 09:20:33 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 09:23:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:27:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:29:18 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 09:31:31 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Remote host closed the connection) |
| 09:36:32 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:38:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:41:17 | × | deptype quits (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) (Remote host closed the connection) |
| 09:41:54 | → | deptype joins (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) |
| 09:43:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:45:43 | → | Googulator86 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 09:45:46 | × | Googulator43 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 09:54:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:58:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:06:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:06:53 | → | pakettiale joins (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) |
| 10:08:37 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 10:11:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 10:13:15 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 10:15:44 | × | Googulator86 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 10:15:45 | → | Googulator81 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 10:16:35 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 10:21:02 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 10:21:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:26:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:26:26 | trickard_ | is now known as trickard |
| 10:27:40 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 10:28:56 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 10:33:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:37:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:40:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 10:40:46 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 10:41:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:42:31 | × | deptype quits (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) (Ping timeout: 255 seconds) |
| 10:43:35 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 10:45:32 | × | Googulator81 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 10:45:35 | → | deptype joins (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) |
| 10:45:39 | → | Googulator22 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 10:46:29 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 10:47:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:52:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:58:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 11:05:42 | → | __monty__ joins (~toonn@user/toonn) |
| 11:05:51 | × | deptype quits (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) (Remote host closed the connection) |
| 11:06:11 | → | deptype joins (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) |
| 11:07:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:11:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:15:41 | → | Googulator53 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 11:15:45 | × | Googulator22 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 11:17:38 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 11:18:33 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:22:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:25:53 | × | deptype quits (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) (Remote host closed the connection) |
| 11:26:30 | → | deptype joins (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) |
| 11:27:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:32:15 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 11:32:18 | → | qqe joins (~qqq@185.54.22.255) |
| 11:33:12 | → | n0den1te joins (~n0den1te@106.222.223.139) |
| 11:34:13 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 11:38:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:41:55 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 11:42:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:45:55 | × | deptype quits (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) (Remote host closed the connection) |
| 11:46:20 | → | deptype joins (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) |
| 11:47:11 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 11:49:30 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 11:50:14 | × | Fijxu quits (~Fijxu@user/fijxu) (Client Quit) |
| 11:52:22 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 11:53:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:53:37 | → | img joins (~img@user/img) |
| 12:00:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:00:48 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 12:04:24 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:04:45 | → | yarl joins (~yarl@user/yarl) |
| 12:05:57 | × | deptype quits (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) (Remote host closed the connection) |
| 12:06:12 | <yarl> | Hello, I got "Error 503 Backend is unhealthy" for many links on downloads.haskell.org (e.g. https://downloads.haskell.org/~ghc/latest/) |
| 12:06:34 | → | deptype joins (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) |
| 12:08:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:08:58 | <yarl> | Am I alone? Is it known? |
| 12:09:11 | <[exa]> | you're not alone |
| 12:09:36 | <jreicher> | The explicitly versioned links work for me though |
| 12:09:49 | <jreicher> | The stuff linked to from https://www.haskell.org/ghc/ |
| 12:09:57 | <[exa]> | anyway yeah there've been minor capacity issues, iirc mainly triggered by chatbots scraping stuff 103457294857 times everyday |
| 12:10:32 | × | n0den1te quits (~n0den1te@106.222.223.139) (Ping timeout: 240 seconds) |
| 12:12:30 | <yarl> | I can't access gitlab.haskell.org, connection has timed out. |
| 12:12:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:13:36 | <[exa]> | same here |
| 12:16:01 | <[exa]> | actually if this persists for a weird amount of time, ask in #hackage |
| 12:17:05 | <yarl> | I want to access https://gitlab.haskell.org/ghc/ghc/wikis/GHC%20Status#all-released-ghc-versions to know and get first aarch64 supported ghc. I think that it started being distributed with 8.2.1 by navigating through https://downloads.haskell.org/~ghc, I can reach https://downloads.haskell.org/~ghc/8.2.1/ but not https://downloads.haskell.org/~ghc/8.2.1/ghc-8.2.1-aarch64-deb8-linux.tar.xz. |
| 12:17:53 | <yarl> | I am doing this to try to package ghc for aarch64 into guix. |
| 12:20:43 | <[exa]> | that might be in the release notes in the manual actually |
| 12:21:06 | <yarl> | I still need the archive. |
| 12:21:23 | <yarl> | But I'll take a look. |
| 12:22:06 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:22:10 | <[exa]> | from git the first mention of aarch64 is in ghc-7.11-start-35-g58ac9c8f6e9 (from git describe) |
| 12:23:00 | <yarl> | I am looking specifically (I thlink) for the first aarch64 binary distributed |
| 12:23:39 | <yarl> | I can't reach the manual at https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
| 12:23:44 | <[exa]> | ah ok well, that might need the actual archive |
| 12:23:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:24:38 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 12:26:00 | × | deptype quits (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) (Remote host closed the connection) |
| 12:26:09 | <yarl> | That's early to give up but I can't access anything. |
| 12:26:35 | → | deptype joins (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) |
| 12:28:16 | <[exa]> | yarl: web.archive.org ? |
| 12:28:25 | <[exa]> | at least the link listings should be readable there |
| 12:28:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:31:00 | <mreh> | how can I traverse over the first element of a 2-tuple? |
| 12:31:15 | <mreh> | Probably lots of ways to do it |
| 12:32:15 | <[exa]> | yes lots of ways |
| 12:32:26 | <[exa]> | :D |
| 12:33:16 | × | qqe quits (~qqq@185.54.22.255) (Remote host closed the connection) |
| 12:33:42 | <[exa]> | mreh: there was a Swapped newtype adaptor somewhere |
| 12:33:50 | <Leary> | :t \f -> bitraverse @(,) f pure |
| 12:33:51 | <lambdabot> | Applicative f => (a -> f c) -> (a, d) -> f (c, d) |
| 12:34:08 | <[exa]> | <3 ^ |
| 12:36:49 | <mreh> | hoogle is down :( |
| 12:37:34 | <mreh> | can it be done with an arbitrary lens? |
| 12:37:46 | <mreh> | feels like that's something I should have in my toolbox |
| 12:38:55 | <mreh> | bitraverse sounds like it should be analogous to bimap |
| 12:38:59 | <mreh> | :t bimap |
| 12:39:00 | <lambdabot> | Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d |
| 12:39:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:39:55 | × | yin quits (~zero@user/zero) (Ping timeout: 264 seconds) |
| 12:41:45 | <[exa]> | mreh: hoogle is many https://hoogle.mangoiv.com/?q=Swapped |
| 12:42:46 | × | deptype quits (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) (Ping timeout: 246 seconds) |
| 12:43:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:45:20 | <mreh> | :t traverseOf _1 |
| 12:45:21 | <lambdabot> | (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t |
| 12:45:58 | → | Googulator11 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 12:46:03 | → | deptype joins (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) |
| 12:46:18 | <mreh> | > traverseOf _1 (Right . (+1)) (1, 'a') |
| 12:46:20 | <lambdabot> | Right (2,'a') |
| 12:46:32 | × | Googulator53 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 12:47:36 | <[exa]> | yeah lenses might be useful |
| 12:48:05 | <mreh> | [exa]: local Hoogle + Hackage would be so useful for offline, I seem to remember some tooling around that |
| 12:48:16 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 12:48:32 | <[exa]> | I've got that in my todolist for years |
| 12:48:56 | <[exa]> | it's supposed to "just work" yet never really cared because there's some hoogle online almost any time |
| 12:49:02 | → | yin joins (~zero@user/zero) |
| 12:51:52 | <mreh> | if I had to travel, I might consider it |
| 12:52:03 | <mreh> | but then there's internet almost everywhere now |
| 12:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:56:44 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 12:57:49 | <Leary> | Local hoogle is snappier, since it doesn't have to query some webserver on every single keypress. It's also quite trivial to set up on NixOS, not sure about other systems. |
| 12:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:59:53 | ← | yarl parts (~yarl@user/yarl) (Killed buffer) |
| 13:01:49 | × | xff0x quits (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 13:05:26 | → | Square joins (~Square@user/square) |
| 13:09:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:11:23 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:24:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:b802:6ec:1472:e908) |
| 13:24:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:27:34 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) (Remote host closed the connection) |
| 13:29:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:31:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:42:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:47:11 | → | califax joins (~califax@user/califx) |
| 13:47:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:49:30 | <__monty__> | Nix makes local Hoogle as trivial as setting withHoogle to true. |
| 13:56:58 | <dutchie> | seems like I have to dick around with firefox localfilelinks permissions though :/ |
| 13:58:07 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 13:58:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:59:16 | <Clint> | on debian, apt install hoogle |
| 14:00:30 | <dutchie> | the issue seems to be that nix-installed `hoogle serve` (via withHoogle) links to something like file:///nix/store/v3x1jakad8zvajivhn728wwflq4invfz-ghc-9.12.2-doc/share/doc/ghc/html/libraries/bytestring-0.12.2.0-b89d/Data-ByteString.html |
| 14:00:42 | <dutchie> | but firefox doesn't allow file:// links from http origins |
| 14:02:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:02:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:03:45 | <__monty__> | Clint: Does it index packages installed through apt or are you responsible for running the indexing and such? That's the part that Nix makes more convenient. |
| 14:04:42 | <[exa]> | ok I guess it's time to try now |
| 14:04:43 | <[exa]> | :D |
| 14:04:52 | <dutchie> | https://kb.mozillazine.org/Links_to_local_pages_do_not_work seems to do the trick |
| 14:08:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:09:17 | <[exa]> | dutchie: turns out hoogle --local option enables the file:// links |
| 14:09:31 | <[exa]> | no obvious way to force-disable it tho but you might find what triggers it |
| 14:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:12:00 | <dutchie> | ah that does the trick, rewriting file:// to some http://localhost:8080/file/ proxy thing |
| 14:15:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:15:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 14:16:20 | <[exa]> | anyway now that I have `hoogle serve` running, is there some easy way to point it to local database or so? |
| 14:19:48 | <[exa]> | oh well https://magnus.therning.org/2024-07-13-hoogle-setup-for-local-development.html |
| 14:25:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:30:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:31:10 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:81e5:516f:14c0:9e92) (Remote host closed the connection) |
| 14:33:10 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
| 14:35:55 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 14:35:58 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 14:41:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:46:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 14:53:21 | × | Jackneill quits (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 14:53:32 | → | Jackneill joins (~Jackneill@178-164-177-218.pool.digikabel.hu) |
| 14:56:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:00:43 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:01:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:02:31 | → | scubagear joins (~scubagear@190-2-131-159.hosted-by-worldstream.net) |
| 15:11:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:12:30 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:15:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 15:27:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:30:13 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 15:31:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:32:10 | × | annamalai quits (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) (Ping timeout: 246 seconds) |
| 15:32:39 | → | annamalai joins (~annamalai@117.246.94.92) |
| 15:33:22 | Googulator11 | is now known as Googulator |
| 15:34:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 15:41:07 | → | TMA joins (tma@twin.jikos.cz) |
| 15:42:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:44:05 | × | pakettiale quits (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 15:46:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:47:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:54:51 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 15:55:12 | → | polykernel joins (~polykerne@user/polykernel) |
| 15:57:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:00:52 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 16:02:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:07:33 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 16:11:05 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 16:11:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 16:12:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:18:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:28:31 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) |
| 16:28:48 | × | scubagear quits (~scubagear@190-2-131-159.hosted-by-worldstream.net) (Quit: leaving) |
| 16:28:49 | → | Guest71 joins (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 16:30:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:33:49 | → | Guest49 joins (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 16:34:11 | × | Guest49 quits (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Client Quit) |
| 16:35:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 16:35:40 | → | Googulator84 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 16:35:40 | × | Googulator quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 16:36:57 | × | Guest71 quits (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Ping timeout: 250 seconds) |
| 16:45:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:50:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:55:28 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:57:18 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:58:11 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 17:00:23 | → | weary-traveler joins (~user@user/user363627) |
| 17:00:57 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 17:01:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:03:07 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.7.1) |
| 17:03:21 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 17:05:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:05:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:06:20 | → | poscat joins (~poscat@user/poscat) |
| 17:08:13 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 17:09:55 | × | annamalai quits (~annamalai@117.246.94.92) (Ping timeout: 240 seconds) |
| 17:10:03 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 17:12:04 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 17:12:04 | polykernel_ | is now known as polykernel |
| 17:13:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:15:01 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 17:18:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:23:46 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 17:24:34 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:25:19 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:25:32 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 17:26:55 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:28:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:32:32 | → | annamalai joins (~annamalai@117.249.152.21) |
| 17:33:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 17:35:37 | × | Googulator84 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 17:35:38 | → | Googulator90 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 17:36:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 17:36:56 | → | Psychotic1 joins (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) |
| 17:37:43 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 17:44:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:44:16 | → | Pozyomka joins (~pyon@user/pyon) |
| 17:48:38 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 17:48:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:54:30 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:55:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:57:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 17:59:21 | × | Psychotic1 quits (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) (Quit: Leaving) |
| 17:59:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:02:46 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 18:02:46 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 18:02:46 | → | haritz joins (~hrtz@user/haritz) |
| 18:04:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 18:05:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:06:18 | × | annamalai quits (~annamalai@117.249.152.21) (Ping timeout: 265 seconds) |
| 18:06:36 | → | annamalai joins (~annamalai@157.32.203.114) |
| 18:08:54 | <haskellbridge> | <Zemyla> Silly thought: Add null1 to Data.Foldable1 as the default for Foldable.null. null1 :: Foldable1 f => f a -> Bool; null1 _ = False |
| 18:13:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:14:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:14:45 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.7.1) |
| 18:15:33 | → | marlino joins (~marlino@96-8-193-33.block0.gvtc.com) |
| 18:15:56 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 18:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:23:44 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:26:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:27:24 | → | larsivi joins (~larsivi@user/larsivi) |
| 18:27:52 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 18:29:05 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 18:29:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:34:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 18:35:40 | → | Googulator1 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 18:35:45 | × | Googulator90 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 18:45:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:46:43 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 18:48:21 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 18:48:41 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:49:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:00:05 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:00:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:28 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 19:00:43 | → | skum joins (~skum@user/skum) |
| 19:04:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:09:01 | <int-e> | Why does the innermost () here become a pattern match failure (patError)? |
| 19:10:14 | <int-e> | (The code isn't supposed to make sense; the whole GHC.ArrayArray module is quite suspicious. It's also deprecated.) |
| 19:15:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:18:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 19:19:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:22:41 | <[exa]> | int-e: where here? |
| 19:22:55 | <int-e> | Err. Link: https://paste.tomsmeding.com/E5PQOOx1 |
| 19:22:57 | <[exa]> | (maybe a link didn't get through) |
| 19:22:59 | <[exa]> | ah |
| 19:23:17 | <int-e> | Nah, I forgot to paste the link somehow. |
| 19:24:22 | <[exa]> | it can't match right? |
| 19:25:16 | <int-e> | "it"? surely the readMutableByteArrayArray# returns something and _ would match that. The () isn't a pattern, it's a value. |
| 19:25:17 | <[exa]> | (the indentation of _ is fishy to me) |
| 19:25:49 | <int-e> | ... |
| 19:26:14 | <int-e> | Right. Who added EmptyCase as a default, grr. |
| 19:26:24 | <int-e> | Thanks! |
| 19:27:25 | <[exa]> | I got recently pwned with tons of such errors that propagate upwards to the closest innocent start of a `do` block |
| 19:27:43 | <[exa]> | good to see the experience paid off :D :D |
| 19:28:22 | <int-e> | I'll add {} since I don't want to increase the indentation depth |
| 19:29:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 19:29:42 | <int-e> | Cool. I got the core dump I wanted. |
| 19:29:48 | <[exa]> | <3 |
| 19:30:10 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 19:30:41 | <int-e> | Also, -Wall would've pointed me at the issue. |
| 19:30:45 | <monochrom> | That would have the opposite meaning in a C channel. :) |
| 19:30:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:33:31 | → | gmg joins (~user@user/gehmehgeh) |
| 19:34:11 | <int-e> | FWIW: (note the first line) https://paste.tomsmeding.com/I8vQzBzx |
| 19:35:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:37:06 | <[exa]> | aaaanyway, is there someone good with Streaming package here? I'm trying to get some rule of thumb on how to understand how stuff like this https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:separate can stream properly. |
| 19:38:33 | <[exa]> | (In short the example there writes into the 2 files concurrently (the IO actions interleaved) and I'm trying to find the piece of code that makes it happen) |
| 19:39:55 | <[exa]> | internally the code leads to https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Internal.html#v:destroyExposed and there I'm lost. |
| 19:43:30 | <[exa]> | ok the `destroyExposed` is just foldr for streams, which is cool but helps neither |
| 19:44:34 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 19:46:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:46:33 | trickard_ | is now known as trickard |
| 19:47:14 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:49:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 19:49:20 | ljdarj1 | is now known as ljdarj |
| 19:49:34 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:50:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:51:03 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 19:51:49 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 19:51:53 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 19:52:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:55:29 | <int-e> | [exa]: The example doesn't type-check. |
| 19:55:44 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) (Remote host closed the connection) |
| 19:55:48 | <[exa]> | how come (it does for me) |
| 19:56:26 | <[exa]> | (as in, my ghci is okay with it, my head doesn't typecheck tho) |
| 19:58:02 | <int-e> | what is your S? mine is Streaming.Prelude from streaming-0.2.4.0 |
| 19:59:28 | <[exa]> | yes |
| 19:59:34 | <[exa]> | also `import Streaming` with no qual |
| 20:00:04 | <int-e> | [exa]: https://paste.tomsmeding.com/OFa4FdLZ |
| 20:01:01 | <int-e> | The non-writing parts do work, I guess. |
| 20:01:03 | <[exa]> | ah might got hitten by monomorphism |
| 20:01:09 | <[exa]> | try full: S.stdoutLn . S.map ("even:"++) . S.show $ S.stdoutLn . S.show $ separate $ S.maps (S.distinguish even) $ S.each [1..10::Int] |
| 20:01:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:01:58 | <[exa]> | (a bit different but essentially the same thing) |
| 20:01:59 | <int-e> | [exa]: The type of S.writeFile is too restricted. |
| 20:02:41 | <int-e> | Inherently so because there's no anchor point for opening the file otherwise. |
| 20:03:19 | <[exa]> | you're right, ah you're right it actually needs MonadIO but it returns a different monad than IO |
| 20:03:23 | <[exa]> | wh |
| 20:03:37 | [exa] | produces a loud *click* |
| 20:03:37 | <int-e> | That's not an issue for S.stdoutLn which just has to grab the global stdout. |
| 20:04:16 | <[exa]> | I think I understood it on the error here |
| 20:05:01 | <[exa]> | the stream is never really split, that S.stdoutLn in the middle literally just converts one half of it to side effects |
| 20:05:14 | <[exa]> | which is why it needs generic monad |
| 20:05:17 | <[exa]> | ok gooooooooooooood |
| 20:06:05 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:06:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:06:31 | <int-e> | Anyway. IIUC it's up to the final consumers (like stdoutLn) to process steps and effects in a timely manner so that GC can kick in and keep memory usage low. Stream's MonadIO instance plays into this as well I guess. |
| 20:07:11 | <int-e> | But `liftIO` will just wrap the effect, right? |
| 20:07:24 | <[exa]> | yeah |
| 20:10:37 | <int-e> | Hmm. I think I'm wrong about the anchor point. Also, look at this older type: https://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming-Prelude.html#v:writeFile |
| 20:11:43 | <int-e> | Have fun finding the ticket or PR or other rationale for why they changed it. My guess is timely closing of files in the presence of exceptions. |
| 20:11:45 | <[exa]> | yeah they now have withFile there, and they'd need unliftIO to make the stuff work inside |
| 20:13:50 | <int-e> | You can still open files beforehand and then use the awkwardly named https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:toHandle |
| 20:15:33 | <[exa]> | yeah |
| 20:15:39 | <[exa]> | I'm gonna send them a patch |
| 20:15:43 | <[exa]> | anyway, thanks! |
| 20:16:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:16:47 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:18:42 | → | pavonia joins (~user@user/siracusa) |
| 20:19:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 20:20:09 | <int-e> | (And toHandle does the obvious thing: use `hPutStrLn` for each piece received, and execute other effects as they arrive) |
| 20:20:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:21:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:23:05 | <[exa]> | here we go https://github.com/haskell-streaming/streaming/pull/130 |
| 20:23:27 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 20:23:50 | <[exa]> | nvm, time to sleep :D |
| 20:23:52 | <[exa]> | o/ |
| 20:28:18 | <Clint> | __monty__: it indexes them |
| 20:31:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:33:16 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:36:04 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 20:36:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:40:42 | → | Googulator92 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 20:40:47 | × | Googulator1 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 20:45:35 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 20:47:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:49:18 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 20:51:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:02:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:04:30 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:05:29 | Googulator92 | is now known as Googulator |
| 21:05:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 21:07:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:14:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:18:15 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 21:18:31 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 21:21:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:24:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:27:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 21:30:37 | → | Guest56 joins (~Guest56@38.49.92.193) |
| 21:32:19 | → | euphores joins (~SASL_euph@user/euphores) |
| 21:32:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:37:23 | <Guest56> | I need help with some haskell syntax. I have a really long type signature and I need a quick way of making sure that the parts of it which are equal are represented in the signature itself. (Explanation follows:) |
| 21:37:23 | <Guest56> | Signature: |
| 21:37:24 | <Guest56> | type var1 = String |
| 21:37:24 | <Guest56> | type var2 = String |
| 21:37:25 | <Guest56> | … some code … |
| 21:37:25 | <Guest56> | let ta = typeDeconstruct …. (This function returns a Maybe type) |
| 21:37:26 | <Guest56> | … some more code |
| 21:37:26 | <Guest56> | let Just (MyType var1 var2 -> MyType var1’ var3) = ta …. Made sure that ta is not a Nothing already |
| 21:37:27 | <Guest56> | In if var1 == var1’ |
| 21:37:27 | <Guest56> | then … |
| 21:37:28 | <Guest56> | else |
| 21:37:28 | <Guest56> | I want to be able to do Just (MyType var1 var2 -> MyType var1 var3) …. Is there an extension for this? The actual code has over 8 places in which var1 is used and it is not realistic to keep adding apostrophes and do 56 comparisons |
| 21:37:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:43:34 | <Guest56> | anyone? |
| 21:48:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:54:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:01:31 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 22:01:42 | <pavonia> | What syntax is the arrow in "let Just (MyType var1 var2 -> MyType var1’ var3) = ta"? |
| 22:03:40 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:04:58 | <Guest56> | it's supposed to return a function type. I have added arrows in there for easy viewing. My type definitions for arrows are: Arrow MyType MyType |
| 22:06:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:06:34 | <Guest56> | So the actual code is on the lines of: Just (Arrow (MyType var1 var2) (MyType var1’ var3)) = ta |
| 22:08:30 | <Rembane> | Guest56: Do they always have to be the same type or is it okay if they are different types sometimes? |
| 22:08:49 | <Guest56> | no, they have to be the same types |
| 22:09:08 | <Guest56> | var1 and var2 are just Type renames for strings |
| 22:09:30 | <Guest56> | I'm sorry, I cannot show the actual code but I can come up with an MRE as close as possible. |
| 22:10:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 22:11:05 | <Rembane> | Guest56: No worries, then I think you could use newtypes instead of types to give the type checker something more to work with and use functional dependencies or maybe type families (which I'm not familiar with more than the name) to get the same types. |
| 22:11:13 | <Rembane> | Guest56: What are you trying to model with your machinery? |
| 22:11:22 | <Guest56> | It is an extension of System F |
| 22:13:22 | <Rembane> | Nice, where you can find out if two arguments are the same type? |
| 22:13:37 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 22:13:46 | <Guest56> | uh, I'm writing an MRE. This should help. Gimme a couple minutes please :) |
| 22:16:03 | <Rembane> | https://play.haskell.org/saved/8UUN33oD <- this is probably too simple, but I like thinking out loud |
| 22:20:43 | <Guest56> | This is as close I can get to an MRE |
| 22:20:47 | <Guest56> | Type = TSimple (Either Int Bool) | TArrow Type Type | (TVar String) | SpecialType Type Type Type |
| 22:20:47 | <Guest56> | Exp = ESimple (Either Int Bool) | EArrow Type Type | (EVar String) | ESpecial Exp |
| 22:20:48 | <Guest56> | typeCheck :: Exp -> Type |
| 22:20:48 | <Guest56> | typeCheck (ESpecial e) = let te = inferType e |
| 22:20:49 | <Guest56> | In if isJust te |
| 22:20:49 | <Guest56> | then let Just (TArrow (SpecialType (TArrow (TVar t1) (TVar t2)) (TArrow (TVar t1) (TVar t2’)) (TArrow (TVar t1) (TVar t2’’))) (SpecialType (TVar t2) (TVar t2’) (TVar t2’’))) = te |
| 22:20:50 | <Guest56> | in if t1 == t1’ && t1’ == t2’ |
| 22:20:50 | <Guest56> | then SpecialType (TVar t2) (TVar t2’) (TVar t2’’) |
| 22:20:51 | <Guest56> | else Nothing |
| 22:20:51 | <Guest56> | else Nothing |
| 22:21:09 | <Guest56> | whoops typo... t1' == t1'' not t2' |
| 22:21:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:24:02 | <Guest56> | The actual code has like 8 `t1`s. |
| 22:24:23 | <Rembane> | That's exciting and seems quite hard to read. |
| 22:25:06 | <Guest56> | oh wait lol I can refer you to the actual paper. That is public domain lmao |
| 22:26:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:26:12 | <Guest56> | https://www.cs.cornell.edu/people/fluet/research/rgn-monad/JFP06/jfp06.pdf |
| 22:26:13 | <Guest56> | Go down to page 20. I'm trying to model the type checker for letRGN |
| 22:29:18 | <Rembane> | That's some spicy notation! |
| 22:29:34 | <Guest56> | yup lol |
| 22:31:00 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 22:31:00 | <Guest56> | I guess I can share a snippet of my code |
| 22:32:37 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 22:32:47 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 22:34:46 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:34:48 | <Guest56> | Gimme a sec please it ain't easy writing down all those Arrows lol |
| 22:34:49 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 22:35:40 | divlamir_ | is now known as divlamir |
| 22:36:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 22:38:13 | <Guest56> | ok, there we go. This will not compile because all those `gr2`s need to be different and then checked for equality. |
| 22:39:01 | <Guest56> | inferType d g (ELetRGN tr1 ta v) = |
| 22:39:01 | <Guest56> | let tv = (inferType d g . valToExp) v |
| 22:39:02 | <Guest56> | in if (S.member tr1 d) && (S.member ta d) && isJust tv |
| 22:39:02 | <Guest56> | then let FForall gr2 (FArrow (FArrow (FArrow (RGN tr1 (FVar gr2)) (RGN (FVar gr2) (gr2))) (RGNHandle (FVar gr2))) (RGN (FVar gr2) ta)) = tv |
| 22:39:03 | <Guest56> | in if gr2 == gr2' && gr2' == gr2'' && gr2'' == gr2''' && gr2''' == gr2'''' && gr2'''' == gr2''''' |
| 22:39:03 | <Guest56> | then Just $ RGN tr1 ta |
| 22:39:04 | <Guest56> | else Nothing |
| 22:39:04 | <Guest56> | else Nothing |
| 22:39:37 | <Guest56> | Rembane you there? |
| 22:40:08 | <Rembane> | Guest56: Yup, lets see. |
| 22:41:11 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 22:41:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:41:28 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 22:42:21 | <Guest56> | I'm basically trying to replace the let expression as let will not let me repeat bindings. |
| 22:42:44 | <Rembane> | Guest56: You can replace it with a case and pattern match on Just |
| 22:43:12 | <Rembane> | Guest56: But I have a feeling there's either incredible inherent complexity in the problem or that there's an easier way to model this in Haskell. |
| 22:43:14 | <Guest56> | oh? |
| 22:43:36 | <Guest56> | hmm... how else should I model this? |
| 22:45:05 | <Rembane> | Guest56: https://play.haskell.org/saved/2Ogh8nQy <- example for case |
| 22:45:12 | <Rembane> | Guest56: No idea, I'm way too tired for that. :) |
| 22:46:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:46:22 | <Guest56> | understandable |
| 22:46:29 | <Guest56> | thanks for the case example though :) |
| 22:48:48 | <__monty__> | Clint: Don't see how it deals with depending on different versions in different projects then. |
| 22:49:33 | <Rembane> | Guest56: Another version, which uses guards on case which removes some of the nesting: https://play.haskell.org/saved/omzWcKUF |
| 22:49:53 | <Rembane> | Guest56: No worries. Good luck! :) |
| 22:52:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:52:52 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 22:53:35 | <Guest56> | Thank you so much! |
| 22:54:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 22:56:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:59:04 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:59:25 | → | aaronm04 joins (~user@user/aaronm04) |
| 23:02:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:03:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 23:03:01 | ljdarj1 | is now known as ljdarj |
| 23:03:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:04:56 | <aaronm04> | on OpenBSD 7.8, I cannot build splitmix-0.1.3.1 due to not finding the sys/random.h header. Is there a fix for this? |
| 23:05:20 | <aaronm04> | the specific error location is cbits-unix/init.c:3:10 in case that helps |
| 23:05:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:07:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:07:56 | <aaronm04> | ah hmm, there might be a workaround in https://github.com/haskellari/splitmix/issues/101 |
| 23:08:05 | <aaronm04> | --constraint ="splitmix < 0.1.3" |
| 23:12:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:20:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:22:54 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 23:23:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:29:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:36:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:36:45 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 23:37:37 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 23:40:50 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:40:52 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:41:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:42:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 23:42:55 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 264 seconds) |
| 23:44:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 23:44:32 | ljdarj1 | is now known as ljdarj |
| 23:45:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:45:42 | → | spew joins (~spew@user/spew) |
| 23:46:28 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:48:48 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:53:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 23:56:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:13 | × | Guest56 quits (~Guest56@38.49.92.193) (Ping timeout: 250 seconds) |
All times are in UTC on 2025-11-29.