Logs on 2022-11-09 (liberachat/#haskell)
| 00:04:15 | × | Kaipii quits (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 00:06:19 | → | king_gs joins (~Thunderbi@187.201.83.115) |
| 00:10:51 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:10:54 | × | king_gs quits (~Thunderbi@187.201.83.115) (Ping timeout: 260 seconds) |
| 00:12:43 | × | titibandit quits (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 00:15:46 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 00:16:06 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 00:17:11 | → | freeside joins (~mengwong@103.252.202.193) |
| 00:18:31 | × | bsima quits (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:21:07 | → | bsima joins (~bsima@143.198.118.179) |
| 00:21:36 | <Axman6> | @pl expand m = m >>= \(a, bs) -> map (a,) bs |
| 00:21:36 | <lambdabot> | (line 1, column 11): |
| 00:21:36 | <lambdabot> | unexpected " " |
| 00:21:36 | <lambdabot> | expecting operator |
| 00:21:44 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 246 seconds) |
| 00:22:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 00:24:27 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:28:51 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 00:29:20 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 00:31:45 | <Axman6> | @pl \(a, bs) -> map (a,) bs |
| 00:31:45 | <lambdabot> | (line 1, column 19): |
| 00:31:45 | <lambdabot> | unexpected "," |
| 00:31:45 | <lambdabot> | expecting letter or digit, variable, "(", operator or ")" |
| 00:33:52 | → | freeside joins (~mengwong@103.252.202.193) |
| 00:39:56 | × | cstml quits (~cstml@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net) (Ping timeout: 246 seconds) |
| 00:41:25 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 00:41:33 | → | causal joins (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) |
| 00:41:43 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 00:46:42 | × | causal quits (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 252 seconds) |
| 01:01:04 | → | causal joins (~user@50.35.83.177) |
| 01:04:25 | → | razetime joins (~quassel@117.193.5.245) |
| 01:11:19 | × | xff0x quits (~xff0x@2405:6580:b080:900:88f3:132d:4c04:2bb3) (Ping timeout: 252 seconds) |
| 01:12:53 | money | is now known as polo |
| 01:13:01 | polo | is now known as money |
| 01:15:43 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 01:16:26 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 01:17:59 | × | mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 260 seconds) |
| 01:22:37 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:37:35 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 01:38:30 | → | king_gs joins (~Thunderbi@187.201.83.115) |
| 01:42:15 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 01:43:18 | × | razetime quits (~quassel@117.193.5.245) (Remote host closed the connection) |
| 01:48:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 01:49:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:51:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:53:03 | → | freeside joins (~mengwong@103.252.202.193) |
| 01:53:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:53:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Ping timeout: 260 seconds) |
| 01:55:40 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 01:56:29 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 01:56:29 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 01:57:31 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 01:58:15 | × | king_gs quits (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 01:58:48 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 02:00:41 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 02:01:02 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:05:31 | × | thegeekinside quits (~thegeekin@189.180.92.220) (Ping timeout: 248 seconds) |
| 02:11:38 | <jackdk> | @pl \(a, bs) -> map (\x -> (a,x)) bs |
| 02:11:38 | <lambdabot> | uncurry (map . (,)) |
| 02:13:35 | → | freeside joins (~mengwong@103.252.202.193) |
| 02:15:26 | → | nate4 joins (~nate@98.45.169.16) |
| 02:18:23 | × | rburkholder quits (~blurb@96.45.2.121) (Remote host closed the connection) |
| 02:18:49 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:35:52 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:38:05 | × | mmhat quits (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 02:43:10 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 03:04:21 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:13:26 | × | phileasfogg quits (~phileasfo@user/phileasfogg) (Ping timeout: 255 seconds) |
| 03:14:13 | → | mshv22 joins (~mshv22@76.115.19.239) |
| 03:14:34 | → | phileasfogg joins (~phileasfo@user/phileasfogg) |
| 03:15:04 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 03:16:02 | → | freeside joins (~mengwong@103.252.202.193) |
| 03:17:12 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:17:46 | × | td_ quits (~td@83.135.9.57) (Ping timeout: 252 seconds) |
| 03:18:55 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 03:19:36 | → | td_ joins (~td@83.135.9.26) |
| 03:19:43 | × | money quits (sid532813@user/polo) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 03:20:29 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 03:22:05 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 03:28:31 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 03:31:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:31:31 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:31:31 | finn_elija | is now known as FinnElija |
| 03:32:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 03:33:08 | → | freeside joins (~mengwong@103.252.202.193) |
| 03:37:37 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 03:44:20 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:45:40 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 03:51:55 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 04:02:36 | → | Guest6535 joins (sid532813@id-532813.tinside.irccloud.com) |
| 04:02:55 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 04:06:29 | → | freeside joins (~mengwong@103.252.202.193) |
| 04:14:12 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 248 seconds) |
| 04:16:21 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 04:19:00 | → | rburkholder joins (~blurb@96.45.2.121) |
| 04:21:21 | × | Guest6535 quits (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 04:21:21 | → | Guest6535 joins (sid532813@user/polo) |
| 04:21:25 | Guest6535 | is now known as money |
| 04:23:17 | → | Kaipii joins (~Kaiepi@108.175.84.104) |
| 04:23:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 04:28:04 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:31:42 | → | mbuf joins (~Shakthi@49.205.83.142) |
| 04:33:43 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 04:39:47 | × | Kaipii quits (~Kaiepi@108.175.84.104) (Quit: Leaving) |
| 04:45:55 | → | bilegeek_ joins (~bilegeek@204.sub-174-209-32.myvzw.com) |
| 04:48:20 | × | bilegeek quits (~bilegeek@2600:1008:b047:b089:cb4:8edc:1ce0:e639) (Ping timeout: 260 seconds) |
| 04:48:36 | × | res0nat0r084490 quits (~Fletch@dia.whatbox.ca) (Quit: Ping timeout (120 seconds)) |
| 04:48:51 | → | res0nat0r084490 joins (~Fletch@dia.whatbox.ca) |
| 04:50:44 | × | res0nat0r084490 quits (~Fletch@dia.whatbox.ca) (Client Quit) |
| 04:52:27 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 04:54:01 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:56:43 | × | mshv22 quits (~mshv22@76.115.19.239) (Ping timeout: 248 seconds) |
| 05:06:22 | × | shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit) |
| 05:10:24 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 05:11:07 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 05:14:18 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Client Quit) |
| 05:15:44 | → | nate4 joins (~nate@98.45.169.16) |
| 05:15:57 | → | Neuromancer joins (~Neuromanc@user/neuromancer) |
| 05:16:07 | × | money quits (sid532813@user/polo) () |
| 05:16:56 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 05:20:11 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 05:21:23 | → | freeside joins (~mengwong@103.252.202.193) |
| 05:22:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 05:24:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 05:29:20 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 05:37:55 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 05:47:12 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 05:48:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 05:50:04 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:50:59 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 05:51:34 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 06:00:13 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 06:05:29 | × | crns quits (~netcrns@user/crns) (Ping timeout: 246 seconds) |
| 06:14:16 | → | michalz joins (~michalz@185.246.207.200) |
| 06:19:33 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:25:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 06:29:15 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 06:32:09 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:36:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:36:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 06:37:52 | → | chomwitt joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 06:40:05 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 06:40:40 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 06:43:54 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:50:34 | → | mshv22 joins (~mshv22@76.115.19.239) |
| 06:55:44 | × | jargon quits (~jargon@184.101.188.35) (Ping timeout: 260 seconds) |
| 07:00:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 07:02:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:11:15 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 272 seconds) |
| 07:13:51 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 07:15:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:15:42 | → | money joins (sid532813@user/polo) |
| 07:16:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:17:42 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:18:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:19:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:20:11 | → | razetime joins (~quassel@117.193.5.245) |
| 07:20:58 | × | bilegeek_ quits (~bilegeek@204.sub-174-209-32.myvzw.com) (Remote host closed the connection) |
| 07:21:21 | → | bilegeek_ joins (~bilegeek@204.sub-174-209-32.myvzw.com) |
| 07:27:14 | × | mshv22 quits (~mshv22@76.115.19.239) (Ping timeout: 260 seconds) |
| 07:27:18 | <phileasfogg> | I removed {cabal, stack} packages from my machine and installed them again with ghcup. While stack is available in the $HOME/.local/bin/stack, I have no idea how to execute cabal and ghci |
| 07:28:31 | → | mshv22 joins (~mshv22@76.115.19.239) |
| 07:28:34 | <phileasfogg> | and obviously I removed the ghc package as well |
| 07:28:59 | <phileasfogg> | I'm trying to manage the entire toolchain with ghcup, and look like it's not going very well |
| 07:29:08 | <phileasfogg> | may I ask for your help? |
| 07:30:52 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:31:24 | × | darkstarx quits (~darkstard@50.53.3.186) (Quit: Leaving) |
| 07:32:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:37:29 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:37:49 | → | gmg joins (~user@user/gehmehgeh) |
| 07:42:13 | → | nate4 joins (~nate@98.45.169.16) |
| 07:42:59 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 07:43:16 | × | mshv22 quits (~mshv22@76.115.19.239) (Quit: Leaving) |
| 07:44:46 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 07:45:10 | <maerwald[m]> | phileasfogg: did you read the post install message? |
| 07:46:53 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 07:47:19 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 07:49:41 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 07:52:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 07:55:01 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:02:42 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:f63c:5577:65a8:9c2f) |
| 08:03:12 | → | kenran joins (~user@user/kenran) |
| 08:03:24 | × | razetime quits (~quassel@117.193.5.245) (Ping timeout: 252 seconds) |
| 08:04:18 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 08:04:55 | → | zeenk joins (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 08:09:15 | → | machinedgod joins (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 08:14:42 | → | abhiroop_ joins (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 08:14:43 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:15:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 08:18:48 | → | titibandit joins (~titibandi@xdsl-87-78-8-6.nc.de) |
| 08:19:28 | × | bilegeek_ quits (~bilegeek@204.sub-174-209-32.myvzw.com) (Quit: Leaving) |
| 08:20:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:22:45 | → | razetime joins (~quassel@117.193.5.245) |
| 08:23:04 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 08:24:43 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 08:25:15 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:f63c:5577:65a8:9c2f) (Ping timeout: 248 seconds) |
| 08:27:19 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:30:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:30:57 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:a482:984f:4595:1176) |
| 08:39:25 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7137a91cc0b0087e9762ec4.dip0.t-ipconnect.de) |
| 08:39:56 | → | mikoto-chan joins (~mikoto-ch@nat2.panoulu.net) |
| 08:40:46 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:43:10 | → | CiaoSen joins (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 08:44:09 | → | fserucas joins (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 08:47:48 | × | titibandit quits (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 08:48:41 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:53:18 | → | mmhat joins (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) |
| 08:56:20 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:00:03 | × | CeNiEi[m] quits (~cenieimat@2001:470:69fc:105::1:894c) (Quit: You have been kicked for being idle) |
| 09:00:03 | × | rockymarine[m] quits (~rockymari@2001:470:69fc:105::2:9a0c) (Quit: You have been kicked for being idle) |
| 09:00:05 | × | loosh[m] quits (~looshchat@2001:470:69fc:105::2:5ddd) (Quit: You have been kicked for being idle) |
| 09:02:07 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 09:06:35 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 09:10:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 09:11:16 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:20:17 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 09:22:51 | → | ub1 joins (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) |
| 09:22:55 | → | dcoutts__ joins (~duncan@host86-151-44-212.range86-151.btcentralplus.com) |
| 09:23:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:24:11 | → | ubert1 joins (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) |
| 09:24:29 | × | ubert quits (~Thunderbi@178.115.40.19.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 09:24:29 | ubert1 | is now known as ubert |
| 09:24:59 | × | ub quits (~Thunderbi@178.115.40.19.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 09:25:16 | → | king_gs joins (~Thunderbi@187.201.83.115) |
| 09:25:17 | × | dcoutts_ quits (~duncan@host86-151-44-212.range86-151.btcentralplus.com) (Ping timeout: 246 seconds) |
| 09:25:40 | → | MajorBiscuit joins (~MajorBisc@145.94.173.65) |
| 09:26:01 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 09:28:56 | → | eddiejessup_ joins (uid575763@id-575763.tinside.irccloud.com) |
| 09:30:33 | × | Guest75 quits (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 09:35:03 | → | chele joins (~chele@user/chele) |
| 09:38:59 | × | ft quits (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:44:41 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 09:44:42 | × | king_gs quits (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 09:44:56 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 09:45:01 | → | __monty__ joins (~toonn@user/toonn) |
| 09:47:14 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 09:48:29 | → | nschoe joins (~q@141.101.51.197) |
| 09:49:14 | → | Guest53 joins (~Guest53@astound-64-85-243-31.ca.astound.net) |
| 09:50:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 09:50:40 | → | __monty__ joins (~toonn@user/toonn) |
| 09:51:31 | × | Guest53 quits (~Guest53@astound-64-85-243-31.ca.astound.net) (Client Quit) |
| 10:02:35 | → | teo joins (~teo@user/teo) |
| 10:03:58 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 10:04:47 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 10:10:42 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 10:11:00 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds) |
| 10:11:09 | × | santiagopim quits (~user@90.167.66.131) (Remote host closed the connection) |
| 10:15:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Ping timeout: 255 seconds) |
| 10:18:11 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 10:29:18 | → | kuribas joins (~user@ptr-17d51eo35w1t0olsz1l.18120a2.ip6.access.telenet.be) |
| 10:35:28 | → | elevenkb joins (~elevenkb@105.184.125.168) |
| 10:37:16 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 10:39:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:59:35 | ← | buffet parts (~buffet@buffet.sh) (WeeChat 3.5) |
| 11:05:16 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 11:08:11 | × | CiaoSen quits (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 11:10:12 | × | razetime quits (~quassel@117.193.5.245) (Ping timeout: 248 seconds) |
| 11:10:26 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 11:11:26 | → | razetime joins (~quassel@117.193.5.245) |
| 11:14:25 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 11:15:14 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Client Quit) |
| 11:16:19 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 11:16:43 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 11:21:41 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds) |
| 11:30:48 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 11:31:03 | → | xff0x joins (~xff0x@2405:6580:b080:900:8031:9588:bb65:20be) |
| 11:34:21 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 11:37:09 | → | akegalj joins (~akegalj@89-172-37-50.adsl.net.t-com.hr) |
| 11:39:58 | × | machinedgod quits (~machinedg@clnet-p10-126.ikbnet.co.at) (Ping timeout: 252 seconds) |
| 11:42:23 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 11:43:45 | → | nate4 joins (~nate@98.45.169.16) |
| 11:48:34 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 11:50:36 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:50:36 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 11:51:04 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 11:51:10 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:52:08 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:53:23 | → | Bish joins (~arne@ip-078-094-082-081.um19.pools.vodafone-ip.de) |
| 11:53:35 | <Bish> | what function was that [M a] => M [a] thingie |
| 11:53:37 | <Bish> | i forgot |
| 11:54:24 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 11:58:02 | <lortabac> | :t sequenceA -- Bish |
| 11:58:03 | <lambdabot> | (Traversable t, Applicative f) => t (f a) -> f (t a) |
| 11:58:08 | <Bish> | that was it! |
| 11:58:11 | <Bish> | thank you |
| 11:58:20 | <lortabac> | :t sequence |
| 11:58:21 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 12:03:38 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 12:03:55 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 12:08:11 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 248 seconds) |
| 12:11:04 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 12:11:13 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 12:13:39 | × | mikoto-chan quits (~mikoto-ch@nat2.panoulu.net) (Ping timeout: 260 seconds) |
| 12:16:55 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 12:18:18 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 12:21:52 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 12:22:03 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 12:23:13 | → | zaquest joins (~notzaques@5.130.79.72) |
| 12:23:20 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 12:23:44 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 12:25:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 12:25:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 12:25:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 12:25:59 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 12:26:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:27:57 | × | MajorBiscuit quits (~MajorBisc@145.94.173.65) (Quit: WeeChat 3.6) |
| 12:28:13 | × | Cheery quits (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 246 seconds) |
| 12:28:14 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:31:40 | × | fserucas quits (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 252 seconds) |
| 12:35:40 | → | MajorBiscuit joins (~MajorBisc@145.94.173.65) |
| 12:35:42 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:41:20 | <merijn> | Bish: FYI: |
| 12:41:28 | <merijn> | @hoogle [m a] -> m [a] |
| 12:41:29 | <lambdabot> | GHC.Base sequence :: Monad m => [m a] -> m [a] |
| 12:41:29 | <lambdabot> | Hledger.Utils sequence' :: Monad f => [f a] -> f [a] |
| 12:41:29 | <lambdabot> | Test.FuzzCheck jumble :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m [a] |
| 12:42:46 | → | Cheery joins (~cheery@7-239-179-185.static.tentacle.fi) |
| 12:46:24 | → | fserucas joins (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) |
| 12:51:47 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:52:01 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 12:52:52 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 12:56:51 | × | MajorBiscuit quits (~MajorBisc@145.94.173.65) (Quit: WeeChat 3.6) |
| 12:58:09 | → | MajorBiscuit joins (~MajorBisc@145.94.173.65) |
| 12:58:50 | → | arjun joins (~arjun@205.254.175.154) |
| 12:59:19 | × | arjun quits (~arjun@205.254.175.154) (Changing host) |
| 12:59:19 | → | arjun joins (~arjun@user/arjun) |
| 13:01:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 13:02:30 | → | CiaoSen joins (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:08:29 | × | razetime quits (~quassel@117.193.5.245) (Ping timeout: 260 seconds) |
| 13:09:25 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:14:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:14:39 | <tdammers> | Xeroine: https://bpa.st/3EYA this works |
| 13:15:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 13:15:52 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 13:18:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:21:34 | → | machinedgod joins (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 13:23:46 | → | razetime joins (~quassel@117.254.35.84) |
| 13:25:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:29:31 | <phileasfogg> | This is quite an UNIX stuff, but I want to process the stdout log coming out from the unix program in real time with Haskell. How should I do that? |
| 13:29:41 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 13:30:15 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 13:30:19 | <merijn> | the same way you do it in any other language? |
| 13:31:13 | <phileasfogg> | For instance, let's say I want to make a log appear in real time in the GUI I made. I thought about just using some getContents, but I think it's not the right way to do it. |
| 13:32:10 | <phileasfogg> | Moreover, when I tried to use the brick and getContents in the same time, it almost tried to kill each other |
| 13:34:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 13:36:07 | <merijn> | phileasfogg: getContents use lazy IO which is almost certainly not what you want |
| 13:36:35 | <merijn> | phileasfogg: You can just explicitly read from stdin/various other file descriptors |
| 13:36:50 | <merijn> | getLine/hGetLine come to mind |
| 13:37:22 | <merijn> | There's also various stream processing libraries which make it easier to turn input streams into streams of specific datatypes and operate on them (conduit, pipes, streamly) |
| 13:38:08 | <arjun> | you also might need to use hSetBuffering handle NoBuffering |
| 13:38:34 | <dminuoso> | catchException :: Exception e => IO a -> (e -> IO a) -> IO a; [...] Note that this function is strict in the action. That is, catchException undefined b == _|_. See for details. |
| 13:38:38 | <dminuoso> | See *what* for details? |
| 13:39:56 | <dminuoso> | Also TIL. A stack overflow is communicated as a haskell exception, and appears to be catchable in principle... |
| 13:40:16 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 13:40:38 | <phileasfogg> | merijn: thank you so much. I'll do more research based on your advice. |
| 13:41:17 | <merijn> | phileasfogg: You'll want to look at System.IO (or, probably more approppriately) Data.Text.IO from the text package |
| 13:41:20 | → | kenran joins (~user@user/kenran) |
| 13:41:35 | <merijn> | phileasfogg: All the standard "read X bytes from a file descriptor"-stuff you' |
| 13:41:36 | <dminuoso> | merijn: I honestly think h/getContents was a big mistake. :( |
| 13:41:44 | <merijn> | you'd find in other languages is there |
| 13:42:12 | <dminuoso> | It usefulness is stops after advent of code excercises. |
| 13:42:48 | <phileasfogg> | dminuoso: I'm just a novice, but I had a serious problem getting the stdin and update the bricks tui with that |
| 13:42:52 | <dminuoso> | Also beware of Data.Text.IO |
| 13:43:05 | <phileasfogg> | h/getContents might be related? |
| 13:43:11 | <dminuoso> | readFile has some subtle gotchas (covered in its haddock) - you almost assuredly want Data.ByteString.readFile instead. |
| 13:43:52 | <merijn> | phileasfogg: brick kinda expects stdin to be a terminal and to fully control it |
| 13:44:36 | <phileasfogg> | oh, so when the stdin comes in from another pipeline it just dies? |
| 13:44:56 | <phileasfogg> | that was my experience at least |
| 13:45:10 | <merijn> | well, not dies, but yeah piping into a program expecting a terminal is gonna be...wonky |
| 13:45:25 | <merijn> | phileasfogg: You'd be better off using a unix socket/named pipe and having your TUI application read from that |
| 13:46:11 | <phileasfogg> | didn't try that before, I think that's the best method for me now |
| 13:46:28 | × | razetime quits (~quassel@117.254.35.84) (Ping timeout: 252 seconds) |
| 13:46:57 | → | razetime joins (~quassel@117.254.34.194) |
| 13:48:26 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 13:55:06 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 14:00:45 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 14:06:54 | × | arjun quits (~arjun@user/arjun) (Quit: Leaving) |
| 14:08:02 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 14:08:43 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 14:09:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 14:10:08 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 14:10:36 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 14:15:04 | × | abhiroop_ quits (~abhiroop@ext-1-450.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 14:22:20 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 14:22:42 | → | thegeekinside joins (~thegeekin@189.180.92.220) |
| 14:23:35 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 14:24:15 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 14:25:00 | × | elevenkb quits (~elevenkb@105.184.125.168) (Remote host closed the connection) |
| 14:25:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 14:25:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:25:50 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 14:25:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:28:29 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:28:59 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 14:32:49 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 14:33:49 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 14:33:58 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 14:34:16 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 14:38:51 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 14:39:17 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 14:42:50 | → | shriekingnoise joins (~shrieking@186.137.167.202) |
| 14:44:29 | money | is now known as Guest674 |
| 14:44:29 | × | Guest674 quits (sid532813@user/polo) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 14:45:28 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 14:45:48 | × | gff_ quits (~gff@75-174-112-159.boid.qwest.net) (Ping timeout: 268 seconds) |
| 14:47:31 | × | razetime quits (~quassel@117.254.34.194) (Read error: Connection reset by peer) |
| 14:47:32 | → | razetime_ joins (~quassel@117.254.34.194) |
| 14:47:39 | → | gff_ joins (~gff@user/gff) |
| 14:49:25 | → | Guest674 joins (sid532813@id-532813.tinside.irccloud.com) |
| 14:49:52 | × | Guest674 quits (sid532813@id-532813.tinside.irccloud.com) (Client Quit) |
| 14:50:16 | → | money_ joins (sid532813@user/polo) |
| 14:50:57 | money_ | is now known as money |
| 14:54:53 | → | Heyting joins (~Heyting@193.198.16.217) |
| 14:57:22 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 14:58:08 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 14:59:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:00:06 | × | akegalj quits (~akegalj@89-172-37-50.adsl.net.t-com.hr) (Quit: leaving) |
| 15:00:42 | × | causal quits (~user@50.35.83.177) (Quit: WeeChat 3.7.1) |
| 15:06:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 15:11:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:16:02 | <Heyting> | does anyone use emacs for writing haskell? what do you use beside haskell-mode and lsp-mode? |
| 15:16:16 | <dminuoso> | Just that, really |
| 15:16:48 | <dminuoso> | Well and the usual emacs gimmicks like magit, undo-tree and what not |
| 15:17:05 | <dminuoso> | (More recently, undo-tree has become quite a favourite of mine) |
| 15:17:10 | <geekosaur> | I don't even use lsp-mode; I predate such gimmicks |
| 15:17:25 | <shapr> | I like haskell-language-server very much |
| 15:17:26 | <dminuoso> | geekosaur: Nomen est omen? :) |
| 15:17:27 | <shapr> | it's a superpower |
| 15:17:43 | <geekosaur> | p much |
| 15:18:19 | <dminuoso> | Also org-mode is quite handy for keeping track of programming related tasks at work |
| 15:19:04 | <shapr> | I agree |
| 15:19:37 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 15:19:37 | → | abhiroop_ joins (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 15:19:50 | <dminuoso> | In fact, org-mode and magit were the primary reasons I switched over from vim. |
| 15:22:33 | <Heyting> | Well, I'm completely new to emacs, but decided to embrace it because above all, it is consistent and can be used for multiple languages |
| 15:23:12 | <Heyting> | What is the difference between lsp-mode and haskell-language-server? As I understand, HLS runs outside of emacs as a server, with which lsp-mode communicates |
| 15:25:36 | <geekosaur> | that, basically |
| 15:26:07 | <geekosaur> | lsp is language server protocol, a common protocol that all langauge IDE interfaces use. |
| 15:26:19 | <geekosaur> | haskell-language-server is a LSP server for Haskell |
| 15:27:05 | <geekosaur> | lsp-mode is a common LSP client for emacs |
| 15:27:05 | × | doyougnu quits (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Ping timeout: 260 seconds) |
| 15:28:12 | <geekosaur> | so lsp-mode can be used for haskell with hls, for c++ with its server thsat I don't know the name off the top of my head, etc. |
| 15:29:17 | <geekosaur> | neovim has its own interfaces (a simple built-in one and the coc plugin), etc. |
| 15:30:24 | <geekosaur> | vscode has built-in lsp support which works with almost 200 language servers, as I understand it |
| 15:30:25 | × | razetime_ quits (~quassel@117.254.34.194) (Ping timeout: 252 seconds) |
| 15:30:38 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:30:52 | <geekosaur> | (including haskell-language-server) |
| 15:30:58 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 15:31:36 | <Heyting> | geekosaur: thanks for the detailed description |
| 15:32:57 | × | machinedgod quits (~machinedg@clnet-p10-126.ikbnet.co.at) (Read error: Connection reset by peer) |
| 15:33:10 | → | machinedgod joins (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 15:35:02 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 15:38:20 | <kuribas> | Heyting: no lsp-mode, but flycheck |
| 15:40:18 | <Heyting> | Doesn't flycheck also use LSP as its backend? |
| 15:40:42 | → | doyougnu joins (~doyougnu@cpe-74-69-132-239.stny.res.rr.com) |
| 15:44:51 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:45:17 | → | nate4 joins (~nate@98.45.169.16) |
| 15:45:38 | <kuribas> | no |
| 15:46:17 | <kuribas> | well, maybe there exist lsp backends for flycheck |
| 15:46:28 | <kuribas> | But I am using flycheck-haskell |
| 15:46:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 15:47:29 | <geekosaur> | flycheck poredates lsp, iirc. so it should be able to use ghcid and other backends |
| 15:47:44 | <geekosaur> | or directly stack or cabal |
| 15:47:44 | × | doyougnu quits (~doyougnu@cpe-74-69-132-239.stny.res.rr.com) (Ping timeout: 260 seconds) |
| 15:47:48 | <geekosaur> | *predates |
| 15:48:05 | → | razetime joins (~quassel@117.193.5.245) |
| 15:50:12 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 15:51:28 | <markasoftware> | (Also perhaps check out eglot, its a lighter weight plugin than LSP-mode with the same essential features) |
| 15:52:44 | <dminuoso> | It doesnt provide lenses though, if you like those. |
| 15:52:59 | <dminuoso> | (Which I think is one of the most relevant differences between lsp-mode and eglot) |
| 15:59:01 | × | machinedgod quits (~machinedg@clnet-p10-126.ikbnet.co.at) (Ping timeout: 252 seconds) |
| 16:00:04 | × | M3g-mentok[m] quits (~M3g-mento@2001:470:69fc:105::2:9a49) (Quit: You have been kicked for being idle) |
| 16:00:04 | × | vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: You have been kicked for being idle) |
| 16:00:07 | × | Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Quit: You have been kicked for being idle) |
| 16:00:08 | × | aidy quits (~aidy@2001:470:69fc:105::c7b4) (Quit: You have been kicked for being idle) |
| 16:01:41 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 16:02:19 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 16:03:08 | → | king_gs joins (~Thunderbi@187.201.83.115) |
| 16:09:19 | <Heyting> | luckily I am a beginner, so lenses are in the far future for me |
| 16:12:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 16:19:11 | <markasoftware> | Is there a way to pattern match on the data constructor only, without having to know how many fields it has? I will use accessor functions as necessary in the body of my function |
| 16:20:13 | <merijn> | > case Just True of Just{} -> "yes" |
| 16:20:15 | <lambdabot> | "yes" |
| 16:20:24 | <markasoftware> | nice |
| 16:20:50 | <merijn> | markasoftware: Record syntax with 0 fields is defined to work for any constructor, even if it's not defined as record constructor |
| 16:23:10 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 16:30:03 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 16:30:03 | × | zeenk quits (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 16:30:55 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 16:33:15 | → | king_gs1 joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 16:33:15 | × | king_gs quits (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 16:33:15 | king_gs1 | is now known as king_gs |
| 16:33:29 | → | thyriaen_ joins (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) |
| 16:34:55 | × | nschoe quits (~q@141.101.51.197) (Quit: Switching off) |
| 16:35:16 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 16:37:39 | → | Tuplanolla joins (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 16:38:42 | × | Heyting quits (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 16:39:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:39:55 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:40:30 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 16:42:05 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:43:47 | → | attt joins (~attt@dsl-jklbng12-54fbd1-216.dhcp.inet.fi) |
| 16:44:45 | × | attt quits (~attt@dsl-jklbng12-54fbd1-216.dhcp.inet.fi) (Client Quit) |
| 16:44:52 | → | titibandit joins (~titibandi@xdsl-87-78-8-6.nc.de) |
| 16:45:14 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 246 seconds) |
| 16:49:40 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 16:49:43 | → | litharge joins (litharge@libera/bot/litharge) |
| 16:50:07 | → | biberu joins (~biberu@user/biberu) |
| 16:50:09 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 260 seconds) |
| 16:50:13 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:50:15 | → | razetime_ joins (~quassel@117.193.5.245) |
| 16:50:50 | × | CiaoSen quits (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 16:52:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:53:17 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 16:53:47 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 16:53:53 | → | litharge joins (litharge@libera/bot/litharge) |
| 16:57:44 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 16:57:50 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:57:53 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 16:57:59 | → | litharge joins (litharge@libera/bot/litharge) |
| 17:02:01 | → | polo joins (~polo@user/polo) |
| 17:02:02 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 17:02:08 | → | litharge joins (litharge@libera/bot/litharge) |
| 17:02:35 | money | is now known as Guest4725 |
| 17:02:35 | × | Guest4725 quits (sid532813@user/polo) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 17:03:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 17:03:35 | × | litharge quits (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 17:03:55 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 260 seconds) |
| 17:05:15 | → | king_gs joins (~Thunderbi@187.201.139.206) |
| 17:06:41 | polo | is now known as money |
| 17:08:09 | × | money quits (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:08:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 17:11:34 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 17:13:25 | → | Guest4725 joins (sid532813@id-532813.tinside.irccloud.com) |
| 17:13:29 | × | teo quits (~teo@user/teo) (Ping timeout: 260 seconds) |
| 17:14:11 | → | litharge joins (litharge@libera/bot/litharge) |
| 17:15:27 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 17:15:28 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 17:16:00 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 17:16:42 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 17:17:27 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 17:20:25 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 17:23:14 | × | Guest4725 quits (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 17:23:14 | → | Guest4725 joins (sid532813@user/polo) |
| 17:23:51 | → | finsternis joins (~X@23.226.237.192) |
| 17:24:33 | Guest4725 | is now known as money |
| 17:24:33 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 17:24:51 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 17:25:10 | <infinity0> | haskell-ci gives me this error: |
| 17:25:11 | <infinity0> | rejecting: ghc-8.4.4/installed-8.4.4 (conflict: binary==0.8.9.1, ghc => binary==0.8.5.1/installed-0.8.5.1) |
| 17:25:31 | <infinity0> | in actual fact ghc-8.4.4 depends on binary (>=0.8 && <0.9) so binary==0.8.9.1 should work |
| 17:25:35 | <infinity0> | https://hackage.haskell.org/package/ghc-8.4.4 |
| 17:25:40 | <infinity0> | how can i override this behaviour? |
| 17:26:07 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:a482:984f:4595:1176) (Quit: WeeChat 2.8) |
| 17:26:39 | <tomsmeding> | infinity0: does it build locally? |
| 17:26:57 | <infinity0> | yes and on most of the latest ghc versions |
| 17:27:20 | <tomsmeding> | binary is a boot package, and a ghc distribution comes with a particular set of boot libraries that you _must_ use |
| 17:27:47 | <tomsmeding> | though I'm not sure if this also holds for some of the higher level stuff like 'containers'... |
| 17:28:15 | <infinity0> | yes, i'm overriding that with the haskell-ci config option "installed:" this is similar to what the boot packages themselves do |
| 17:29:01 | <infinity0> | it seems cabal/haskell-ci places a further restriction that a boot package must depend on another boot package even if its actual dependency is a wider range of versions |
| 17:29:09 | <infinity0> | i'd guess i can also override this but i don't know how |
| 17:29:32 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 17:29:46 | <geekosaur> | I think cabal (not haskell-ci) insists on installed because ghc exposes parts of binary so it has to match the installed one |
| 17:29:52 | <geekosaur> | (see for example hi files) |
| 17:30:16 | <geekosaur> | (also package dbs and a couple of other things) |
| 17:30:29 | <geekosaur> | so they're effectively wired in |
| 17:31:04 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 17:31:34 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 17:32:21 | <geekosaur> | sclv would know more but I'm pretty sure this is unavoidable because the ghc package is built against the wired-in package and it can't be switched later |
| 17:32:34 | <geekosaur> | and you can't rebuild the ghc package without rebuilding the whole of ghc |
| 17:33:37 | <infinity0> | oh right ok |
| 17:33:55 | <geekosaur> | there is some more care taken (and takeable) for things like containers so they can be switched, and cabal knows about that |
| 17:36:04 | <AndreasK> | Yes if you depend on the ghc package you have to use the versions of libraries ghc is built against. That should also be true for containers. |
| 17:36:15 | <tomsmeding> | geekosaur: I know of this list of boot libraries ( https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history ), but is there also a list of libraries with wired-in versoins like discussed here? i.e. that would include 'binary' but not 'containers' |
| 17:36:43 | <geekosaur> | well, AndreasK just said containers is wired-in too, so there may be no separate list 😞 |
| 17:36:55 | <tomsmeding> | right :) |
| 17:37:15 | <AndreasK> | wired-in in ghc terms is a different thing from ghc being built against it |
| 17:37:16 | <geekosaur> | I had understood that containers was carefully kept swappable, but apparently not if you use ghc-lib |
| 17:37:18 | <tomsmeding> | so then what libraries count as "depending on ghc" here? ghc itself, presumably, as well as I guess ghc-prim and friends; any more? |
| 17:37:24 | <AndreasK> | But for a user its all the same |
| 17:37:56 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:37:56 | <geekosaur> | yeh, I'm being loose with my terminology ecause end users don't care |
| 17:38:09 | <geekosaur> | and ot gets the point across |
| 17:38:12 | <geekosaur> | *it |
| 17:38:17 | <tomsmeding> | (i.e. which libraries must I not depend on in order to keep binary/containers/... swappable) |
| 17:38:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 17:38:39 | <geekosaur> | I think only ghc. ghc-prim is too low level to affect this |
| 17:38:57 | <infinity0> | is it possible to use a newer base package? |
| 17:39:06 | <tomsmeding> | no |
| 17:39:08 | <geekosaur> | no, that's really wired in |
| 17:39:15 | <AndreasK> | tomsmeding: I think you only run into this if you depend on the "ghc" package (directly or transitively) |
| 17:39:21 | <tomsmeding> | AndreasK: I see, thanks! |
| 17:39:33 | <geekosaur> | as in the compiler knows the names/addresses of thoings from base and will break badly if you attempt to use a different build even of the same version |
| 17:39:47 | <infinity0> | ah ok |
| 17:40:04 | <geekosaur> | (for example guards know the address of "True") |
| 17:40:15 | <infinity0> | ok what i'm trying to achieve is probably impossible then, luckily it only affects the tests because they depend on ghc-heap-view for older ghc |
| 17:40:57 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 17:43:16 | × | MajorBiscuit quits (~MajorBisc@145.94.173.65) (Ping timeout: 248 seconds) |
| 17:43:25 | <AndreasK> | infinity0: What are you trying to do? |
| 17:44:39 | × | razetime_ quits (~quassel@117.193.5.245) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:44:39 | × | razetime quits (~quassel@117.193.5.245) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:44:59 | <EvanR> | &TRUE, error not an lvalue |
| 17:45:00 | × | king_gs quits (~Thunderbi@187.201.139.206) (Read error: Connection reset by peer) |
| 17:45:35 | <infinity0> | i have a package that builds on top of containers & vector, trying to update it to newer versions than exist in older GHCs |
| 17:45:45 | → | king_gs joins (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 17:45:46 | <infinity0> | the package itself is fine on those older GHCs, the test dependencies are giving trouble |
| 17:45:54 | <infinity0> | it's fine, i have a solution, just disable the tests |
| 17:46:12 | × | mbuf quits (~Shakthi@49.205.83.142) (Quit: Leaving) |
| 17:48:35 | → | econo joins (uid147250@user/econo) |
| 17:48:52 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 17:50:03 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 248 seconds) |
| 17:50:55 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 17:51:44 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 17:57:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:57:54 | <AndreasK> | infinity0: Does the code actually breake when you allow newer versions? |
| 17:58:04 | <AndreasK> | *break |
| 17:58:25 | <infinity0> | as discussed above, i can't allow the newer versions |
| 17:58:52 | <AndreasK> | annoying |
| 17:59:37 | <infinity0> | for containers and vector it's possible to allow newer versions, that's all fine |
| 18:00:09 | <infinity0> | they themselves have to do that in their own package, for example |
| 18:02:05 | <AndreasK> | Locally --allow-newer as argument to cabal should work. Doesn't really solve it for users though |
| 18:06:11 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 18:08:13 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:08:30 | → | img joins (~img@user/img) |
| 18:18:17 | × | AlexNoo quits (~AlexNoo@178.34.163.65) (Read error: Connection reset by peer) |
| 18:18:54 | → | AlexNoo joins (~AlexNoo@178.34.163.65) |
| 18:20:42 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:20:51 | → | tormenatur joins (uid576041@user/tormenatur) |
| 18:21:12 | × | fserucas quits (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) (Quit: Leaving) |
| 18:21:44 | → | Topsi joins (~Topsi@ipb218f772.dynamic.kabel-deutschland.de) |
| 18:21:47 | <lyxia> | Does a constructor with a bunch of {-# UNPACK #-} !Word8 consume one byte per field or one word per field? |
| 18:21:50 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 18:22:28 | × | titibandit quits (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 18:22:36 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 18:23:17 | <geekosaur> | which ghc version? but I suspect it's a word even in 9.2+ |
| 18:24:23 | <lyxia> | yeah say 9.4 |
| 18:25:05 | <geekosaur> | I say that because the whole size issue happened relatively quickly, but changing stuff like this would require a lot of work on the gc |
| 18:26:36 | <geekosaur> | that said, this is probably a #ghc question if you want the real story |
| 18:27:33 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:27:49 | <AndreasK> | lyxia: One byte per field |
| 18:28:20 | <geekosaur> | interesting |
| 18:28:21 | × | dfee quits (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee) |
| 18:29:11 | <AndreasK> | iirc michael terepeta changed that some time ago |
| 18:30:26 | <AndreasK> | geekosaur: The issue was that Int8 used to be implemented as I8# Int# so you had no benefit. |
| 18:30:46 | <AndreasK> | geekosaur: Now that Int8# is defined as I8# Int8# we get the packing |
| 18:31:00 | <AndreasK> | iirc the packing has been implemented for quite some time. He told me about it at zurihac pre-covid |
| 18:31:19 | <geekosaur> | oh |
| 18:31:19 | <AndreasK> | But the Int8 change I think was only in 9.2 |
| 18:32:20 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 18:32:20 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 18:32:43 | × | ubert quits (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) (Remote host closed the connection) |
| 18:32:43 | ub1 | is now known as ubert |
| 18:45:33 | × | hongminhee quits (sid295@tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 18:48:20 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 18:48:44 | → | hongminhee joins (sid295@id-295.tinside.irccloud.com) |
| 18:49:46 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 18:54:08 | × | chromoblob quits (~user@37.113.164.122) (Read error: Connection reset by peer) |
| 18:55:38 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:55:52 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 19:00:49 | <EvanR> | Int8# actually takes up only 8bits? Or is that just when packed |
| 19:00:59 | <EvanR> | I guess that's tautological |
| 19:03:39 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 19:03:39 | <lyxia> | Thanks! |
| 19:03:46 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:06:26 | → | polo joins (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 19:11:40 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 19:16:35 | <dminuoso> | EvanR: technically that question is separate, but curiously related. |
| 19:17:02 | <dminuoso> | So before 9.0 we had Int8# too, but it was both unusable and b) mapped to Int# at the end anyway |
| 19:18:56 | <EvanR> | "unusable" ? |
| 19:19:05 | <dminuoso> | Virtually no primops existed to consume them |
| 19:19:32 | <dminuoso> | It was just internal stuff from old extensions if I correctly recall my previous discussion with AndreasK |
| 19:21:02 | <AndreasK> | More or less |
| 19:22:03 | <dminuoso> | In the current GHC we actually track the width until CMM, but I think on x86 this has no relevance since you cannot rename subregisters |
| 19:22:12 | <dminuoso> | Not sure about other architectures |
| 19:23:37 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 19:24:02 | <geekosaur> | wasn't the whole length thing in 9.2+ because of apple's variant aarch64 abi? |
| 19:24:18 | <dminuoso> | Well I guess it does positively impact code size as well, if we can emit machine code to use AX or AL |
| 19:25:16 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 19:25:40 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 19:26:18 | <AndreasK> | Afaik the smallest encodings on x86-64 tend to be 32-bit ones and you run into issues with partial register stalls |
| 19:26:41 | <AndreasK> | Operating on 8 bit values isn't great. But for data structures and such it's beneficial |
| 19:27:47 | × | Guest75 quits (~Guest75@178.141.177.81) (Quit: Client closed) |
| 19:30:20 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 19:35:37 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:39:14 | → | `2jt joins (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 19:44:07 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 19:45:02 | × | polo quits (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:45:30 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 19:45:37 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:55:27 | × | abhiroop_ quits (~abhiroop@ext-1-450.eduroam.chalmers.se) (Quit: Konversation terminated!) |
| 19:55:31 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7137a91cc0b0087e9762ec4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:04:03 | → | polo joins (~polo@216-151-180-141.jfk.as54203.net) |
| 20:04:15 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7137a22cc0b0087e9762ec4.dip0.t-ipconnect.de) |
| 20:04:27 | polo | is now known as Guest7322 |
| 20:05:29 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 20:08:01 | ham2 | is now known as ham |
| 20:09:24 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 20:09:25 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 20:10:04 | × | Guest7322 quits (~polo@216-151-180-141.jfk.as54203.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 20:10:26 | → | Cerins joins (~Cerins@balticom-142-106-43.balticom.lv) |
| 20:12:06 | × | Cerins quits (~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection) |
| 20:18:57 | <probie> | Re: 8-bit Word8 and Int8. It came in 9.2. I remember because it immediately exposed a bug with the native code gen for arm |
| 20:19:20 | <probie> | s/9.2/9.4/ |
| 20:20:44 | <probie> | https://gitlab.haskell.org/ghc/ghc/-/issues/22282 |
| 20:26:45 | × | mmhat quits (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:33:34 | × | thegeekinside quits (~thegeekin@189.180.92.220) (Ping timeout: 260 seconds) |
| 20:36:46 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 20:40:21 | → | mmhat joins (~mmh@p200300f1c70f4134ee086bfffe095315.dip0.t-ipconnect.de) |
| 20:40:53 | <EvanR> | "Angermann" is such a great person to respond to stuff like this |
| 20:41:31 | <EvanR> | ghc generates broken code, this is a job for anger man |
| 20:42:50 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 20:43:11 | → | pavonia joins (~user@user/siracusa) |
| 20:43:19 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:44:29 | → | ft joins (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 20:46:24 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 20:46:53 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 20:49:02 | → | jargon joins (~jargon@184.101.188.35) |
| 20:53:03 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:53:28 | → | Volt_ joins (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) |
| 20:58:50 | <AndreasK> | haha |
| 21:00:39 | <geekosaur> | I've had that thought more than a few times myself |
| 21:08:01 | → | zeenk joins (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 21:08:42 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:09:02 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 21:11:37 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:13:15 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 21:13:40 | × | ft quits (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 21:14:57 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:15:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:15:13 | → | ft joins (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 21:16:46 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Read error: Connection reset by peer) |
| 21:22:44 | × | Philonous quits (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 21:23:15 | → | Philonous joins (~Philonous@user/philonous) |
| 21:23:51 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:24:08 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 21:26:04 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:27:02 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 21:27:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 21:29:10 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:30:09 | → | thegeekinside joins (~thegeekin@189.180.89.133) |
| 21:31:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 21:31:55 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 21:35:01 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 21:35:12 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 21:35:30 | → | jinsun joins (~jinsun@user/jinsun) |
| 21:43:06 | → | gmg joins (~user@user/gehmehgeh) |
| 21:44:09 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 21:47:54 | → | nate4 joins (~nate@98.45.169.16) |
| 21:51:43 | → | titibandit joins (~titibandi@xdsl-87-78-8-6.nc.de) |
| 21:52:19 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 21:56:16 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 21:56:59 | × | `2jt quits (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 22:00:52 | × | kuribas quits (~user@ptr-17d51eo35w1t0olsz1l.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 22:01:27 | → | polo___ joins (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 22:05:31 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:05:50 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:06:19 | → | gmg joins (~user@user/gehmehgeh) |
| 22:06:26 | × | polo___ quits (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 22:09:17 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:09:39 | → | caryhartline joins (~caryhartl@2603-8080-6a0e-8d88-f17d-11d4-8563-7e31.res6.spectrum.com) |
| 22:10:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:11:19 | → | machinedgod joins (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 22:13:15 | → | polo joins (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 22:15:04 | × | thegeekinside quits (~thegeekin@189.180.89.133) (Ping timeout: 260 seconds) |
| 22:15:18 | × | Guest75 quits (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 22:15:34 | × | polo quits (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 22:17:54 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 22:18:58 | × | irrgit quits (~irrgit@89.47.234.26) (Quit: Leaving) |
| 22:19:32 | → | thegeekinside joins (~thegeekin@189.180.56.84) |
| 22:22:55 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 22:25:17 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:25:34 | × | thyriaen_ quits (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) (Remote host closed the connection) |
| 22:28:50 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 22:39:22 | × | zeenk quits (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 22:40:11 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 22:53:43 | × | king_gs quits (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 252 seconds) |
| 22:54:16 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 22:56:18 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 22:57:34 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 22:57:39 | × | machinedgod quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds) |
| 22:57:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 22:58:22 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 22:58:46 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:59:12 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:00:29 | davetapley_ | is now known as davetapley |
| 23:00:51 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:01:26 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 23:01:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:01:49 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 23:01:57 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:03:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 23:03:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:05:24 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 23:07:34 | → | king_gs joins (~Thunderbi@187.201.139.206) |
| 23:09:12 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 23:09:49 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:12:53 | × | caryhartline quits (~caryhartl@2603-8080-6a0e-8d88-f17d-11d4-8563-7e31.res6.spectrum.com) (Quit: caryhartline) |
| 23:15:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 23:15:09 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 23:15:09 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 23:15:09 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Write error: Connection reset by peer) |
| 23:15:09 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Read error: Connection reset by peer) |
| 23:15:40 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 23:15:46 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 23:16:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:16:24 | × | Topsi quits (~Topsi@ipb218f772.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 23:16:54 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 23:17:46 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:18:54 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:19:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:24:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 23:25:02 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 23:27:32 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7137a22cc0b0087e9762ec4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 23:27:56 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7137a22148497ca67644ae3.dip0.t-ipconnect.de) |
| 23:33:43 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:36:03 | → | king_gs1 joins (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 23:36:35 | × | king_gs quits (~Thunderbi@187.201.139.206) (Read error: Connection reset by peer) |
| 23:36:35 | king_gs1 | is now known as king_gs |
| 23:38:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 23:41:10 | × | king_gs quits (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 260 seconds) |
| 23:41:20 | → | king_gs1 joins (~Thunderbi@187.201.139.206) |
| 23:43:37 | king_gs1 | is now known as king_gs |
| 23:44:56 | → | polo_ joins (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 23:49:48 | → | kaskal- joins (~kaskal@089144200035.atnat0009.highway.a1.net) |
| 23:50:33 | × | kaskal quits (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) (Ping timeout: 246 seconds) |
| 23:53:03 | × | polo_ quits (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 23:53:03 | → | polo_ joins (~polo@user/polo) |
All times are in UTC on 2022-11-09.