Logs on 2023-03-13 (liberachat/#haskell)
| 00:03:39 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 00:03:39 | × | tusko quits (~yeurt@user/tusko) (Write error: Connection reset by peer) |
| 00:04:12 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:04:19 | → | tusko joins (~yeurt@user/tusko) |
| 00:05:50 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 00:06:12 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 00:13:27 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 00:15:37 | <c_wraith> | woo, I broke GHC 9.6.1! |
| 00:20:41 | <c_wraith> | aww, someone reported it during the RC |
| 00:21:40 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:21:53 | <hpc> | it's like discovering someone else already popped all the bubble wrap :D |
| 00:24:48 | → | wolfshappen joins (~waff@195.201.106.7) |
| 00:25:15 | × | wolfshappen quits (~waff@195.201.106.7) (Client Quit) |
| 00:43:44 | → | pavonia_ joins (~user@user/siracusa) |
| 00:44:18 | × | dextaa quits (~DV@user/dextaa) (Quit: Ping timeout (120 seconds)) |
| 00:44:40 | → | dextaa joins (~DV@user/dextaa) |
| 00:47:08 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 00:47:10 | pavonia_ | is now known as pavonia |
| 00:48:12 | × | opticblast quits (~Thunderbi@172.58.83.235) (Ping timeout: 255 seconds) |
| 00:54:26 | <monochrom> | or discovering "fixed in HEAD" >:) |
| 00:55:33 | dmj`_ | is now known as dmj` |
| 00:55:49 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 00:56:51 | → | freeside joins (~mengwong@103.252.202.85) |
| 00:57:19 | <maerwald[m]> | Amongst a 100 breaking changes xD |
| 00:58:00 | → | mauke_ joins (~mauke@user/mauke) |
| 00:58:07 | <sm> | am rooting for you c_wraith.. you can do it ! |
| 00:59:55 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 00:59:55 | mauke_ | is now known as mauke |
| 01:02:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:03:29 | → | califax joins (~califax@user/califx) |
| 01:04:27 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 01:08:16 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 01:09:01 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 01:10:13 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:16:21 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:20:04 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 01:21:47 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 01:22:56 | <juri_> | c_wraith: bravo! |
| 01:25:05 | → | zmt00 joins (~zmt00@user/zmt00) |
| 01:26:22 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 276 seconds) |
| 01:34:40 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:38:51 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 01:43:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 01:44:00 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 255 seconds) |
| 01:44:03 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:53:38 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 02:03:49 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds) |
| 02:05:21 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 02:06:30 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:11:15 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 02:12:00 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:20:43 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 02:26:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 02:27:53 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:29:17 | lawt2 | is now known as lawt |
| 02:33:35 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) (Ping timeout: 246 seconds) |
| 02:36:10 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:36:28 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:37:55 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 02:38:03 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 02:40:49 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 02:42:16 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 02:43:00 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:45:19 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:10d9:6c1:b2d4:bbb) |
| 02:45:27 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:46:24 | × | Alex_test quits (~al_test@178.34.160.55) (Ping timeout: 268 seconds) |
| 02:47:37 | × | AlexZenon quits (~alzenon@178.34.160.55) (Ping timeout: 276 seconds) |
| 02:48:02 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:49:26 | → | opticblast joins (~Thunderbi@172.58.82.223) |
| 02:50:35 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 02:50:41 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 02:51:37 | → | Alex_test joins (~al_test@178.34.160.55) |
| 02:51:59 | → | AlexZenon joins (~alzenon@178.34.160.55) |
| 02:52:01 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:52:05 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:52:23 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 02:54:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:56:38 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 02:58:19 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 248 seconds) |
| 03:00:23 | → | freeside joins (~mengwong@103.252.202.85) |
| 03:00:24 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 03:00:36 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 03:00:40 | → | mmhat joins (~mmh@p200300f1c72c04e2ee086bfffe095315.dip0.t-ipconnect.de) |
| 03:00:57 | × | mmhat quits (~mmh@p200300f1c72c04e2ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 03:03:12 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:10d9:6c1:b2d4:bbb) (Remote host closed the connection) |
| 03:03:42 | → | zaquest joins (~notzaques@5.130.79.72) |
| 03:05:47 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 03:07:59 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 03:09:36 | → | gmg joins (~user@user/gehmehgeh) |
| 03:09:56 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 03:12:31 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 03:13:02 | → | gastus_ joins (~gastus@185.6.123.215) |
| 03:14:18 | → | razetime joins (~Thunderbi@117.193.2.83) |
| 03:16:15 | × | gastus quits (~gastus@185.6.123.230) (Ping timeout: 255 seconds) |
| 03:19:43 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:21:02 | → | freeside joins (~mengwong@103.252.202.85) |
| 03:22:48 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:24:01 | × | td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 276 seconds) |
| 03:25:24 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 03:25:27 | → | td_ joins (~td@i53870912.versanet.de) |
| 03:25:46 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 03:29:13 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 03:42:12 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:42:45 | ← | kimjetwav parts (~user@2607:fea8:235e:b600:86cc:d332:aa2a:c88a) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.60)) |
| 03:51:58 | × | razetime quits (~Thunderbi@117.193.2.83) (Ping timeout: 276 seconds) |
| 03:58:45 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:58:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:58:45 | finn_elija | is now known as FinnElija |
| 04:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 04:01:10 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 04:05:07 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 04:10:06 | → | trev joins (~trev@user/trev) |
| 04:15:28 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 04:25:58 | → | kimjetwav joins (~user@2607:fea8:235e:b600:86cc:d332:aa2a:c88a) |
| 04:38:50 | → | razetime joins (~Thunderbi@117.193.6.38) |
| 04:39:58 | → | freeside joins (~mengwong@103.252.202.85) |
| 04:42:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 04:45:16 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 04:53:18 | → | razetime1 joins (~Thunderbi@117.254.34.182) |
| 04:54:22 | × | razetime quits (~Thunderbi@117.193.6.38) (Ping timeout: 276 seconds) |
| 04:54:22 | razetime1 | is now known as razetime |
| 04:58:37 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 05:00:53 | Axma36396 | is now known as Axman6 |
| 05:10:39 | × | jackhill quits (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 265 seconds) |
| 05:10:54 | → | freeside joins (~mengwong@103.252.202.85) |
| 05:23:35 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 05:33:14 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:33:19 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 05:33:35 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:36:30 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 05:36:49 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 05:44:52 | × | tusko quits (~yeurt@user/tusko) (Remote host closed the connection) |
| 05:45:25 | → | tusko joins (~yeurt@user/tusko) |
| 05:45:27 | × | opticblast quits (~Thunderbi@172.58.82.223) (Ping timeout: 265 seconds) |
| 05:55:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:55:28 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 05:56:25 | → | malte joins (~malte@mal.tc) |
| 06:00:03 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 255 seconds) |
| 06:02:31 | → | hololeap joins (~quassel@user/hololeap) |
| 06:08:02 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:11:22 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 06:12:24 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 06:16:31 | → | chomwitt joins (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 06:19:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:30:23 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:31:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:36:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:37:02 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 06:47:03 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 06:56:34 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 06:56:58 | → | waleee joins (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) |
| 07:00:58 | → | michalz joins (~michalz@185.246.207.222) |
| 07:01:43 | → | phma_ joins (~phma@host-67-44-208-87.hnremote.net) |
| 07:04:31 | × | phma quits (phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) (Ping timeout: 248 seconds) |
| 07:05:12 | → | phma joins (~phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) |
| 07:08:16 | × | phma_ quits (~phma@host-67-44-208-87.hnremote.net) (Ping timeout: 276 seconds) |
| 07:08:48 | → | phma_ joins (~phma@host-67-44-208-67.hnremote.net) |
| 07:11:31 | × | phma quits (~phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) (Ping timeout: 246 seconds) |
| 07:12:17 | phma_ | is now known as phma |
| 07:12:53 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:16:44 | → | kenran joins (~user@user/kenran) |
| 07:17:29 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 07:31:56 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 07:32:08 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 07:35:54 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 07:38:22 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Client Quit) |
| 07:42:55 | → | mncheck joins (~mncheck@193.224.205.254) |
| 07:44:41 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 07:49:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 07:55:59 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:88e5:2ca:f987:7b19) |
| 07:56:34 | → | cheater joins (~Username@user/cheater) |
| 07:57:52 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:58:39 | → | cheater_ joins (~Username@user/cheater) |
| 08:01:00 | → | cheater__ joins (~Username@user/cheater) |
| 08:02:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 08:03:59 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 08:04:20 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 08:04:43 | → | cheater_ joins (~Username@user/cheater) |
| 08:04:43 | cheater_ | is now known as cheater |
| 08:06:07 | × | cheater__ quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 08:06:09 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:08:50 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 08:09:16 | → | cheater joins (~Username@user/cheater) |
| 08:11:16 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) |
| 08:11:17 | × | razetime quits (~Thunderbi@117.254.34.182) (Ping timeout: 250 seconds) |
| 08:15:38 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:16:19 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) |
| 08:16:50 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 08:17:48 | → | mastarija joins (~mastarija@188.252.199.82) |
| 08:18:49 | → | acidjnk joins (~acidjnk@p200300d6e715c4935c295752c58cb342.dip0.t-ipconnect.de) |
| 08:19:07 | × | waleee quits (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 08:22:05 | → | cheater_ joins (~Username@user/cheater) |
| 08:24:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 08:24:41 | cheater_ | is now known as cheater |
| 08:27:01 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:27:22 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:28:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:30:34 | → | coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:32:50 | → | razetime joins (~Thunderbi@117.254.34.182) |
| 08:33:04 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 246 seconds) |
| 08:33:04 | coot_ | is now known as coot |
| 08:35:59 | × | gurkenglas quits (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 08:36:40 | × | gurkengl1s quits (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 08:41:37 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:49:37 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 08:55:19 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:00:09 | × | mimi1vx[m] quits (~osukupmat@2001:470:69fc:105::2:418d) (Quit: You have been kicked for being idle) |
| 09:00:13 | × | dgpratt[m] quits (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 09:02:01 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:08:02 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 09:08:29 | → | joes joins (~joes@hardfought/member/joes) |
| 09:13:32 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 09:15:46 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 09:21:52 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 09:23:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 09:28:35 | → | nschoe joins (~q@141.101.51.197) |
| 09:30:26 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:5328:6245:cbff:fe9f:48b1) |
| 09:33:52 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:39:43 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 09:44:05 | × | acidjnk quits (~acidjnk@p200300d6e715c4935c295752c58cb342.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:48:52 | → | shryke joins (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 09:49:38 | → | cheater joins (~Username@user/cheater) |
| 09:51:10 | Fischmiep9 | is now known as Fischmiep |
| 09:57:17 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 09:59:33 | → | linoleum joins (~linoleum@93.176.165.64) |
| 10:03:32 | × | ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:07:40 | <shryke> | Hi guys! I've got a question about hsc2hs on windows - it fails with "error: ld.lld: error: duplicate symbol: main" |
| 10:07:50 | <shryke> | >>> defined at app\Bind_hsc_make.o |
| 10:07:52 | <shryke> | >>> defined at $HOME\AppData\Local\Temp\ghc19200_0\ghc_2.o |
| 10:08:51 | <shryke> | Is there a specific CLI option that I missed, or that's expected on windows? I'm launching via 'stack exec -- hsc2hs.exe -v --cc=ghc.exe -k app\Bind.hsc' |
| 10:10:45 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:11:34 | <mauke> | why -cc=ghc.exe? |
| 10:11:44 | <merijn> | heh |
| 10:13:09 | <shryke> | mauke: without --cc I get "Can't find cc" |
| 10:13:19 | <shryke> | should I put another compiler? |
| 10:13:31 | <merijn> | shryke: --cc is for specifying the C compiler, I'm pretty sure |
| 10:13:43 | <merijn> | GHC is not a C compiler :p |
| 10:17:00 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:5328:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 10:18:44 | × | joes quits (~joes@hardfought/member/joes) (Remote host closed the connection) |
| 10:19:19 | → | joes joins (~joes@hardfought/member/joes) |
| 10:19:32 | → | Guest33 joins (~Guest33@176.221.171.242) |
| 10:19:46 | ← | Guest33 parts (~Guest33@176.221.171.242) () |
| 10:22:49 | × | joes quits (~joes@hardfought/member/joes) (Remote host closed the connection) |
| 10:23:13 | → | joes joins (~joes@hardfought/member/joes) |
| 10:26:24 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 10:28:55 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 10:29:08 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 10:29:50 | <kuribas> | a c-- compiler? |
| 10:29:50 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 10:35:12 | <shryke> | well, it appears I kinda shot my self in the foot. I misunderstood the https://github.com/haskell/hsc2hs/issues/66 |
| 10:35:59 | <shryke> | I provided a path to clang from ghcup and it worked like a charm. Sorry for the noise=) |
| 10:36:24 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 10:42:34 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 10:44:04 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 10:45:29 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 10:48:36 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Client Quit) |
| 10:50:06 | → | freeside joins (~mengwong@103.252.202.85) |
| 10:54:38 | → | santiagopim joins (~user@90.167.66.131) |
| 10:54:48 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 10:56:38 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:57:45 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 10:58:57 | → | kalj joins (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) |
| 11:02:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 11:02:09 | <mauke> | shryke: out of interest, what does 'ghc --info' report for "C compiler command"? |
| 11:04:22 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 11:07:14 | → | smallville7123_ joins (~Android@1.146.54.170) |
| 11:09:27 | <kuribas> | if you use stream fusion with LLVM, can the compiler do automatic SIMD vectorisation? |
| 11:09:55 | <smallville7123_> | can i interop with C from haskell? |
| 11:10:04 | <kuribas> | smallville7123_: sure, using the FFI. |
| 11:10:26 | <merijn> | smallville7123_: easily |
| 11:10:48 | <kuribas> | for some interpretation of easily |
| 11:10:57 | → | vpan joins (~0@212.117.1.172) |
| 11:10:59 | <smallville7123_> | can C interop with haskell? |
| 11:11:09 | <kuribas> | smallville7123_: sure, using the FFI |
| 11:11:20 | <merijn> | smallville7123_: Chapter 8 (FFI) of the Haskell Report and some section of the GHC user's guide (I forget which) should tell you all you'd ever want/need to know |
| 11:11:35 | <merijn> | kuribas: The Haskell FFI is *super* easy compared to those of many other languages |
| 11:11:42 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:11:50 | <smallville7123_> | alright |
| 11:11:58 | <kuribas> | merijn: clojure java interop is much easier |
| 11:12:14 | <merijn> | kuribas: That's not C, though :p You should try accessing C from Python... |
| 11:12:43 | <merijn> | smallville7123_: To call Haskell from C you need to do a bit of bookkeeping (initialising the runtime, etc.) but overall it's pretty straightforward |
| 11:12:47 | <kuribas> | I did some scheme C interop, that was about the same as haskell. |
| 11:13:03 | <kuribas> | Taking care of memory finalization. |
| 11:13:04 | <smallville7123_> | alright |
| 11:13:23 | <smallville7123_> | does haskell support reflection? |
| 11:13:36 | <merijn> | smallville7123_: I even have a minimal gist for calling Haskell from C: https://gist.github.com/merijn/4a0fee2b3a5ef3476aa4 |
| 11:14:17 | <merijn> | Mind you, I haven't tested that code since I wrote it 9 years ago, so...ymmv :p |
| 11:14:55 | <shryke> | mauke: ("C compiler command","E:\\nosave\\Projects\\Haskell\\ghcup\\ghcup\\ghc\\9.4.4\\lib\\../mingw/bin/clang.exe") |
| 11:15:05 | <jackdk> | smallville7123_: simple example: https://git.sr.ht/~jack/libtelnet-haskell (GPLv3, in case that bothers you) |
| 11:15:19 | <kuribas> | smallville7123_: short answer, no. Longer answer, depends on you definition of reflection. With template haskell or generics you can do meta programming. |
| 11:15:32 | <smallville7123_> | as im leaning strongly towards Java but its reflection is a pain in the butt cus generics |
| 11:15:55 | <kuribas> | what is java reflection? |
| 11:16:39 | <smallville7123_> | like, String.class.getMethod("toString").getReturnType() |
| 11:17:40 | <kuribas> | in haskell, you'll have more luck by using abstractions (Applicatives) rather than reflection. |
| 11:17:43 | <merijn> | :O |
| 11:17:56 | <kuribas> | Depending on the problem you solve. |
| 11:18:00 | <merijn> | new cabal has support for self-contained project haddocks! |
| 11:18:03 | <merijn> | Killer feature! |
| 11:18:10 | <smallville7123_> | what would those be? |
| 11:18:31 | <kuribas> | smallville7123_: applicative? |
| 11:18:58 | <smallville7123_> | yes |
| 11:20:28 | <kuribas> | smallville7123_: for example, in my database library I can write "select (Person <*> intSel "person.age" <> stringSel "person.name") query" |
| 11:21:10 | → | acidjnk joins (~acidjnk@p200300d6e715c4935cdeee750ed3a427.dip0.t-ipconnect.de) |
| 11:21:17 | <kuribas> | smallville7123_: then, when performing the query, it will create a "Person" value, using the age field as integer, and the name field as string. |
| 11:22:24 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 11:22:31 | <kuribas> | sorry, got the operators mixed up: "select (Person <$> intSel "person.age" <*> stringSel "person.name") query" |
| 11:22:31 | <smallville7123_> | hmm |
| 11:23:11 | <kuribas> | smallville7123_: So the intSel knows that it will give back an integer, and the stringSel knows that is will give back a string. |
| 11:23:18 | <kuribas> | smallville7123_: and no introspection is needed! |
| 11:23:36 | <smallville7123_> | what if the return type is unknown? |
| 11:24:08 | <kuribas> | smallville7123_: I have a "values" constructor that gives back a list of Value, which can be any SQL object. |
| 11:24:25 | <kuribas> | "select values query" |
| 11:24:31 | <kuribas> | But normally you want to avoid that. |
| 11:24:53 | <kuribas> | SQL queries are normally well typed. |
| 11:26:26 | <kuribas> | smallville7123_: well, it's called "rawValues": https://hackage.haskell.org/package/hasqlator-mysql-0.1.0/docs/Database-MySQL-Hasqlator.html#v:rawValues |
| 11:26:52 | <smallville7123_> | for example, given class X, find all fields, then find all methods that match a setter/getter style, then filter all by specific types the user wants to deal with |
| 11:29:05 | <kuribas> | haskell doesn't have classes. |
| 11:29:38 | <kuribas> | But if I wanted an inventory, I'd create an abstraction using type classes, that can register some function. |
| 11:29:52 | → | sigfried joins (~rsx@92.62.57.242) |
| 11:30:16 | → | alex` joins (~user@155.red-83-36-47.dynamicip.rima-tde.net) |
| 11:30:56 | <kuribas> | like: registry = [mkFun "foobar" "raises the foo bar" foobar; mkFun ...] |
| 11:31:59 | <smallville7123_> | alright |
| 11:32:12 | <kuribas> | Or alternatively, create an applicative over the foobar function, that I can register. |
| 11:32:16 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 11:32:20 | → | freeside_ joins (~mengwong@103.252.202.85) |
| 11:32:29 | <kuribas> | To keep the information together. |
| 11:32:29 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 11:32:41 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 11:33:02 | <kuribas> | if that fails, you can always go to template haskell, but IMO proper haskell abstractions are really undervalued. |
| 11:33:24 | <smallville7123_> | sounds confusing |
| 11:34:10 | <kuribas> | smallville7123_: because you are approaching haskell with a Java mindset. |
| 11:34:42 | <kuribas> | You probably want to play around with haskell first, and understand the haskell mindset. |
| 11:34:54 | <kuribas> | Which is quite different from OO programming. |
| 11:36:21 | × | lxi quits (~quassel@2a02:2f08:4d1c:400:9cbc:4142:c972:4f9c) (Ping timeout: 265 seconds) |
| 11:36:42 | <smallville7123_> | ok |
| 11:47:38 | → | lyle joins (~lyle@104.246.145.237) |
| 11:50:47 | → | gurkenglas joins (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) |
| 11:50:48 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) |
| 12:02:35 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 12:06:39 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:07:54 | → | cheater joins (~Username@user/cheater) |
| 12:17:51 | <mastarija> | So, I have a type using variants that goes something like this `X (V [A,B,C])`. Now, I also have a "container" type that is a product of `X (V [A,B,C])`, `X (V [C,D)`. |
| 12:18:32 | <mastarija> | I'd like to write a lens to traverse over all items of type `X (V [*])` |
| 12:19:08 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 12:19:17 | <mastarija> | I was thinking of writing a traversal like this `Traversal Container (X [A,B,C,D])` |
| 12:19:19 | × | alex` quits (~user@155.red-83-36-47.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 12:19:46 | <mastarija> | Where `X` has a variant with a list of all possible variant values combined into one. |
| 12:20:21 | × | razetime quits (~Thunderbi@117.254.34.182) (Remote host closed the connection) |
| 12:20:23 | <mastarija> | That's OK, when I'm going from subset into a superset, but conversion is not really valid the other way. |
| 12:21:10 | <JensPetersen[m]> | does prof affect ABI hashes? |
| 12:21:15 | <mastarija> | I'm not sure if it's possible to find an elegant solution here. |
| 12:21:48 | <mastarija> | JensPetersen[m]: what do you mean? |
| 12:22:13 | <JensPetersen[m]> | I mean when building with Cabal... |
| 12:22:21 | <JensPetersen[m]> | I think no, but wanted to check (tests certainly do) |
| 12:22:37 | <JensPetersen[m]> | ie building with prof |
| 12:22:53 | <JensPetersen[m]> | profiling |
| 12:23:13 | <mastarija> | Yes, just parsed what you mean xD |
| 12:24:14 | JensPetersen[m] | sometimes really wonders why he still builds prof for all Fedora Haskell packages, but anyway... |
| 12:24:19 | <mastarija> | Shouldn't that affect it? Because profiler adds stuff to the end result, no? |
| 12:24:35 | → | cheater joins (~Username@user/cheater) |
| 12:25:13 | <JensPetersen[m]> | Maybe, quite possible - cos I want to test if a patch to pandoc affects the ABI hashes, but thought I would turn off prof to save time - better not I guess... |
| 12:26:00 | → | MajorBiscuit joins (~MajorBisc@145.94.168.115) |
| 12:26:06 | <JensPetersen[m]> | Thanks |
| 12:26:18 | <mastarija> | Don't thank me. I don't know. :) |
| 12:26:33 | <mastarija> | It's just a guess |
| 12:26:42 | <JensPetersen[m]> | haha - well I kind of makes sense - actually more sense than tests... |
| 12:26:48 | <JensPetersen[m]> | s/I/it/ |
| 12:28:11 | <JensPetersen[m]> | maybe ;) |
| 12:29:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 12:33:25 | × | shryke quits (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Quit: WeeChat 3.8) |
| 12:35:01 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 12:39:32 | → | cheater joins (~Username@user/cheater) |
| 12:39:42 | psydroid | is now known as psydroid[m] |
| 12:46:29 | psydroid[m] | is now known as psydroid |
| 12:49:11 | → | shryke joins (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 12:57:58 | → | __monty__ joins (~toonn@user/toonn) |
| 12:59:33 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) |
| 12:59:59 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 13:01:36 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 13:02:01 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Remote host closed the connection) |
| 13:02:05 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:02:36 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 13:03:58 | → | mrcsno joins (~mrcsno@user/mrcsno) |
| 13:04:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 256 seconds) |
| 13:06:03 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:08:41 | <mastarija> | So, why does this signature work: |
| 13:08:56 | <mastarija> | tester :: Test (V as) -> Test (V as) |
| 13:09:14 | <mastarija> | And this one says I need as to be `[*]` (which it is) |
| 13:09:19 | <mastarija> | tester :: as :< '[One, Two, Three] => Test (V as) -> Test (V as) |
| 13:09:41 | <merijn> | mastarija: Well, the answer on that question seems like it depends on the kind of :< |
| 13:09:49 | <mastarija> | https://hackage.haskell.org/package/haskus-utils-variant-3.3/docs/Haskus-Utils-Variant.html#t::-60- |
| 13:10:07 | <mastarija> | Yes, it does. But I'm not sure how to get around it. |
| 13:10:31 | <mastarija> | Basically, I say that `as` is a subset of '[One, Two, Three]. |
| 13:11:12 | <mastarija> | And as long as I know that, I can patternmatch on a variant and do something... |
| 13:11:35 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 13:12:01 | → | cheater joins (~Username@user/cheater) |
| 13:12:34 | <mastarija> | Ah.. I used the wrong operator... |
| 13:12:55 | × | Cale quits (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 13:19:12 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 13:25:33 | → | Cale joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 13:26:20 | → | cheater_ joins (~Username@user/cheater) |
| 13:28:29 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 13:28:36 | cheater_ | is now known as cheater |
| 13:31:55 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 13:33:15 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 13:33:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 13:34:12 | × | gmc_ quits (sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 13:34:15 | × | AmyMalik quits (ellenor@callbox.trd.is) (Remote host closed the connection) |
| 13:34:25 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 13:34:34 | × | hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Ping timeout: 250 seconds) |
| 13:34:34 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 250 seconds) |
| 13:34:59 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 250 seconds) |
| 13:35:27 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 13:35:59 | × | nullsh quits (nullsh@user/nexeq) (Ping timeout: 248 seconds) |
| 13:37:09 | × | jinsl quits (~jinsl@2408:8207:2557:5df0:211:32ff:fec8:6aea) (Ping timeout: 250 seconds) |
| 13:37:24 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 13:37:31 | → | cheater joins (~Username@user/cheater) |
| 13:38:03 | → | hnOsmium0001 joins (uid453710@user/hnOsmium0001) |
| 13:38:15 | → | jinsl joins (~jinsl@2408:8207:2557:5df0:211:32ff:fec8:6aea) |
| 13:38:28 | × | winny quits (~weechat@user/winny) (Ping timeout: 250 seconds) |
| 13:38:28 | × | mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Ping timeout: 250 seconds) |
| 13:38:36 | × | jmct quits (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 13:38:36 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 252 seconds) |
| 13:38:48 | → | mtjm joins (~mutantmel@2604:a880:2:d0::208b:d001) |
| 13:38:53 | × | ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 13:38:53 | × | vito_ quits (sid1962@user/vito) (Ping timeout: 250 seconds) |
| 13:38:54 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 13:38:56 | → | hook54321 joins (sid149355@user/hook54321) |
| 13:39:19 | × | lawt quits (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) (Ping timeout: 250 seconds) |
| 13:39:56 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 13:39:58 | → | vito_ joins (sid1962@id-1962.uxbridge.irccloud.com) |
| 13:39:59 | → | ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com) |
| 13:40:11 | → | jmct joins (sid160793@id-160793.tinside.irccloud.com) |
| 13:40:12 | → | idnar joins (sid12240@debian/mithrandi) |
| 13:40:29 | → | winny joins (~weechat@user/winny) |
| 13:40:45 | → | lawt joins (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) |
| 13:43:52 | → | Guest|29 joins (~Guest|29@141.226.75.40) |
| 13:49:20 | × | smallville7123_ quits (~Android@1.146.54.170) (Read error: Connection reset by peer) |
| 13:52:56 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 13:53:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 13:54:38 | → | cheater joins (~Username@user/cheater) |
| 13:56:16 | → | maroloccio joins (~marolocci@90.166.18.111) |
| 13:57:59 | → | Ellenor joins (ellenor@callbox.trd.is) |
| 14:00:57 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) (Remote host closed the connection) |
| 14:01:15 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) |
| 14:09:44 | × | Guest|29 quits (~Guest|29@141.226.75.40) (Ping timeout: 246 seconds) |
| 14:11:22 | × | ddellacosta quits (~ddellacos@146.70.165.157) (Quit: WeeChat 3.8) |
| 14:14:02 | → | ddellacosta joins (~ddellacos@146.70.165.157) |
| 14:14:36 | → | Guest|29 joins (~Guest|29@77.127.30.127) |
| 14:16:03 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 14:16:42 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:19:44 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 14:19:55 | → | nullsh joins (nullsh@user/nexeq) |
| 14:29:05 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 14:29:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:29:31 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 14:30:09 | → | cheater_ joins (~Username@user/cheater) |
| 14:32:20 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:32:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 14:32:46 | cheater_ | is now known as cheater |
| 14:38:02 | <merijn> | Wait...Verse announcement was already 2021 and a year has gone by without me getting around to looking at it? >.< |
| 14:46:17 | Ellenor | is now known as AmyMalik |
| 14:46:29 | × | Guest|29 quits (~Guest|29@77.127.30.127) (Ping timeout: 250 seconds) |
| 14:47:09 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:e115:5557:8b72:4710) (Read error: Connection reset by peer) |
| 14:47:34 | × | chomwitt quits (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 14:47:42 | <mastarija> | Can we have rank N lenses? |
| 14:49:17 | <mastarija> | Like, this is the `Traversal` signature: |
| 14:49:20 | <mastarija> | type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t |
| 14:49:32 | <mastarija> | And i want to have a `Traversal` like this one: |
| 14:49:37 | <mastarija> | Applicative f => (forall s. SomeX s -> f (SomeX s)) -> Container -> f Container |
| 14:50:53 | <mastarija> | It doesn't work when I try something like `container & traverse . overSomeXs %~ id` |
| 14:51:04 | → | cheater_ joins (~Username@user/cheater) |
| 14:51:23 | <mastarija> | But it does seem like something I'd like to do. |
| 14:51:43 | → | zer0bitz joins (~zer0bitz@2001:2003:f443:d600:24d4:8a68:949c:f66a) |
| 14:52:24 | <mastarija> | If my `Container` contains several `SomeX a` with different `a`s, and if I can write a function that can work for any `SomeX a` it should be possible to "traverse" over them |
| 14:52:35 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 14:52:39 | cheater_ | is now known as cheater |
| 14:59:59 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 15:01:23 | → | fnurglewitz joins (uid263868@id-263868.lymington.irccloud.com) |
| 15:04:06 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 15:12:10 | → | ccapndave joins (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 15:15:16 | → | Guest|29 joins (~Guest|29@77.127.30.127) |
| 15:15:43 | → | razetime joins (~Thunderbi@117.254.34.182) |
| 15:18:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 15:19:30 | → | cheater joins (~Username@user/cheater) |
| 15:22:57 | → | vgtw joins (~vgtw@user/vgtw) |
| 15:25:47 | × | maroloccio quits (~marolocci@90.166.18.111) (Quit: WeeChat 3.7.1) |
| 15:28:54 | → | razetime1 joins (~Thunderbi@117.193.3.28) |
| 15:29:13 | × | razetime quits (~Thunderbi@117.254.34.182) (Ping timeout: 246 seconds) |
| 15:29:13 | razetime1 | is now known as razetime |
| 15:30:27 | × | Guest|29 quits (~Guest|29@77.127.30.127) (Ping timeout: 268 seconds) |
| 15:31:14 | Axman6 | is now known as Axma6 |
| 15:31:17 | Axma6 | is now known as Axman6 |
| 15:32:40 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 15:34:21 | → | cheater_ joins (~Username@user/cheater) |
| 15:35:32 | → | jonathanx joins (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) |
| 15:35:52 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 15:35:52 | <jonathanx> | Is there a good way to trace the import-path of a typeclass instance? |
| 15:35:57 | cheater_ | is now known as cheater |
| 15:36:15 | <jonathanx> | As in, what module imports are exporting it |
| 15:37:19 | × | ccapndave quits (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:38:23 | <merijn> | not really afaik |
| 15:38:40 | <merijn> | But also, if you have to care about that, you're probably screwed to begin with :) |
| 15:40:50 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 15:41:06 | → | dextaa joins (~DV@user/dextaa) |
| 15:46:38 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 15:56:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 15:56:15 | → | cheater joins (~Username@user/cheater) |
| 15:56:50 | × | Techcable quits (~Techcable@user/Techcable) (Read error: Connection reset by peer) |
| 15:58:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 16:00:04 | × | Deide quits (~deide@user/deide) (Quit: You have been kicked for being idle) |
| 16:00:20 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:00:32 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:00:33 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:00:43 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:07:24 | → | Techcable joins (~Techcable@user/Techcable) |
| 16:07:56 | → | econo joins (uid147250@user/econo) |
| 16:16:22 | × | jonathanx quits (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Quit: Leaving) |
| 16:20:08 | × | kalj quits (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 16:22:04 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:88e5:2ca:f987:7b19) (Ping timeout: 246 seconds) |
| 16:22:56 | → | razetime1 joins (~Thunderbi@117.193.4.50) |
| 16:23:22 | × | razetime quits (~Thunderbi@117.193.3.28) (Ping timeout: 276 seconds) |
| 16:23:22 | razetime1 | is now known as razetime |
| 16:26:11 | <c_wraith> | Hah. I'm credited with a PR in the latest cabal release. I totally forgot I wrote a documentation patch. |
| 16:28:54 | <monochrom> | :) |
| 16:30:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 16:33:31 | <monochrom> | Oh w00t new cabal. |
| 16:34:54 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 16:39:58 | → | Midjak joins (~Midjak@82.66.147.146) |
| 16:40:20 | → | cheater_ joins (~Username@user/cheater) |
| 16:41:27 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Remote host closed the connection) |
| 16:42:17 | → | crazazy joins (~user@130.89.171.62) |
| 16:42:52 | → | acidjnk_new joins (~acidjnk@p200300d6e715c44645c006c030d63e3c.dip0.t-ipconnect.de) |
| 16:43:03 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 16:43:04 | cheater_ | is now known as cheater |
| 16:43:28 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 16:43:31 | <merijn> | monochrom: That supports local docs builds with v2-build! \o/ |
| 16:43:38 | <merijn> | Modulo some UX issues :p |
| 16:43:56 | × | acidjnk quits (~acidjnk@p200300d6e715c4935cdeee750ed3a427.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:44:37 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:45:51 | <monochrom> | Wait, there has been a "cabal man" command?! |
| 16:47:58 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 16:48:22 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:48:33 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 16:48:33 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:48:33 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:48:43 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:48:43 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:48:53 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:48:54 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:49:03 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:49:03 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:49:14 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:49:14 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:49:25 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:49:26 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:49:38 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:49:38 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:49:54 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:49:54 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:50:16 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:50:17 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:50:52 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:50:52 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:51:53 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 16:51:54 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 16:52:08 | ChanServ | sets mode +o monochrom |
| 16:52:32 | monochrom | sets mode +b *!*@134.195.121.39$##fix_your_connection |
| 16:52:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 246 seconds) |
| 16:52:53 | monochrom | sets mode -o monochrom |
| 16:53:09 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:55:45 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 17:00:14 | → | cheater_ joins (~Username@user/cheater) |
| 17:01:09 | → | gentauro joins (~gentauro@user/gentauro) |
| 17:01:59 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 17:04:36 | → | cheater__ joins (~Username@user/cheater) |
| 17:04:36 | cheater__ | is now known as cheater |
| 17:04:58 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 17:05:52 | → | Deide joins (~deide@user/deide) |
| 17:08:19 | → | cheater_ joins (~Username@user/cheater) |
| 17:08:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 17:10:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 17:10:54 | cheater_ | is now known as cheater |
| 17:14:25 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:19:04 | × | razetime quits (~Thunderbi@117.193.4.50) (Remote host closed the connection) |
| 17:19:22 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 17:20:45 | × | linoleum quits (~linoleum@93.176.165.64) (Quit: Client closed) |
| 17:25:46 | × | gdd quits (~gdd@129.199.146.230) (Ping timeout: 276 seconds) |
| 17:26:01 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 17:26:27 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:26:57 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 17:27:53 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 17:29:15 | × | joes quits (~joes@hardfought/member/joes) (Ping timeout: 246 seconds) |
| 17:30:15 | × | talismanick quits (~talismani@2601:200:c000:f7a0::5321) (Ping timeout: 260 seconds) |
| 17:32:55 | × | vglfr quits (~vglfr@91.102.183.234) (Read error: Connection reset by peer) |
| 17:33:03 | → | vglfr joins (~vglfr@91.102.183.234) |
| 17:35:59 | × | bgamari quits (~bgamari@2a06:a000:b00d::2) (Ping timeout: 248 seconds) |
| 17:38:14 | → | bgamari joins (~bgamari@64.223.227.181) |
| 17:40:37 | → | f-a joins (~f-a@151.68.36.58) |
| 17:40:59 | <f-a> | I would like to get the size of a byte and if possible pretty print it (MiB, GiB, etc.), which functions to use? |
| 17:42:04 | <geekosaur> | huh? |
| 17:42:40 | <f-a> | sorry |
| 17:42:49 | <f-a> | *size _of a file_ |
| 17:42:54 | <geekosaur> | if you mean size in bytes of a value, that's somewhat hard to define in Haskell (include the constructor tag? the info table? etc.); usually people use Storable |
| 17:42:57 | <geekosaur> | oh |
| 17:43:01 | <f-a> | although “size of a byte” is not that trivial |
| 17:43:18 | <f-a> | if you are not French, that is |
| 17:43:45 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:44:28 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/directory-1.3.6.2/System-Directory.html#v:getFileSize |
| 17:44:47 | <geekosaur> | prettyprinting is another question; there might be a package for it |
| 17:45:11 | <f-a> | yeah that would be really handy |
| 17:46:25 | <geekosaur> | that said a simple table by size would do it, with a fold across it |
| 17:48:31 | <EvanR> | the tricky one to answer is, what is the size of 1 bit |
| 17:49:25 | <EvanR> | 0.125 doesn't fit into a size_t xD |
| 17:49:41 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 256 seconds) |
| 17:51:24 | <EvanR> | and 1 bit = 1 bit seems like a cop out |
| 17:51:49 | → | cheater_ joins (~Username@user/cheater) |
| 17:52:44 | ChanServ | sets mode +o litharge |
| 17:52:45 | litharge | sets mode -bo *!*@134.195.121.39$##fix_your_connection litharge |
| 17:53:01 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:53:01 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:53:30 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1,"B"),(1024,"KiB"),(1024*1024,"MiB"),(1024*1024*1024,"GiB")] |
| 17:53:32 | <lambdabot> | "3145736 B" |
| 17:53:39 | <geekosaur> | hm, wrong order |
| 17:54:11 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:54:12 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:54:48 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 17:54:52 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024),"GiB",(1024*1024,"MiB",(1024,"kiB"),(1,"B")] |
| 17:54:53 | cheater_ | is now known as cheater |
| 17:54:54 | <lambdabot> | <hint>:1:194: error: parse error on input ‘]’ |
| 17:55:07 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024),"GiB"),(1024*1024,"MiB"),(1024,"kiB"),(1,"B")] |
| 17:55:09 | <lambdabot> | <hint>:1:156: error: parse error on input ‘)’ |
| 17:55:17 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024,"GiB"),(1024*1024,"MiB"),(1024,"kiB"),(1,"B")] |
| 17:55:18 | → | Joao003 joins (~Joao003@2804:840:830f:1400:315f:769b:92cf:47ce) |
| 17:55:19 | <lambdabot> | "3 MiB" |
| 17:55:21 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:55:21 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:55:56 | <geekosaur> | add more sizes as needed |
| 17:56:32 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:56:32 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:56:41 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:56:42 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:56:51 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:56:52 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:57:02 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:57:02 | <geekosaur> | sigh |
| 17:57:02 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:57:04 | ChanServ | sets mode +o geekosaur |
| 17:57:12 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:57:13 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:57:24 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:57:25 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:57:38 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 17:57:38 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 17:57:47 | geekosaur | sets mode +b *!*@134.195.121.39$##fix-your-connection |
| 18:02:05 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 18:02:49 | × | MajorBiscuit quits (~MajorBisc@145.94.168.115) (Ping timeout: 276 seconds) |
| 18:04:16 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 18:04:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:11:11 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:12:58 | ChanServ | sets mode +o litharge |
| 18:12:59 | litharge | sets mode -bo *!*@134.195.121.39$##fix-your-connection litharge |
| 18:13:09 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 18:13:10 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 18:13:14 | ChanServ | sets mode +o monochrom |
| 18:13:15 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 18:13:19 | monochrom | sets mode +b *!*@134.195.121.39$##fix_your_connection |
| 18:13:37 | → | mei joins (~mei@user/mei) |
| 18:14:00 | monochrom | sets mode -o monochrom |
| 18:14:20 | <monochrom> | (I'm trying 2 hours this time. Last time was 1 hour.) |
| 18:14:59 | geekosaur | sets mode -o geekosaur |
| 18:23:56 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 18:24:10 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:28:10 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 18:31:02 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:36:22 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 18:38:46 | × | vglfr quits (~vglfr@91.102.183.234) (Read error: Connection reset by peer) |
| 18:39:36 | → | vglfr joins (~vglfr@91.102.183.234) |
| 18:43:57 | × | f-a quits (~f-a@151.68.36.58) (Ping timeout: 250 seconds) |
| 18:45:28 | → | f-a joins (~f-a@151.34.14.249) |
| 18:52:08 | × | crazazy quits (~user@130.89.171.62) (Ping timeout: 246 seconds) |
| 18:56:26 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 18:56:45 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 18:57:23 | → | cheater joins (~Username@user/cheater) |
| 19:00:27 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 19:05:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 19:05:05 | → | _xor joins (~xor@74.215.46.17) |
| 19:08:19 | × | td_ quits (~td@i53870912.versanet.de) (Quit: waking up from the american dream ...) |
| 19:11:20 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 19:12:47 | → | td_ joins (~td@i53870912.versanet.de) |
| 19:13:26 | → | cheater_ joins (~Username@user/cheater) |
| 19:13:28 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 19:15:14 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 19:15:20 | cheater_ | is now known as cheater |
| 19:15:55 | → | mei joins (~mei@user/mei) |
| 19:21:12 | × | fnurglewitz quits (uid263868@id-263868.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:28:27 | → | talismanick joins (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) |
| 19:31:06 | → | cheater_ joins (~Username@user/cheater) |
| 19:32:23 | × | Joao003 quits (~Joao003@2804:840:830f:1400:315f:769b:92cf:47ce) (Quit: Leaving) |
| 19:33:52 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 19:34:01 | cheater_ | is now known as cheater |
| 19:36:03 | → | ardell joins (~ardell@user/ardell) |
| 19:38:38 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 19:41:04 | → | mei joins (~mei@user/mei) |
| 19:46:38 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: Fischmiep) |
| 19:48:31 | → | tokie joins (~tokie@tokie.net) |
| 19:50:40 | × | talismanick quits (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 19:50:49 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 19:51:26 | <tokie> | I'm playing around with early understanding of instances and I'm trying to make a type called 'IntNeverEqual a' that implements Eq for all a, and always returns False if a is an Int. Is this possible? This is my attempt at at least doing it for Num: https://play.haskell.org/saved/whWNDTHU |
| 19:51:35 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 19:52:39 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 19:52:40 | ← | f-a parts (~f-a@151.34.14.249) () |
| 19:54:01 | <monochrom> | No, this is incoherent. |
| 19:55:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:55:25 | <monochrom> | In general you won't have much luck with type-level negations, things like "if not Int" "if not instance of Num" etc. |
| 19:55:44 | <tokie> | yeah, i was trying to make a specialization but i think the resolution rules are stricter than that |
| 19:56:01 | <tokie> | i was just testing the rules since the book i'm reading doesn't quite go into this detail |
| 19:56:14 | <tokie> | or maybe it does 20 chapters from now :) |
| 19:57:48 | <EvanR> | type class instances can only be added not removed, and unless you allow Overlapping, can't overlap |
| 19:57:49 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 19:59:22 | <tokie> | that answers that, thanks! |
| 20:00:17 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:00:27 | <tokie> | i guess if you really needed something like this what you would do have just have partial implementation? i.e. only create the instance for the few types you need in your program |
| 20:00:54 | <tokie> | my example is ridiculous because it's a useless type |
| 20:00:59 | <monochrom> | Yes. |
| 20:01:36 | <EvanR> | what you can do for this particular thought experiment is... for all the types you are interested in make an instance for IntNeverEqual which returns True, also of course add the one for Int which returns False |
| 20:01:44 | <EvanR> | basically brute force |
| 20:01:52 | <tokie> | yeah, got it |
| 20:01:53 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 20:03:19 | <tokie> | oh, i guess my other question was whether or not you can implement Eq for a specific IntNeverEqual (e.g. (IntNeverEqual Int)) vs. using constraints and I believe the answer is no |
| 20:03:39 | <tokie> | instance Eq (IntNeverEqual Int) where ... |
| 20:03:49 | <EvanR> | instance IntNeverEqual a => Eq a where |
| 20:04:15 | × | sigfried quits (~rsx@92.62.57.242) (Quit: WeeChat 3.8) |
| 20:04:17 | <EvanR> | which depending on what's covered under IntNeverEqual would probably overlap |
| 20:04:30 | <EvanR> | (multiple Eq instances) |
| 20:04:59 | <EvanR> | (for the same type) |
| 20:05:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 20:06:14 | <EvanR> | my instance is defining an Eq instance for all IntNeverEqual types at once |
| 20:06:14 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:06:53 | <EvanR> | I now realize not what you were going for |
| 20:07:10 | → | cheater_ joins (~Username@user/cheater) |
| 20:07:15 | <geekosaur> | tokie, IntNeverEqual is not a type so you can't define an instance that way; instances are on types, not constraints |
| 20:07:38 | <EvanR> | Int already has an Eq instance and trying to make another one would cause overlap |
| 20:08:13 | × | lyle quits (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 20:08:53 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 20:08:55 | cheater_ | is now known as cheater |
| 20:09:07 | <tokie> | geekosaur: mm, yeah. that makes sense now |
| 20:09:09 | <tokie> | thanks! |
| 20:09:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 20:13:11 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 20:13:38 | <tokie> | i think my head was trying to relate partial functions to an idea about partial instances, but i realize that partial functions are not about functions that take different types |
| 20:13:51 | → | ft joins (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 20:13:51 | ChanServ | sets mode +o litharge |
| 20:13:52 | litharge | sets mode -bo *!*@134.195.121.39$##fix_your_connection litharge |
| 20:13:58 | <Jade[m]1> | mhm |
| 20:14:36 | <Jade[m]1> | In these cases you should also sometimes ask yourself "Why would I ever need this, can I think of a use-case?" |
| 20:14:52 | <Jade[m]1> | and even if there is - it'll probably be better covered by something else |
| 20:15:25 | <tokie> | well, there's things a lot of type system do that i don't think they do should do, lol |
| 20:15:43 | <tokie> | i was testing the constraints |
| 20:16:01 | <Jade[m]1> | 👍 |
| 20:17:09 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 20:17:56 | <EvanR> | partial functions are missing an answer for some inputs. Instances can be missing parts of their implementation. Both are questionably questionable but unrelated xD |
| 20:18:02 | <geekosaur> | I think what you're trying to do is better covered by type families, but that willquickly get you very deep into complex type issues |
| 20:18:46 | <EvanR> | instances associate values to (some) types, type families associate types to (some) types |
| 20:21:35 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:21:53 | → | califax joins (~califax@user/califx) |
| 20:26:54 | <tomsmeding> | the same but said differently: instances are type -> values, type families are type -> type |
| 20:27:05 | <tomsmeding> | (to avoid confusion which way "associate" goes) |
| 20:32:38 | <EvanR> | injective type families, it goes both ways! |
| 20:33:16 | <geekosaur> | but this one wouldn't be injective because all types but Int would map to 'False |
| 20:33:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:33:32 | <geekosaur> | making it difficult to reverse |
| 20:33:38 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 20:33:45 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 20:35:29 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:37:23 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 20:39:42 | → | pavonia joins (~user@user/siracusa) |
| 20:40:31 | → | ubert joins (~Thunderbi@p548c84ba.dip0.t-ipconnect.de) |
| 20:40:59 | → | dextaa joins (~DV@user/dextaa) |
| 20:42:35 | × | litharge quits (litharge@libera/bot/litharge) (Quit: restarting) |
| 20:43:06 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:48:35 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:50:13 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:50:22 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 20:51:59 | → | thegeekinside joins (~thegeekin@189.217.80.156) |
| 20:51:59 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 20:52:05 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:53:36 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 20:54:56 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 20:59:18 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:01:28 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 21:04:09 | → | waleee joins (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) |
| 21:06:32 | → | biberu joins (~biberu@user/biberu) |
| 21:15:52 | → | gdd joins (~gdd@2001:470:1f13:187:3842:fb35:b4d5:65e2) |
| 21:16:43 | → | opticblast joins (~Thunderbi@172.58.82.223) |
| 21:17:45 | → | Sciencentistguy6 joins (~sciencent@hacksoc/ordinary-member) |
| 21:19:31 | × | Inst quits (~Inst@2601:6c4:4081:54f0:4c93:ec85:5b83:99da) (Ping timeout: 250 seconds) |
| 21:20:14 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 21:20:14 | Sciencentistguy6 | is now known as Sciencentistguy |
| 21:28:15 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 21:29:47 | → | talismanick joins (~talismani@campus-035-191.ucdavis.edu) |
| 21:30:30 | × | gurkengl1s quits (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 21:30:30 | × | gurkenglas quits (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 21:37:05 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 21:42:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:43:35 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:45:23 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 21:57:28 | × | talismanick quits (~talismani@campus-035-191.ucdavis.edu) (Ping timeout: 276 seconds) |
| 22:03:13 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:06:27 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:07:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 22:11:57 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 22:12:15 | → | chomwitt joins (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 22:19:15 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 255 seconds) |
| 22:31:53 | × | opticblast quits (~Thunderbi@172.58.82.223) (Ping timeout: 250 seconds) |
| 22:33:13 | → | opticblast joins (~Thunderbi@172.58.82.223) |
| 22:34:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:38:30 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:41:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 22:49:55 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:03:47 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 23:06:23 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:06:34 | <AWizzArd> | Can I convince ghci to use `Type` instead of `*` as output in :kind signatures? |
| 23:09:44 | <geekosaur> | https://paste.tomsmeding.com/Oeo68DcU |
| 23:10:08 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:10:27 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 250 seconds) |
| 23:12:34 | <AWizzArd> | geekosaur: works! Are there some major disadvantages when putting this into my ghci config? |
| 23:12:41 | <geekosaur> | no |
| 23:12:59 | <geekosaur> | in fact it's preferred these days and at some point will become the default |
| 23:13:15 | <geekosaur> | * is backward compatibility |
| 23:13:49 | → | Umeaboy joins (~Umeaboy@m90-129-221-19.cust.tele2.se) |
| 23:14:23 | <AWizzArd> | thx |
| 23:15:38 | <Umeaboy> | Hi! Can one use copr to build GHC using a chroot from a different dist? Lets say I need GHC itself to build GHC and my dist doesn't offer any such package, can I then use a similar dist chroot and build a package? |
| 23:16:54 | <Umeaboy> | I was planning to setup a repo with the dependencies that I built already. |
| 23:17:12 | <geekosaur> | I think that's how ghc is currently built for alpine |
| 23:17:23 | <Umeaboy> | Okey. |
| 23:18:12 | <Umeaboy> | https://copr.fedorainfracloud.org/coprs/umeaman/ contains some of my packages to actually build GHC. |
| 23:18:14 | <geekosaur> | hm, not a chroot |
| 23:19:02 | <geekosaur> | docker container. a chroot isn't enough of a container generally, since a glibc has to match a running kernel |
| 23:19:32 | <hpc> | looks like it's a vm pool |
| 23:19:44 | <hpc> | if you do a bit of a clickaroo and find build logs |
| 23:20:35 | <hpc> | btw, usually afterwards you use the ghc you just built to rebuild itself again to finish the bootstrap |
| 23:21:15 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 23:21:47 | <Umeaboy> | I have a problem with unused .so-files as you can see in the build log. |
| 23:22:06 | <Umeaboy> | Do I invoke LDCONFIG to solve this? |
| 23:23:55 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 23:24:03 | <hpc> | No matching package to install: 'libncurses5' (and libnuma-devel) |
| 23:24:08 | <hpc> | i think that's your error |
| 23:24:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:24:45 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:24:45 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:25:23 | × | chomwitt quits (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 23:27:23 | <Umeaboy> | Yes, I don't think those packages have been built for aarch64 in Mageia yet. |
| 23:27:32 | <Umeaboy> | Let me check. |
| 23:27:37 | × | mastarija quits (~mastarija@188.252.199.82) (Quit: WeeChat 3.7.1) |
| 23:27:38 | → | telser joins (~quassel@user/telser) |
| 23:28:22 | <hpc> | does it matter that it's ncurses 5? looks like ncurses 6 is packaged |
| 23:29:17 | → | okiltb^ joins (~okiltb@c-24-30-76-89.hsd1.ga.comcast.net) |
| 23:29:36 | <geekosaur> | the old ghc it's trying to use to bootstrap may require it |
| 23:29:42 | <Umeaboy> | hpc: Not for Mageia as far as I can see: |
| 23:29:45 | <Umeaboy> | https://pkgs.org/download/libncurses6 |
| 23:29:52 | <geekosaur> | and ncurses 6 is not backward compatible |
| 23:30:05 | <hpc> | i found it in https://www.mirrorservice.org/sites/mageia.org/pub/mageia/distrib/8/x86_64/media/core/release/ |
| 23:30:41 | <Umeaboy> | And my build log mentions that libncurses5 is missing for aarch64. |
| 23:30:48 | <Umeaboy> | Which it IS. |
| 23:38:45 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 23:39:22 | × | Umeaboy quits (~Umeaboy@m90-129-221-19.cust.tele2.se) (Quit: Connection closed) |
| 23:42:33 | → | Umeaboy joins (~Umeaboy@m90-129-221-19.cust.tele2.se) |
| 23:42:59 | <Umeaboy> | My phone got disconnected..... |
| 23:42:59 | <geekosaur> | sadly I think the ghc devs found it easier to stick with ncurses 5 than to deal with (a) ncurses 6 is always the wide version (b) libterminfo has been dropped (it's all in libncurses6 now) |
| 23:43:03 | <EvanR> | though this will take getting used to, before Char could be said (aloud) to be "of kind star". Now "char is of kind type" which is confusing for the uninitiated |
| 23:43:13 | <EvanR> | better to not pronounce anything I guess |
| 23:43:15 | <Umeaboy> | My apologies. |
| 23:43:34 | <geekosaur> | EvanR, worse is ghc encourages that confusion. consider `expected a type` |
| 23:44:14 | <geekosaur> | which really means it expected something of kind `Type`; this is really confusing if you give it a type of a kind other than `Type` |
| 23:44:36 | <EvanR> | what if it expected a * -> *? |
| 23:44:41 | × | mrcsno quits (~mrcsno@user/mrcsno) (Quit: WeeChat 3.5) |
| 23:44:49 | <geekosaur> | it reports the kind in that case |
| 23:45:16 | <geekosaur> | whjich is what it should always do IMO, not "simplify" kind `Type` to something confusing |
| 23:45:48 | × | Umeaboy quits (~Umeaboy@m90-129-221-19.cust.tele2.se) (Client Quit) |
| 23:46:42 | <EvanR> | you got your Type types, your Non-Types types, your Type non-types, ok maybe not this last one |
| 23:46:57 | <geekosaur> | not that last one |
| 23:47:05 | × | Ram-Z quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 260 seconds) |
| 23:47:19 | <geekosaur> | but `'True` is a type that isn't a `Type` |
| 23:47:43 | <geekosaur> | except ghc will sometimes tell you `expected a type` about it |
| 23:47:46 | <c_wraith> | Heck, `Maybe` is a type that isn't a `Type` |
| 23:47:58 | × | mcglk quits (~mcglk@131.191.19.145) (Ping timeout: 276 seconds) |
| 23:47:59 | <hpc> | i write all my python code on paper because it's an untyped language :P |
| 23:48:17 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 23:48:25 | <c_wraith> | hpc: that seems extreme. you could use punch cards. |
| 23:49:02 | geekosaur | thinks he would stick with paper |
| 23:49:05 | <EvanR> | meanwhile PHP and ruby are accurately categorized as punched languages, i.e. what I do to the computer if I have to use them |
| 23:49:14 | <monochrom> | Typed lambda calculus is when you type it up. Untyped lambda calculus is when you use handwriting. |
| 23:49:25 | <geekosaur> | that fortran course was no fun |
| 23:49:43 | <monochrom> | This also explains why untyped lambda calculus comes with recursion. Your handwriting is cursive. >:) |
| 23:49:50 | <geekosaur> | I really wished I could get away with using `f77` |
| 23:50:29 | <c_wraith> | monochrom: well, my handwriting causes cursing, at least |
| 23:51:17 | <hpc> | oh, i just noticed "expected a type" was a kind error and not somehow a level error |
| 23:51:29 | <hpc> | i kept thinking "why doesn't it say 'expected a type, got a value'" |
| 23:51:39 | <hpc> | yeah, definitely confusing |
| 23:52:05 | <EvanR> | in the next update it will be clarified, "expected a type, got a type" |
| 23:52:15 | <monochrom> | haha |
| 23:52:32 | <hpc> | "expected one type of type, got another type of type" |
| 23:52:46 | <hpc> | "try typing a different type of type" |
| 23:53:08 | <EvanR> | Kind Mismatch |
| 23:53:42 | → | mcglk joins (~mcglk@131.191.19.145) |
| 23:55:55 | <geekosaur> | in the next release they'll call that "a kind of error" |
| 23:56:41 | <hpc> | i hear in ghc 15 type errors will be catchable exceptions |
| 23:57:16 | <geekosaur> | too late, `-fdefer-type-errors` is already a thing |
| 23:57:37 | <hpc> | catchable type-level exceptions, of course |
| 23:57:44 | <hpc> | what kind of loon would let such a thing occur at runtime :P |
| 23:58:34 | <EvanR> | type level openGL which shows type level graphics to a type level user |
| 23:59:06 | <geekosaur> | shh, don't give ekmett ideas 🙂 |
All times are in UTC on 2023-03-13.