Logs on 2023-01-01 (liberachat/#haskell)
| 00:00:48 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 00:11:05 | → | foul_owl joins (~kerry@71.212.143.88) |
| 00:12:03 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 00:13:54 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 00:19:29 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 260 seconds) |
| 00:26:49 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 00:31:03 | → | cheater_ joins (~Username@user/cheater) |
| 00:31:06 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 00:31:50 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 00:31:58 | cheater_ | is now known as cheater |
| 00:34:28 | → | Cerins joins (~Cerins@balticom-142-106-43.balticom.lv) |
| 00:34:37 | × | Cerins quits (~Cerins@balticom-142-106-43.balticom.lv) (Read error: Connection reset by peer) |
| 00:43:05 | → | Techcable joins (~Techcable@user/Techcable) |
| 00:44:20 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 00:44:40 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 00:44:40 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 00:46:18 | × | Guest9971 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 00:49:08 | → | fizbin joins (~fizbin@user/fizbin) |
| 00:51:10 | → | freeside joins (~mengwong@103.252.202.159) |
| 00:54:03 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 00:54:08 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 00:55:34 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 00:57:30 | → | freeside joins (~mengwong@103.252.202.159) |
| 00:58:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 01:01:56 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 01:03:18 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 01:04:24 | × | foul_owl quits (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
| 01:10:10 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:49 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 01:16:18 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:16:52 | → | thongpv87 joins (~thongpv87@14.246.240.163) |
| 01:18:03 | → | foul_owl joins (~kerry@157.97.134.156) |
| 01:18:05 | × | thongpv quits (~thongpv87@2402:9d80:3aa:567:9ad9:5c2:cc9b:b1e7) (Read error: Connection reset by peer) |
| 01:18:35 | → | bjourne joins (~bjorn@94.191.136.147.mobile.tre.se) |
| 01:23:53 | × | acidjnk quits (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:24:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 01:25:32 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 01:26:25 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:27:43 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 01:28:46 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:39:05 | → | cheater_ joins (~Username@user/cheater) |
| 01:41:24 | → | infinity0 joins (~infinity0@pwned.gg) |
| 01:42:21 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 01:42:31 | cheater_ | is now known as cheater |
| 01:47:42 | × | hyperbolic-dg quits (~quassel@i577AA562.versanet.de) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 01:51:42 | → | Feuermagier_ joins (~Feuermagi@216.24.213.221) |
| 01:52:46 | → | notzmv- joins (~zmv@user/notzmv) |
| 01:53:57 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 01:54:25 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 01:58:45 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 02:02:16 | × | Feuermagier_ quits (~Feuermagi@216.24.213.221) (Quit: Leaving) |
| 02:02:56 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 02:04:07 | → | anpad joins (~pandeyan@user/anpad) |
| 02:12:13 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 02:13:07 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 02:23:50 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 02:29:59 | → | fizbin joins (~fizbin@user/fizbin) |
| 02:31:07 | × | bjourne quits (~bjorn@94.191.136.147.mobile.tre.se) (Read error: Connection reset by peer) |
| 02:34:00 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 02:36:39 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 02:41:41 | → | freeside joins (~mengwong@103.252.202.159) |
| 02:44:38 | → | razetime joins (~Thunderbi@49.207.194.134) |
| 02:45:18 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 02:45:41 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 02:50:01 | × | notzmv- quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 02:57:23 | → | ddellacosta joins (~ddellacos@143.244.47.81) |
| 02:59:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 03:06:16 | → | v0id_ptr joins (~adrift@user/ptr-frac7al/x-0038398) |
| 03:06:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:06:18 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:06:18 | finn_elija | is now known as FinnElija |
| 03:13:38 | → | thongpv joins (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) |
| 03:14:29 | × | thongpv87 quits (~thongpv87@14.246.240.163) (Ping timeout: 260 seconds) |
| 03:15:38 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:17:02 | × | td_ quits (~td@83.135.9.29) (Ping timeout: 272 seconds) |
| 03:18:23 | → | td_ joins (~td@83.135.9.35) |
| 03:20:11 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 03:23:29 | → | thongpv87 joins (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) |
| 03:24:26 | × | thongpv quits (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) (Ping timeout: 246 seconds) |
| 03:26:30 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 03:28:14 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 03:28:48 | → | notzmv joins (~zmv@user/notzmv) |
| 03:34:46 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 03:37:18 | × | shriekingnoise quits (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
| 03:37:46 | × | Batzy quits (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 03:39:06 | → | Batzy joins (~quassel@user/batzy) |
| 03:39:11 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 03:46:35 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 03:52:45 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 268 seconds) |
| 03:52:53 | → | shriekingnoise joins (~shrieking@186.137.167.202) |
| 03:56:53 | × | tremon quits (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 03:58:49 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 03:59:09 | → | shriekingnoise_ joins (~shrieking@186.137.167.202) |
| 03:59:28 | × | shriekingnoise quits (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
| 04:00:19 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 04:00:35 | → | freeside joins (~mengwong@103.252.202.159) |
| 04:00:42 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:01:49 | × | shriekingnoise_ quits (~shrieking@186.137.167.202) (Client Quit) |
| 04:02:02 | → | tvandinther joins (~tvandinth@114.23.205.77) |
| 04:04:18 | <tvandinther> | Hi, quick question. With `CmdSpec` when I create a command with `ShellCommand $ unwords ["echo", "$PATH"]` it executes as expected by substituting the variable in the shell. But if I use `RawCommand $ "echo" ["$PATH"]` then it doesn't substitute producing the output `$PATH`. Any ideas why the behaviour is different? |
| 04:05:01 | <tvandinther> | correction: `RawCommand "echo" ["$PATH"]` |
| 04:08:32 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 04:18:11 | → | cheater_ joins (~Username@user/cheater) |
| 04:21:44 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 04:21:47 | cheater_ | is now known as cheater |
| 04:24:47 | × | tvandinther quits (~tvandinth@114.23.205.77) (Quit: Client closed) |
| 04:28:36 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 04:32:08 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 04:33:49 | × | ddellacosta quits (~ddellacos@143.244.47.81) (Ping timeout: 256 seconds) |
| 04:36:00 | × | thongpv87 quits (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) (Read error: Connection reset by peer) |
| 04:46:38 | → | cheater_ joins (~Username@user/cheater) |
| 04:47:08 | <mauke> | because variable substitution is a feature of the shell |
| 04:47:36 | <mauke> | if the shell is not involved, no variables are substituted |
| 04:48:51 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 04:48:53 | cheater_ | is now known as cheater |
| 04:53:26 | × | Everything quits (~Everythin@46.185.124.170) (Quit: leaving) |
| 04:56:26 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:01:37 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 05:11:04 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 05:11:51 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 05:22:50 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:23:15 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 05:23:34 | → | EvanR joins (~EvanR@user/evanr) |
| 05:38:25 | → | thongpv87 joins (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) |
| 05:40:14 | × | Kaipii quits (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 05:52:59 | × | phma quits (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) (Read error: Connection reset by peer) |
| 05:53:24 | → | phma joins (~phma@host-67-44-208-169.hnremote.net) |
| 06:08:25 | → | notzmv joins (~zmv@user/notzmv) |
| 06:17:43 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 06:21:48 | × | phma quits (~phma@host-67-44-208-169.hnremote.net) (Read error: Connection reset by peer) |
| 06:22:12 | → | phma joins (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) |
| 06:25:49 | × | v0id_ptr quits (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
| 06:37:24 | × | johnjaye quits (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
| 06:38:51 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 06:39:01 | → | johnjaye joins (~pi@173.209.64.74) |
| 06:40:26 | × | phma quits (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) (Read error: Connection reset by peer) |
| 06:41:15 | → | phma joins (~phma@host-67-44-208-104.hnremote.net) |
| 06:43:19 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 06:45:46 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 06:53:35 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 06:54:40 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 07:07:49 | → | johnw joins (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
| 07:08:09 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 07:08:23 | → | jwiegley joins (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
| 07:08:34 | × | thongpv87 quits (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) (Read error: Connection reset by peer) |
| 07:13:16 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 07:24:02 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 07:26:11 | → | cheater_ joins (~Username@user/cheater) |
| 07:26:40 | → | freeside joins (~mengwong@103.252.202.159) |
| 07:27:42 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 07:29:29 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 07:29:36 | cheater_ | is now known as cheater |
| 07:31:38 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 07:33:31 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 07:44:38 | → | freeside joins (~mengwong@103.252.202.159) |
| 07:52:21 | → | v0id_ptr joins (~adrift@user/ptr-frac7al/x-0038398) |
| 07:52:52 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 08:21:47 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 08:21:51 | → | kenran joins (~user@user/kenran) |
| 08:22:24 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 08:43:02 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 08:48:16 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 08:55:05 | → | freeside joins (~mengwong@103.252.202.159) |
| 09:04:59 | × | mei quits (~mei@user/mei) (Ping timeout: 264 seconds) |
| 09:05:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:25:39 | → | benali joins (~nasser@131.170.239.11) |
| 09:26:21 | × | razetime quits (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
| 09:27:56 | <benali> | hey, which one should I use stack or cabal? |
| 09:28:37 | <Jadesheit[m]> | try both, see what you like better |
| 09:28:52 | <sclv> | i recommend cabal |
| 09:31:05 | <benali> | I had bad experience with stack in the past :( |
| 09:32:45 | → | cheater_ joins (~Username@user/cheater) |
| 09:35:26 | → | mei joins (~mei@user/mei) |
| 09:35:32 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 09:35:40 | cheater_ | is now known as cheater |
| 09:37:41 | → | instantaphex joins (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 09:42:05 | × | instantaphex quits (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 09:43:52 | <Jadesheit[m]> | me too which is why I use cabal nowadays |
| 09:43:55 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 09:45:04 | → | acidjnk joins (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) |
| 09:47:32 | <maerwald> | benali: cabal |
| 09:47:53 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 09:56:05 | → | thongpv87 joins (~thongpv87@2402:9d80:3e6:e30e:d1ec:9bf2:ae21:f5c4) |
| 09:56:17 | → | biberu joins (~biberu@user/biberu) |
| 10:01:41 | × | benali quits (~nasser@131.170.239.11) (Ping timeout: 246 seconds) |
| 10:03:50 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:06:14 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 10:10:09 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:13:41 | → | Guest4496 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:16:44 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 10:19:00 | → | Kaipii joins (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 10:20:56 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 10:25:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 10:26:46 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 10:31:31 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 10:32:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 10:32:53 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:33:05 | → | benali joins (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) |
| 10:35:26 | × | v0id_ptr quits (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 268 seconds) |
| 10:40:47 | → | gurkenglas joins (~gurkengla@84.138.199.46) |
| 10:44:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:44:49 | → | titibandit joins (~titibandi@xdsl-89-0-163-79.nc.de) |
| 10:50:28 | <eldritchcookie[4> | personally i use cabal with hpack |
| 10:55:35 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 11:06:55 | × | sooch_ quits (sid533113@id-533113.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:09:30 | × | gurkenglas quits (~gurkengla@84.138.199.46) (Ping timeout: 272 seconds) |
| 11:11:34 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 11:21:31 | × | benali quits (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) (Quit: Lost terminal) |
| 11:28:41 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:35:34 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 11:35:35 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:40:49 | → | igghibu joins (~igghibu@37.120.201.86) |
| 11:49:43 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 11:52:25 | <eldritchcookie[4> | i am trying to define my own library for parameterised Monads/Applicatives and i have two functions that assume Applicative (f q r) and just lift a value via the f q r instance's pure and then discard it to manipulate the q r one changes q and the other r, i then created 2 more general version that take a lifter and a Paramterized applicative value and manipulate q and r |
| 11:53:55 | <eldritchcookie[4> | the second couple needs rankNtypes as i need to pass a dummy value to (liftPA2 const) but i could use undefined and use normal rank 1 types how can i be sure that i won't create a runtime error |
| 11:57:10 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:58:40 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 12:01:29 | → | razetime joins (~Thunderbi@49.207.194.134) |
| 12:01:41 | → | dextaa2 joins (~DV@user/dextaa) |
| 12:04:04 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 12:04:14 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 268 seconds) |
| 12:04:14 | dextaa2 | is now known as dextaa |
| 12:05:54 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 12:08:31 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 12:10:05 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 12:12:03 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
| 12:17:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Ping timeout: 255 seconds) |
| 12:29:14 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 12:39:06 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 12:40:04 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 12:47:07 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
| 12:51:45 | → | Guest51 joins (~Guest51@176.122.105.141) |
| 12:52:22 | × | Guest51 quits (~Guest51@176.122.105.141) (Client Quit) |
| 12:55:31 | <lyxia> | eldritchcookie[4: it's hard to understand the problem but do you know about Proxy |
| 12:57:39 | <eldritchcookie[4> | yes but i forgot to consider that option thank you |
| 13:28:20 | × | Luj3 quits (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 13:30:38 | → | Luj3 joins (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) |
| 13:34:44 | × | Luj3 quits (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) (Client Quit) |
| 13:39:07 | → | Luj3 joins (~Luj@2a01:e0a:5f9:9681:b50a:fe5:ba94:4ae) |
| 13:42:24 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 13:48:05 | × | titibandit quits (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
| 13:54:46 | → | Guest4496 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 13:56:32 | × | jespada quits (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 246 seconds) |
| 14:01:37 | → | jespada joins (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 14:06:19 | × | razetime quits (~Thunderbi@49.207.194.134) (Ping timeout: 252 seconds) |
| 14:12:05 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 14:16:13 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 14:21:04 | → | bgt32 joins (~keutoi@223.182.38.84) |
| 14:22:20 | → | AlexNoo_ joins (~AlexNoo@178.34.150.228) |
| 14:24:07 | <eldritchcookie[4> | wait proxy can have any type right? |
| 14:24:23 | × | AlexZenon quits (~alzenon@178.34.150.35) (Ping timeout: 260 seconds) |
| 14:24:34 | × | Alex_test quits (~al_test@178.34.150.35) (Ping timeout: 272 seconds) |
| 14:24:58 | <eldritchcookie[4> | (*>) (<*) both change the parameterized applicative type but require a value that they discard |
| 14:25:05 | <eldritchcookie[4> | i can just use proxy |
| 14:25:32 | × | AlexNoo quits (~AlexNoo@178.34.150.35) (Ping timeout: 246 seconds) |
| 14:28:39 | <eldritchcookie[4> | s/*>/\*\>/, s/<*/\<\*/ |
| 14:29:42 | → | ulvarrefr joins (~user@188.124.56.153) |
| 14:30:02 | <eldritchcookie[4> | nvm i can't |
| 14:30:40 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:32:24 | → | Alex_test joins (~al_test@178.34.150.228) |
| 14:34:56 | → | AlexZenon joins (~alzenon@178.34.150.228) |
| 14:40:01 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 14:42:37 | <eldritchcookie[4> | parameterized applicatives are like applicatives but can have changing type for instance i have a definition of liftPA2::(a -> b -> c) -> f p q a -> f q r b -> f p r c |
| 14:42:37 | <eldritchcookie[4> | how likely is doing (undefined *> f p q a) to throw an exception ? |
| 14:45:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:45:45 | × | Vajb quits (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) (Read error: Connection reset by peer) |
| 14:46:09 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 14:46:19 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 14:46:38 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 14:46:50 | <eldritchcookie[4> | the default implementation is discarded *> kept = liftPA2 (\_ y -> y) discarded kept |
| 14:47:15 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 14:48:51 | × | bgt32 quits (~keutoi@223.182.38.84) (Ping timeout: 252 seconds) |
| 14:52:43 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 14:52:56 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 14:53:12 | → | cheater_ joins (~Username@user/cheater) |
| 14:53:59 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 14:54:07 | cheater_ | is now known as cheater |
| 15:00:19 | → | Guest4496 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 15:00:46 | → | jinsun joins (~jinsun@user/jinsun) |
| 15:01:50 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 15:04:20 | → | hyperbolic-dg joins (~quassel@i577AA562.versanet.de) |
| 15:05:55 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 15:06:40 | → | cheater joins (~Username@user/cheater) |
| 15:09:18 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 15:10:18 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 15:11:44 | AlexNoo_ | is now known as AlexNoo |
| 15:11:55 | → | cheater_ joins (~Username@user/cheater) |
| 15:13:09 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 15:13:11 | cheater_ | is now known as cheater |
| 15:16:23 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 15:18:30 | → | titibandit joins (~titibandi@xdsl-89-0-163-79.nc.de) |
| 15:19:48 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 15:20:00 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 15:20:00 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Client Quit) |
| 15:20:05 | → | jinsun joins (~jinsun@user/jinsun) |
| 15:20:34 | → | razetime joins (~Thunderbi@49.207.194.134) |
| 15:21:44 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 15:31:15 | → | cheater_ joins (~Username@user/cheater) |
| 15:32:59 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 15:34:38 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:34:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 15:34:50 | cheater_ | is now known as cheater |
| 15:35:43 | × | titibandit quits (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 15:36:52 | → | titibandit joins (~titibandi@xdsl-89-0-163-79.nc.de) |
| 15:39:20 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 15:39:37 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 15:43:09 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Client Quit) |
| 15:43:29 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 15:49:26 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 15:55:44 | → | nft_slut joins (~user@50-110-204-205.mrbg.wv.frontiernet.net) |
| 16:05:43 | → | coot joins (~coot@213.134.171.3) |
| 16:06:05 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 16:06:18 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 16:07:24 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 16:07:54 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 16:07:56 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 16:08:47 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 16:09:09 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:12:50 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:13:15 | → | raym joins (~ray@user/raym) |
| 16:17:21 | → | bjourne joins (~bjorn@94.191.136.147.mobile.tre.se) |
| 16:19:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 16:22:08 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:24:06 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 16:24:23 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 16:24:36 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 16:31:07 | × | acidjnk quits (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 16:36:36 | → | sh1n joins (~sh1n@181.229.121.151) |
| 16:37:45 | → | cheater_ joins (~Username@user/cheater) |
| 16:37:52 | × | Profpatsch quits (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.7.1) |
| 16:40:52 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 16:41:01 | cheater_ | is now known as cheater |
| 16:41:41 | → | __monty__ joins (~toonn@user/toonn) |
| 16:44:22 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 16:45:28 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:47:07 | → | dolio joins (~dolio@130.44.134.54) |
| 16:50:20 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 16:51:40 | → | dolio joins (~dolio@130.44.134.54) |
| 16:51:48 | → | Guest4496 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:58:28 | × | razetime quits (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
| 16:58:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
| 17:02:05 | → | icebreaker joins (~icebreake@user/icebreaker) |
| 17:02:30 | ← | icebreaker parts (~icebreake@user/icebreaker) () |
| 17:06:24 | × | Kaipii quits (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 17:06:28 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 17:06:57 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:07:23 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 17:08:39 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 17:09:39 | → | Kaipii joins (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 17:18:58 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 17:26:50 | <eldritchcookie[4> | just so i don't waste my time is there any library which has a useful function that accepts 2 different callbacks in the same function? i mean something of the form (a -> m b) -> (c -> m d) -> m e |
| 17:30:19 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 17:32:17 | → | freeside joins (~mengwong@103.252.202.159) |
| 17:32:21 | × | titibandit quits (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
| 17:34:43 | <ncf> | what should it do with the callbacks? |
| 17:35:48 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 17:36:21 | <eldritchcookie[4> | anything, as long as it calls them, i am turning functions of type f ->(a ->b -> m c) -> m d into f -> ContT m d c (a,b) |
| 17:37:52 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:39:43 | → | stef204 joins (~stef204@user/stef204) |
| 17:41:13 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Remote host closed the connection) |
| 17:42:15 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 17:43:34 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 17:47:48 | <eldritchcookie[4> | basically i have a parameterized monad version of contT and want to use it to invert control when the types are different |
| 17:50:57 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 17:51:54 | → | econo joins (uid147250@user/econo) |
| 17:52:58 | → | cheater_ joins (~Username@user/cheater) |
| 17:56:13 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 17:56:15 | cheater_ | is now known as cheater |
| 17:58:50 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 17:59:33 | → | cheater_ joins (~Username@user/cheater) |
| 18:02:35 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 18:02:51 | cheater_ | is now known as cheater |
| 18:03:04 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 18:05:44 | → | freeside joins (~mengwong@103.252.202.159) |
| 18:08:45 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:2936:808f:4be4:4fc1) |
| 18:10:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:10:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:10:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:12:10 | → | cheater_ joins (~Username@user/cheater) |
| 18:12:16 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 18:12:24 | cheater_ | is now known as cheater |
| 18:13:50 | × | Kaipii quits (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds) |
| 18:15:40 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 18:16:46 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:17:07 | × | zer0bitz_ quits (~zer0bitz@196.244.192.54) () |
| 18:19:53 | → | zer0bitz joins (~zer0bitz@196.244.192.58) |
| 18:20:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:20:20 | → | Profpatsch joins (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 18:20:52 | <Profpatsch> | In the new random 1.2, what’s the easiest way to generate a list of characters between a–zA–Z0–9 |
| 18:21:10 | → | califax joins (~califax@user/califx) |
| 18:21:26 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 246 seconds) |
| 18:24:36 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 18:26:43 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 18:28:53 | <eldritchcookie[4> | is there a recommended heterogeneous list GADT? |
| 18:29:52 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 18:30:35 | → | Guest4496 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 18:30:47 | → | titibandit joins (~titibandi@xdsl-89-0-163-79.nc.de) |
| 18:31:57 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.7.1) |
| 18:34:14 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 18:36:44 | → | freeside joins (~mengwong@103.252.202.159) |
| 18:37:15 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 18:37:37 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:40:26 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 18:44:13 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 18:48:09 | × | Guest4496 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 18:49:00 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 18:54:51 | → | cheater joins (~Username@user/cheater) |
| 18:56:29 | <monochrom> | Profpatsch: You can still use randomRs (0, 61) and map 0-61 to a-zA-Z0-9. |
| 18:56:49 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 19:00:01 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 19:02:22 | → | cheater joins (~Username@user/cheater) |
| 19:05:43 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 19:08:59 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 19:09:00 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 19:09:00 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:09:21 | → | califax joins (~califax@user/califx) |
| 19:09:42 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:10:04 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 19:10:17 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 19:15:18 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 19:17:13 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 19:19:25 | → | Guest9971 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:20:29 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 19:21:39 | <Profpatsch> | monochrom: yeah I did something like that, thanks |
| 19:22:07 | → | Feuermagier_ joins (~Feuermagi@213.149.82.60) |
| 19:22:14 | <Profpatsch> | create a list of all things I wanted, then create a list of random indexes & index into the list of chars |
| 19:22:29 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 19:22:33 | <[exa]> | eldritchcookie[4: depends on how much heterogeneity you want; existentias are generally the way to go (haskell wiki should have some related reading material) |
| 19:22:46 | <[exa]> | *existentiaLs |
| 19:24:00 | <[exa]> | eldritchcookie[4: anyway re the "2 callbacks", that's a pretty common pattern, even the standard `bracket` is kinda like 2 callbacks (one without parameters tho) |
| 19:24:01 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 19:24:37 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds) |
| 19:25:09 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 19:25:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 19:25:42 | → | pwug joins (~pwug@user/pwug) |
| 19:26:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:33:23 | × | ByronJohnson quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
| 19:35:14 | → | ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 19:35:49 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 19:38:48 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 19:40:56 | <eldritchcookie[4> | i don't want to deal with existential types as i don't want to lose type information. guess i will define my own GADT and then whenever ghc starts shipping with a Heterogeneous list use that |
| 19:42:07 | → | Vajb joins (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) |
| 19:44:37 | <geekosaur> | um. ghc usually goes for shipping less with instead of more, because anything shipped with ghc is effectively frozen and can only be upgraded by upgrading ghc |
| 19:45:01 | <geekosaur> | so waiting for something to be shipped with ghc is literally a losing proposition |
| 19:45:57 | <[exa]> | eldritchcookie[4: btw how would you avoid losing the type information? unless you store say complete type representations you can't have that easily; and type representations can be stored by making an existential that just packs some Generic-ish interface |
| 19:46:59 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 19:48:45 | <davean> | Yah I'm really curious what he things it looks like to work with a hetreogenious list without losing type information' |
| 19:53:17 | → | fizbin joins (~fizbin@user/fizbin) |
| 19:53:32 | <EvanR> | heterolist as such usually keeps type information |
| 19:53:51 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 19:54:03 | <EvanR> | by having the type of everything in the list in the type |
| 19:56:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) |
| 19:58:14 | <EvanR> | a basic list of existential-like type (all the same) is something else |
| 20:03:57 | <davean> | I mean ok if thats what he means theres like vynl |
| 20:04:09 | <davean> | but I wouldn't actually call that a hetrolist |
| 20:04:36 | <davean> | (Its distinctly finite) |
| 20:06:01 | → | _leo92_ joins (~emmanuelu@user/emmanuelux) |
| 20:08:35 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 20:12:54 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 20:17:58 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 20:21:29 | → | acidjnk joins (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) |
| 20:21:47 | × | _leo92_ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 20:22:20 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:24:42 | × | pwug quits (~pwug@user/pwug) (Remote host closed the connection) |
| 20:25:42 | <EvanR> | yeah extensible records without the field names is basically a heterolist |
| 20:25:49 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 256 seconds) |
| 20:26:26 | <EvanR> | as far as infinite vs finite, your boring old list is actually finite in Idris |
| 20:26:30 | <davean> | hetrosequence I'd agree on, the potentially non-finiteness is personally important to me about lists. |
| 20:26:38 | × | titibandit quits (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 20:26:42 | <davean> | Yah, thus Idris lacks lists to me :-p |
| 20:26:44 | <EvanR> | there's a separate type for potentially infinite list |
| 20:27:12 | <davean> | I don't know that I'm right, but thats a core destinction for a list vs. other sequence to me |
| 20:27:37 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
| 20:28:15 | <EvanR> | on andre bauers blog somewhere he calls a mapping from some finite set a listing |
| 20:29:47 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 20:31:10 | → | pwug joins (~pwug@user/pwug) |
| 20:31:29 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:33:01 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:34:10 | <dolio> | Being potentially infinite is definitely not an essential characteristic of lists, generally. |
| 20:35:12 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 20:35:23 | <dolio> | It's handy in Haskell, though. |
| 20:37:26 | <davean> | dolio: See, I'd qualify all those other ones as different sorts of sequences |
| 20:37:35 | <davean> | I think there are a lot of types of sequences |
| 20:38:10 | → | Techcable joins (~Techcable@user/Techcable) |
| 20:41:15 | × | Feuermagier_ quits (~Feuermagi@213.149.82.60) (Quit: Leaving) |
| 20:43:18 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 20:45:41 | <dolio> | I suppose one could argue over whether the inductive definition actually matches historical notions of 'list,' since you can make circular lists with mutation. |
| 20:45:51 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 20:46:20 | <dolio> | Which are kind of infinite, although they don't cover all possible infinite values. |
| 20:49:28 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 20:49:28 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 20:49:34 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 20:50:04 | → | nckx joins (~nckx@tobias.gr) |
| 20:53:20 | × | sympt quits (~sympt@user/sympt) (Ping timeout: 268 seconds) |
| 20:55:35 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 20:56:19 | → | freeside joins (~mengwong@103.252.202.159) |
| 20:59:34 | → | cheater_ joins (~Username@user/cheater) |
| 21:01:08 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:01:51 | → | cheater__ joins (~Username@user/cheater) |
| 21:02:12 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 21:02:15 | cheater__ | is now known as cheater |
| 21:02:39 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
| 21:03:29 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 21:05:14 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 21:05:43 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) (Ping timeout: 260 seconds) |
| 21:15:44 | → | freeside joins (~mengwong@103.252.202.159) |
| 21:26:14 | × | pwug quits (~pwug@user/pwug) (Quit: Leaving) |
| 21:27:13 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 21:31:44 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 21:33:19 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:33:25 | × | Guest9971 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 21:42:15 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 21:43:37 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 21:45:08 | → | Guest9971 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:47:12 | → | sympt joins (~sympt@user/sympt) |
| 21:47:44 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 21:48:33 | <igghibu> | hi all, happy new year :) I'm learning haskell with G Hutton book and I'm having difficulties with this list comprehension exercise: https://paste.tomsmeding.com/ClOaunRr -- the question is in the paste. help and pointers appreciated <3 |
| 21:52:04 | <c_wraith> | igghibu: use pattern matching |
| 21:52:04 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 21:52:08 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:52:18 | <stefan-_> | igghibu, (x, y) <- grid n n |
| 21:52:18 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 21:54:12 | <geekosaur> | igghibu, I think you have a misconfigured client, it's sending a play command to the channel instead of running it |
| 21:54:13 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 21:54:24 | <igghibu> | sorry |
| 21:54:27 | <igghibu> | will fix |
| 21:54:30 | <igghibu> | now |
| 21:55:38 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 21:56:10 | × | acidjnk quits (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:57:10 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 21:58:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 21:59:23 | × | mizlan quits (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 21:59:36 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 22:00:01 | × | bjourne quits (~bjorn@94.191.136.147.mobile.tre.se) (Quit: Konversation terminated!) |
| 22:02:50 | <igghibu> | stefan-_: test? |
| 22:03:04 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 22:03:16 | <stefan-_> | igghibu, test |
| 22:03:27 | <igghibu> | yay! |
| 22:03:28 | <stefan-_> | :) |
| 22:05:12 | × | jwiegley quits (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
| 22:05:12 | × | johnw quits (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
| 22:05:15 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 22:07:08 | <dsal> | @check \x -> x == 1 |
| 22:07:10 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
| 22:07:10 | <lambdabot> | 0 |
| 22:07:15 | <dsal> | oh no. My test failed. |
| 22:07:17 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 22:13:44 | <hololeap> | lambdabot does quickcheck? |
| 22:14:03 | <hololeap> | that's awesome |
| 22:14:55 | <dsal> | I think it has smallcheck, too. |
| 22:16:18 | <geekosaur> | I thought it did but didn't see it anywhere when writing the docs |
| 22:16:29 | <geekosaur> | wonder if that plugin got removed |
| 22:16:36 | → | acidjnk joins (~acidjnk@p200300d6e7137a577d241e14a75b8650.dip0.t-ipconnect.de) |
| 22:16:42 | <geekosaur> | @scheck |
| 22:16:42 | <lambdabot> | <unknown>.hs:1:1:Parse error: EOF |
| 22:16:51 | <geekosaur> | @small |
| 22:16:51 | <lambdabot> | Maybe you meant: spell smack |
| 22:17:21 | <eldritchcookie[4> | i am having problems with GADTs i am confused onj how to write a proof term that a certain type is a function with n arguments |
| 22:17:27 | <eldritchcookie[4> | s/onj/on/ |
| 22:18:18 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 22:20:02 | <igghibu> | good night all |
| 22:20:04 | × | igghibu quits (~igghibu@37.120.201.86) (Quit: igghibu) |
| 22:20:25 | <eldritchcookie[4> | good night |
| 22:24:10 | → | mizlan joins (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 22:25:58 | → | freeside joins (~mengwong@103.252.202.159) |
| 22:26:18 | × | sh1n quits (~sh1n@181.229.121.151) (Quit: leaving) |
| 22:26:30 | × | sympt quits (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
| 22:27:17 | <dsal> | @scheck \x -> x == True |
| 22:27:19 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
| 22:27:19 | <lambdabot> | False |
| 22:27:27 | → | sympt joins (~sympt@user/sympt) |
| 22:27:30 | <dsal> | @spell smack |
| 22:27:30 | <lambdabot> | smack |
| 22:27:33 | <dsal> | nice |
| 22:40:19 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 22:40:34 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 22:50:28 | → | cheater joins (~Username@user/cheater) |
| 22:57:12 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 23:02:38 | × | Guest9971 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 23:02:46 | <hololeap> | eldritchcookie[4: when you say N elements, is N a fixed value or are you trying to count it with type level programming? |
| 23:02:57 | <hololeap> | *n arguments |
| 23:04:27 | <eldritchcookie[4> | with type level programming if it were a fixed n i could just template haskell my way to victory |
| 23:04:30 | → | sh1n joins (~sh1n@181.229.121.151) |
| 23:04:47 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 23:04:51 | <hololeap> | what do you have so far? |
| 23:05:06 | × | sh1n quits (~sh1n@181.229.121.151) (Client Quit) |
| 23:05:23 | <eldritchcookie[4> | type ResultProof::Natural -> Type -> Type -> Type... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/98755511f3686891a1c20ade4e48307da8484028>) |
| 23:05:47 | <eldritchcookie[4> | but i can't make the recursive instance |
| 23:07:17 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 23:08:10 | <eldritchcookie[4> | if i try |
| 23:08:10 | <eldritchcookie[4> | instance IsFunctionClass n a r => IsFunctionClass (n+1) (b -> a) r where |
| 23:08:10 | <eldritchcookie[4> | isFunctionProof = ResultIsNext isFunctionProof |
| 23:08:44 | <eldritchcookie[4> | it complains about illegal type synonym family |
| 23:09:34 | <eldritchcookie[4> | and |
| 23:09:34 | <eldritchcookie[4> | instance IsFunctionClass (n-1) a r => IsFunctionClass n (b -> a) r where |
| 23:09:34 | <eldritchcookie[4> | isFunctionProof = ResultIsNext isFunctionProof |
| 23:10:01 | <eldritchcookie[4> | fails with not satisfying the liberal coverage condition |
| 23:12:13 | <hololeap> | are you trying to set the kind for `data ResultProof` using `type ResultProof` on a different line? maybe that's valid syntax but I haven't seen it before |
| 23:12:13 | <eldritchcookie[4> | https://paste.tomsmeding.com/X8U9pJrC |
| 23:12:39 | <eldritchcookie[4> | that is a standalone kind signature |
| 23:12:57 | <eldritchcookie[4> | the idea is that kind declarations mirror type declarrations |
| 23:13:41 | <hololeap> | oh, I've never used that extension before |
| 23:15:58 | <eldritchcookie[4> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/poly_kinds.html#extension-StandaloneKindSignatures the idea is to substitute CUSKs |
| 23:16:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:19:38 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:19:38 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:19:38 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:22:14 | <eldritchcookie[4> | wow amazing now i get can't match n with ((n - 1) + 1) |
| 23:22:35 | <geekosaur> | ghc doesn't really know how to do type level math |
| 23:22:58 | <hololeap> | ResultIsNext :: ResultProof n a r -> ResultProof (n+1) (v -> a) r |
| 23:23:31 | <hololeap> | so this looks like there is an implicit existential quantification on v, it isn't mentioned anywhere else |
| 23:23:31 | <eldritchcookie[4> | yes? |
| 23:23:32 | <geekosaur> | there are some plugins available that recognize type level math and add enough extra context so ghc can solve it. see natnormalize for example |
| 23:25:53 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:2936:808f:4be4:4fc1) (Quit: caryhartline) |
| 23:27:24 | <hololeap> | I'm not sure I'll be much help with this, it's a bit beyond my level :) |
| 23:28:01 | <eldritchcookie[4> | no problem :) |
| 23:28:04 | <hololeap> | I have played around with something similar in the past but my implementation was very different, and that was also a long time ago |
| 23:28:44 | <hololeap> | I have a hard time with FunctionalDependencies, for some reason |
| 23:30:06 | <eldritchcookie[4> | you can just ignore them just add the head on the context like instance Functor f=>Functor f where |
| 23:30:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds) |
| 23:31:37 | <eldritchcookie[4> | geekosaur i search for natnormalize and nat normalize on hackage and i didn't find it can you send a link? |
| 23:32:18 | <geekosaur> | turns out it's spelled britishly. https://hackage.haskell.org/package/ghc-typelits-natnormalise |
| 23:34:26 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 23:37:39 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 23:38:49 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 23:38:54 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:40:17 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:43:57 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 23:46:00 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 23:46:53 | <Profpatsch> | In GHCI, can I tell it to just enable hidden packages |
| 23:47:06 | <Profpatsch> | I hate having to modify the cabal file just to experiment with stuff |
| 23:47:42 | <geekosaur> | https://hackage.haskell.org/package/ghc-typelits-knownnat is another useful one |
| 23:48:23 | <geekosaur> | Profpatsch, there's no way to do it for all packages, no |
| 23:48:26 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:48:26 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:48:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:48:44 | <geekosaur> | you can enable a specific package with :set -package foo |
| 23:49:05 | <Profpatsch> | geekosaur: nice, that does it |
| 23:49:10 | <Profpatsch> | should be in the error message |
| 23:53:47 | <geekosaur> | I think it used to be, but the error message doesn't know if it's been triggered by ghci or compilation and randomly tossing -package options into ghc-options is a good way to break stack in particular |
| 23:54:34 | <Profpatsch> | how … could that brneak stack |
| 23:54:40 | <Profpatsch> | Unless you add it to .ghci |
| 23:54:58 | <geekosaur> | again, it does not know that it was invoked from ghci |
| 23:55:43 | <geekosaur> | it's the same error message whether you're using ghci, building with raw ghc, building with stack, building with cabal, etc. |
| 23:56:37 | <geekosaur> | it's less likely to happen with stack or cabal builds, but it can still happen and following a suggestion to use -package will have bad results in those cases |
| 23:57:28 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:57:33 | <Profpatsch> | What kind of error would happen? |
| 23:57:47 | <Profpatsch> | As far as I understand, ghc package databases only allow one packages of the same name |
| 23:58:15 | <geekosaur> | okay, forget I said anything. somehow we aren't even in the same book much less on the same page |
| 23:59:37 | <geekosaur> | (you said you wanted -package to be mentioned in the error message. I am talking about that error message. it is not a ghci-specific error message) |
| 23:59:50 | <Profpatsch> | It’s a GHC error message, no? |
| 23:59:53 | <geekosaur> | yes |
| 23:59:58 | <Profpatsch> | GHC uses ghc packages |
All times are in UTC on 2023-01-01.