| 2025-01-14 00:01:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 00:01:28 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:77c0:5b4e:4973:375e) (Read error: Connection reset by peer) |
| 2025-01-14 00:03:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 00:05:35 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2025-01-14 00:06:34 +0100 | Square | (~Square@user/square) Square |
| 2025-01-14 00:10:00 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-14 00:13:06 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 00:14:35 +0100 | mange | (~user@user/mange) mange |
| 2025-01-14 00:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:16:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 00:19:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:24:52 +0100 | <haskellbridge> | <Bowuigi> I find interesting the way you propose filter to be implemented, but no clue about the rest of the talk. A blog would help yeah |
| 2025-01-14 00:25:48 +0100 | euleritian | (~euleritia@dynamic-176-006-133-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 00:26:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 00:30:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:34:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 00:38:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 00:45:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 00:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 00:51:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 00:51:46 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-14 01:00:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:07:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 01:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:23:07 +0100 | rini | (~rini@user/rini) (Ping timeout: 252 seconds) |
| 2025-01-14 01:23:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 01:24:29 +0100 | sprotte24 | (~sprotte24@p200300d16f245c002d65884199a66258.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-14 01:31:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f35081469c6fc5c461d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-14 01:33:58 +0100 | rini | (~rini@user/rini) rini |
| 2025-01-14 01:39:00 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-14 01:42:11 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:42:27 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Remote host closed the connection) |
| 2025-01-14 01:42:52 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-14 01:45:07 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 01:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 01:50:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54) (Ping timeout: 248 seconds) |
| 2025-01-14 01:52:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:52:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:54:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 01:55:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:55:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 01:55:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-14 01:56:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 02:04:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:05:46 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-14 02:06:34 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-14 02:08:46 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 02:13:29 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:23:31 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 02:24:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-14 02:24:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 02:29:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 02:35:22 +0100 | otto_s | (~user@p5de2fe2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-14 02:35:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:37:02 +0100 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) |
| 2025-01-14 02:40:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-01-14 02:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 02:48:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-14 02:51:54 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-14 02:53:33 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-01-14 02:53:33 +0100 | JamesMowery4395 | JamesMowery439 |
| 2025-01-14 02:53:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 02:58:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 03:00:09 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-01-14 03:01:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 03:09:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:13:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:22:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-14 03:23:55 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-103.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-14 03:24:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:29:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 03:29:57 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-14 03:30:18 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:30:28 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 03:33:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-14 03:37:34 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 03:39:09 +0100 | <dmwit> | I have foo.c. I'd like cabal to be in charge of creating foo.so and making foo.so available, perhaps through the Paths_mypackagename mechanism. Can I convince it to do that somehow? (Directly linking with foo.o or foo.a isn't enough, as I am going to fork a separate program that wants this .so to be available.) |
| 2025-01-14 03:41:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-14 03:42:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 03:43:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 03:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:46:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:47:02 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-14 03:47:11 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#foreign-libraries with an empty list of Haskell modules? |
| 2025-01-14 03:47:16 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 03:48:07 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:50:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 03:51:39 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-01-14 03:51:57 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 03:54:49 +0100 | <dmwit> | Interesting. That will probably add in a linker dependency on the Haskell runtime but that might not be a problem. Let me play with it, thanks for the suggestion. |
| 2025-01-14 03:58:23 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:01:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:02:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 04:03:33 +0100 | <Guest5> | Hi, I’ve messed up my setup, which means no xmonad and no GUI. While updating, the Haskell packages didn’t want to update so I uninstalled them to reinstall them, but now they all fail (other than GHC) with “cannot satisfy -package gtk2hs-buildtools“. I tried “emerge —oneshot —nodeps gtk2hs-buildtools” but that failed with the same |
| 2025-01-14 04:03:34 +0100 | <Guest5> | error. I’d send a paste but I don’t have xmonad so I don’t have a GUI anymore |
| 2025-01-14 04:04:06 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 04:05:32 +0100 | <dmwit> | What tool are you using to install/uninstall packages? What does ghc-pkg list gtk2hs-buildtools say? |
| 2025-01-14 04:05:37 +0100 | <Guest5> | Of course haskell-updater didn’t work, I’m pretty sure it didn’t even try to build any packages |
| 2025-01-14 04:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 04:07:06 +0100 | <Guest5> | ghc-pkg list gtk2hs-buildtools says “no packages”, with the conf file being inside ~/.ghcup, which I didn’t know I had installed (maybe stack did that) |
| 2025-01-14 04:07:16 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-01-14 04:07:44 +0100 | <Guest5> | And to install packages system wide I use emerge, and I use stack or cabal per-project |
| 2025-01-14 04:08:14 +0100 | <dmwit> | Is it possible that emerge and stack/cabal are choosing different GHC versions/installations? |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-01-14 04:08:30 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-14 04:09:24 +0100 | <Guest5> | It is, I will uninstall GHC with emerge and see if there’s another system-wide one for Cabal hiding somewhere |
| 2025-01-14 04:09:49 +0100 | <dmwit> | ghcup tui will show you what's happening in ~/.ghcup for what it's worth |
| 2025-01-14 04:09:57 +0100 | Guest5 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:10:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | notzmv | (~umar@user/notzmv) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | avidseeker | (av@user/avidseeker) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (*.net *.split) |
| 2025-01-14 04:10:01 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | img | (~img@user/img) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | petrichor | (~znc-user@user/petrichor) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | zero | (~z@user/zero) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2025-01-14 04:10:02 +0100 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | foul_owl | (~kerry@185.203.219.80) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 2025-01-14 04:10:03 +0100 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2025-01-14 04:10:04 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-01-14 04:14:33 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:15:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-14 04:15:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 04:15:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-14 04:15:03 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-14 04:15:03 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 04:15:03 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-14 04:15:03 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2025-01-14 04:15:03 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-14 04:15:03 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:15:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-01-14 04:15:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-01-14 04:15:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-14 04:15:03 +0100 | Me-me | (~me-me@user/me-me) Me-me |
| 2025-01-14 04:15:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-14 04:15:03 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-14 04:15:03 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-14 04:15:03 +0100 | zero | (~z@user/zero) zero |
| 2025-01-14 04:15:03 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-14 04:15:03 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-01-14 04:15:03 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-01-14 04:15:03 +0100 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2025-01-14 04:15:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-14 04:15:03 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-01-14 04:15:03 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-01-14 04:15:03 +0100 | foul_owl | (~kerry@185.203.219.80) foul_owl |
| 2025-01-14 04:15:03 +0100 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-01-14 04:15:03 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-14 04:15:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 04:15:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-14 04:15:03 +0100 | ycp | (~znc@user/dragestil) dragestil |
| 2025-01-14 04:15:03 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-01-14 04:15:03 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-01-14 04:15:03 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-01-14 04:15:03 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-01-14 04:15:03 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-01-14 04:15:03 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2025-01-14 04:15:03 +0100 | mzg | (mzg@abusers.hu) |
| 2025-01-14 04:15:03 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-01-14 04:15:04 +0100 | img | (~img@user/img) (Max SendQ exceeded) |
| 2025-01-14 04:15:18 +0100 | <Guest57> | I got disconnected, did anyone say anything after 14:09? I am Guest5 |
| 2025-01-14 04:15:18 +0100 | img | (~img@user/img) img |
| 2025-01-14 04:16:36 +0100 | <Guest57> | Well, [current-hour]:09 |
| 2025-01-14 04:17:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:20:05 +0100 | <geekosaur> | nope |
| 2025-01-14 04:22:57 +0100 | <dmwit> | I told you that ghcup tui would tell you about what ghcup knows. |
| 2025-01-14 04:23:07 +0100 | <dmwit> | Not sure whether that was after :09 or not. |
| 2025-01-14 04:24:14 +0100 | <dmwit> | geekosaur: So I can see that foreign-library results in a library being built into dist-newstyle, but I'm not sure how I'm meant to access that library('s directory) from within my application. At the very least cabal hasn't added the directory to any environment variables. |
| 2025-01-14 04:24:19 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 04:24:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 04:24:38 +0100 | <Guest57> | ghcup tui says I have an install of stack, cabal, and 10 GHC versions |
| 2025-01-14 04:25:00 +0100 | <dmwit> | scary =P |
| 2025-01-14 04:25:17 +0100 | <geekosaur> | does it actually say they're installed, or just available? |
| 2025-01-14 04:25:46 +0100 | <Guest57> | Systemwide version is 9.8.2 and ghcup version is 9.4.8. I tried downgrading but didn’t work |
| 2025-01-14 04:26:01 +0100 | <Guest57> | Well, they don’t say anything, they’re just green |
| 2025-01-14 04:26:39 +0100 | <geekosaur> | ghcup won't know about the system-wide version, and having both will lead to confusion at best and brokenness at worst |
| 2025-01-14 04:26:42 +0100 | <geekosaur> | pick one |
| 2025-01-14 04:27:00 +0100 | <Guest57> | If two greens mean installed, then only GHC 9.4.8 is installed, along with stack and cabal |
| 2025-01-14 04:27:22 +0100 | <geekosaur> | two green checkmarks means it's the default |
| 2025-01-14 04:27:28 +0100 | <dmwit> | Two green checks means default, one means installed, zero means available. |
| 2025-01-14 04:27:33 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2025-01-14 04:28:07 +0100 | <geekosaur> | dmwit, I don't really know what happens after it's built, that's probably a #hackage question |
| 2025-01-14 04:28:21 +0100 | <Guest57> | Well, my problem is emerge failures, I don’t see how ghcup will affect those when I merge under root, which doesn’t have any of my local ghcup stuff in its path |
| 2025-01-14 04:28:32 +0100 | <dmwit> | Wow. That is not a channel I would have guessed. Okay, thanks. |
| 2025-01-14 04:28:43 +0100 | <geekosaur> | if you have a different ghc in your $PATH when you run emerge then things will get mixed up |
| 2025-01-14 04:29:01 +0100 | <geekosaur> | decide whether you are using emerge or ghcup, and get rid of the one you're not using |
| 2025-01-14 04:29:13 +0100 | <dmwit> | I wouldn't be too surprised if you have multiple versions installed even without considering what ghcup's done in $HOME |
| 2025-01-14 04:29:13 +0100 | <haskellbridge> | <maerwald> I don't think so |
| 2025-01-14 04:29:43 +0100 | <haskellbridge> | <maerwald> I'm pretty sure there's environment sanitization when emerge is run |
| 2025-01-14 04:29:54 +0100 | <haskellbridge> | <maerwald> Especially since it's not run as the user |
| 2025-01-14 04:31:26 +0100 | Guest57 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 04:33:47 +0100 | hueso | (~root@user/hueso) (Ping timeout: 244 seconds) |
| 2025-01-14 04:34:59 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 04:35:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:36:35 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-14 04:38:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 04:38:49 +0100 | <dmwit> | I mean I guess I don't really know what's going wrong. Perhaps you can find out a bit more about what emerge is doing with a --verbose or something? |
| 2025-01-14 04:39:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 04:42:34 +0100 | <Guest38> | All the logs say the same thing, that is, gtk2hs-buildtools couldn’t be found by the inner cabal that emerge uses. Of course, because it isn’t installed yet. I reinstalled cabal to see if that would change anything, but no luck |
| 2025-01-14 04:45:14 +0100 | <dmwit> | If you can find out what exact cabal command it's running, that might help explain why it believes it needs gtk2hs-buildtools. |
| 2025-01-14 04:45:36 +0100 | <dmwit> | That's a very unusual dependency, it should only be needed when installing things that depend on gtk2hs, which are bindings to a GUI library. |
| 2025-01-14 04:46:26 +0100 | <dmwit> | ...although if emerge and your shell are choosing different GHC versions, then the ghc-pkg command I suggested earlier will need to be tweaked. Can you try it again as root? ghc-pkg list gtk2hs-buildtools |
| 2025-01-14 04:46:54 +0100 | <dmwit> | (One hypothesis is that GHC's package database is broken; if it were, this might reveal that.) |
| 2025-01-14 04:47:44 +0100 | <dmwit> | (root or whatever user emerge runs as, I guess) |
| 2025-01-14 04:50:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 04:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 04:57:01 +0100 | avidseeker | (av@user/avidseeker) () |
| 2025-01-14 04:59:45 +0100 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-14 05:01:15 +0100 | <Guest38> | ‘ghc-pkg list’ with no package argument gives what looks like standard libraries such as base, binary, template-Haskell, parsec, mtl, and Cabal. There are more but I am on my phone so don’t want to type them out |
| 2025-01-14 05:02:35 +0100 | <dmwit> | If none of them say "broken" afterwards then that hypothesis is out. |
| 2025-01-14 05:02:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:03:17 +0100 | <dmwit> | At this point without the exact cabal command I don't think there's much folks here can do for you. |
| 2025-01-14 05:03:50 +0100 | <Guest38> | The command turned out to not be cabal, it was just ghc -hide-all-packages -package Cabal -package array … -package xhtml -package gtk2hs-buildtools —make … |
| 2025-01-14 05:04:43 +0100 | <Guest38> | The only packages listed here not in my ghc-pkg list are gtk2hs-buildtools and xhtml |
| 2025-01-14 05:04:57 +0100 | <dmwit> | Okay. What tool crafted this command line? |
| 2025-01-14 05:05:31 +0100 | <Guest38> | Never mind, xhtml is in the command line |
| 2025-01-14 05:05:47 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) saulosilva |
| 2025-01-14 05:06:34 +0100 | <Guest38> | Probably cabal. I’m seeing this in the emerge build.log after “Using cabal-3.8.2.0” inside “configuring source…” |
| 2025-01-14 05:06:50 +0100 | <Guest38> | It’s making Setup.lhs |
| 2025-01-14 05:07:03 +0100 | <dmwit> | ...so like I said: we need the exact cabal command. |
| 2025-01-14 05:07:45 +0100 | <saulosilva> | Hello |
| 2025-01-14 05:07:52 +0100 | Guest38 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Quit: Client closed) |
| 2025-01-14 05:08:32 +0100 | <saulosilva> | What resources should i check out first regarding functional paradigm? |
| 2025-01-14 05:08:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:10:25 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) |
| 2025-01-14 05:10:55 +0100 | <dmwit> | The Haskell wiki has a long list of tutorials, and some guidance on how to pick one. |
| 2025-01-14 05:11:14 +0100 | <dmwit> | https://wiki.haskell.org/index.php?title=Tutorials |
| 2025-01-14 05:11:16 +0100 | <Guest79> | Ah, I just realized I’m in #haskell rather than #haskell-gentoo. No wonder things weren’t adding up. Sorry dmwit and all, I’ll move this over there |
| 2025-01-14 05:13:17 +0100 | Guest79 | (~Guest29@2403-5805-c700-0-f01e-fad9-5333-2933.ip6.aussiebb.net) (Client Quit) |
| 2025-01-14 05:13:30 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 05:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:19:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-14 05:24:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 05:31:14 +0100 | <Axman6> | I think the System-F FP course does a good job of introducing functional programming in general (particularly strongly typed, pure functional), but I may be a bit biased |
| 2025-01-14 05:34:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:40:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 05:44:14 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-14 05:51:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 05:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 06:03:24 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 06:09:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 06:14:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 06:20:17 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-14 06:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:28:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-14 06:36:27 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-14 06:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:41:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 06:43:14 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-01-14 06:44:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 06:53:56 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-14 06:55:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 06:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:03:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-14 07:03:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:07:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 07:08:07 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) |
| 2025-01-14 07:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:10:17 +0100 | euleritian | (~euleritia@dynamic-176-006-128-096.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-14 07:10:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 07:16:50 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-14 07:19:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:20:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 2025-01-14 07:21:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-14 07:22:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-14 07:23:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 07:28:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-14 07:29:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-14 07:32:06 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) |
| 2025-01-14 07:34:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-14 07:39:51 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-14 07:47:37 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-14 07:50:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 07:51:54 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2025-01-14 07:54:21 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-14 07:54:38 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-14 07:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-14 07:55:29 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 07:58:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 07:59:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-14 07:59:08 +0100 | tnt2 | tnt1 |
| 2025-01-14 08:04:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-14 08:10:24 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-14 08:11:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 08:12:40 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:5d21:a3da:d197:21e9) (Ping timeout: 240 seconds) |
| 2025-01-14 08:13:16 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-14 08:13:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-14 08:16:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-14 08:19:42 +0100 | rvalue- | rvalue |
| 2025-01-14 08:20:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:24:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-14 08:25:40 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 272 seconds) |
| 2025-01-14 08:26:00 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) saulosilva |
| 2025-01-14 08:26:16 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:29:09 +0100 | euleritian | (~euleritia@dynamic-176-001-018-193.176.1.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-01-14 08:29:10 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-14 08:29:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 08:30:30 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-14 08:35:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:36:03 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-01-14 08:38:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-14 08:42:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-14 08:50:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-14 08:51:31 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-14 08:53:05 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 08:53:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 08:56:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-14 08:58:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-14 08:59:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-14 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-14 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-14 09:03:11 +0100 | saulosilva | (~saulosilv@2804:14c:b525:8032:2178:624d:5387:e840) (Quit: Client closed) |
| 2025-01-14 09:04:27 +0100 | akegalj | (~akegalj@89-172-71-66.adsl.net.t-com.hr) akegalj |
| 2025-01-14 09:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-14 09:10:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-14 09:11:24 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-14 09:13:15 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-14 09:18:37 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 09:24:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-14 09:25:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-14 09:30:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-14 09:30:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-14 09:31:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-14 09:32:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) |
| 2025-01-14 09:32:36 +0100 | euleritian | (~euleritia@dynamic-176-006-136-008.176.6.pool.telefonica.de) |
| 2025-01-14 09:33:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-14 09:41:21 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) kuribas |
| 2025-01-14 09:41:53 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-14 09:44:06 +0100 | <kuribas> | It is possible to represent a lambda using ski combinators. Could you use this to represent a polytype (forall a. ...)? |
| 2025-01-14 09:44:58 +0100 | <kuribas> | This way you could avoid variable substitution. |
| 2025-01-14 09:48:00 +0100 | <kuribas> | "forall a.a" would be I, "forall a. a -> a" would be "S (->) I" |
| 2025-01-14 09:48:20 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-14 09:49:28 +0100 | <haskellbridge> | <Bowuigi> Those definitions wouldn't work |
| 2025-01-14 09:49:54 +0100 | CiaoSen | (~Jura@2a05:5800:2eb:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2025-01-14 09:50:21 +0100 | <haskellbridge> | <Bowuigi> But type level SKI with (->) and a forall function definitely would (tho you need type lambdas) |
| 2025-01-14 09:50:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 09:51:51 +0100 | <haskellbridge> | <Bowuigi> This forall function, of kind "(k -> *) -> *", would be used like "forall (\a -> a -> a)" |
| 2025-01-14 09:51:58 +0100 | <probie> | Isn't "forall" the type level lambda? |
| 2025-01-14 09:52:39 +0100 | <haskellbridge> | <Bowuigi> No, forall is a quantifier, not a lambda |
| 2025-01-14 09:53:15 +0100 | <haskellbridge> | <Bowuigi> It can't be applied at the type level, but rather at the term level with a type application |
| 2025-01-14 09:54:45 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 248 seconds) |
| 2025-01-14 09:54:46 +0100 | <haskellbridge> | <Bowuigi> Either way, this type-level SKI system is somewhat impractical, so nowadays it's better to use Normalization-by-Evaluation instead, which is likely faster |
| 2025-01-14 09:54:52 +0100 | <kuribas> | forall is kind of a type level lambda |
| 2025-01-14 09:55:46 +0100 | <kuribas> | It's just applied implicitly when using HM inference. |
| 2025-01-14 09:56:54 +0100 | <haskellbridge> | <Bowuigi> It's a binder, like a lambda, but it can't be applied at the type level like a type lambda |
| 2025-01-14 09:57:28 +0100 | <haskellbridge> | <Bowuigi> Here, binder means "brings a new variable into scope" |
| 2025-01-14 09:59:28 +0100 | <haskellbridge> | <Bowuigi> HM can infer type applications, which occur at the term level and instance foralls at the type level. Type level application works directly at the type level, no terms are involved |
| 2025-01-14 10:00:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-14 10:00:49 +0100 | <probie> | I think Bowuigi is right. If I have a function `Λα.λ(x:α).x` it has type `forall α. α -> α`. The `forall` isn't any kind of lambda, it just "lines up" with them. If it was a lambda, you'd be able to apply it, but I can't say `(forall a . Maybe a) Int` to mean `Maybe Int` |
| 2025-01-14 10:01:02 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-14 10:01:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-14 10:01:18 +0100 | kuribas | (~user@2a02:1808:80:3b72:47fa:cf83:67e6:7339) (Ping timeout: 272 seconds) |
| 2025-01-14 10:01:39 +0100 | <tomsmeding> | I think kuribas (who left) was talking about applying them on the type level, not on the value level |
| 2025-01-14 10:02:15 +0100 | <tomsmeding> | and you can, to a certain extent -- only if the forall is on a newtype |
| 2025-01-14 10:02:22 +0100 | <tomsmeding> | % type I = forall a. a -> a |
| 2025-01-14 10:02:22 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:02:29 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:02:29 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:03:12 +0100 | <haskellbridge> | <Bowuigi> Yeah mixing foralls and type level lambdas happens sometimes |
| 2025-01-14 10:03:39 +0100 | <tomsmeding> | well sometimes it looks like you _can_ apply them with TypeApplications |
| 2025-01-14 10:03:43 +0100 | <tomsmeding> | just not in enough cases for this to work |
| 2025-01-14 10:03:57 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-01-14 10:04:26 +0100 | <tomsmeding> | % :t map |
| 2025-01-14 10:04:26 +0100 | <yahb2> | map :: forall a b. (a -> b) -> [a] -> [b] |
| 2025-01-14 10:04:31 +0100 | <tomsmeding> | % :t map @Int |
| 2025-01-14 10:04:31 +0100 | <yahb2> | map @Int :: forall b. (Int -> b) -> [Int] -> [b] |
| 2025-01-14 10:04:36 +0100 | <tomsmeding> | I just applied a forall |
| 2025-01-14 10:04:41 +0100 | <tomsmeding> | kinda |
| 2025-01-14 10:04:41 +0100 | <haskellbridge> | <Bowuigi> "type I = forall (a :: k). ()" should work tho, because you are instancing the k |
| 2025-01-14 10:05:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-14 10:05:03 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:03 +0100 | <yahb2> | <interactive>:19:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:06 +0100 | <tomsmeding> | % :set -XPolyKinds |
| 2025-01-14 10:05:06 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:08 +0100 | <tomsmeding> | % type I = forall (a :: k). () |
| 2025-01-14 10:05:08 +0100 | <yahb2> | <interactive>:23:23: error: [GHC-76037] ; Not in scope: type variable ‘k’ |
| 2025-01-14 10:05:13 +0100 | <tomsmeding> | % type I = forall k (a :: k). () |
| 2025-01-14 10:05:13 +0100 | <yahb2> | <no output> |
| 2025-01-14 10:05:15 +0100 | <tomsmeding> | and then? |
| 2025-01-14 10:05:22 +0100 | <tomsmeding> | % :k I @Int |
| 2025-01-14 10:05:22 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-20967] ; • Cannot apply function of kind ‘*’ ; to visible kind argument ‘Int’ ; • In the type ‘I @Int’ |
| 2025-01-14 10:05:28 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f533582140b26ca98c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-14 10:05:47 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-14 10:06:08 +0100 | <haskellbridge> | <Bowuigi> Uhhh what |
| 2025-01-14 10:06:54 +0100 | <tomsmeding> | is this TypeInType biting us? |