| 2024-03-11 00:00:39 +0100 | <c_wraith> | Well, it's built now. Maybe it was just behind a couple things in the queue. Or Maybe the system is just really resource-constrained. |
| 2024-03-11 00:00:50 +0100 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 268 seconds) |
| 2024-03-11 00:00:55 +0100 | <c_wraith> | but thanks for the info, sclv |
| 2024-03-11 00:02:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-11 00:04:48 +0100 | son0p | (~ff@152.203.102.157) (Read error: Connection reset by peer) |
| 2024-03-11 00:07:01 +0100 | CiaoSen | (~Jura@2a05:5800:28f:8800:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-03-11 00:08:29 +0100 | CiaoSen | (~Jura@5.83.180.12) |
| 2024-03-11 00:09:10 +0100 | Joao[3] | (~Joao003@190.108.99.67) (Quit: Bye!) |
| 2024-03-11 00:19:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-11 00:21:24 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2024-03-11 00:22:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3c28:2a60:76e7:9e59) |
| 2024-03-11 00:22:50 +0100 | <endojelly> | c_wraith, sweet. What's the new function? |
| 2024-03-11 00:30:02 +0100 | Guest498 | (~Guest4@p54993456.dip0.t-ipconnect.de) |
| 2024-03-11 00:30:55 +0100 | son0p | (~ff@152.203.102.157) |
| 2024-03-11 00:31:17 +0100 | <c_wraith> | endojelly: filterOfA. It's an effectful extension of filterOf |
| 2024-03-11 00:48:24 +0100 | game9999999 | (~game99999@83.22.143.46.ipv4.supernova.orange.pl) |
| 2024-03-11 00:53:49 +0100 | destituion | (~destituio@2a02:2121:650:17b6:7013:905e:d9bb:b716) (Ping timeout: 264 seconds) |
| 2024-03-11 00:53:55 +0100 | werneta | (~werneta@024-205-076-158.res.spectrum.com) |
| 2024-03-11 00:54:40 +0100 | jau | (~user@2a04:4540:7215:f000:d03e:3f46:b2b2:f465) (Quit: Leaving) |
| 2024-03-11 00:55:11 +0100 | CiaoSen | (~Jura@5.83.180.12) (Ping timeout: 272 seconds) |
| 2024-03-11 01:03:22 +0100 | game9999999 | (~game99999@83.22.143.46.ipv4.supernova.orange.pl) (Do widzenia) |
| 2024-03-11 01:17:33 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-11 01:17:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-11 01:19:32 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-03-11 01:20:48 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-11 01:23:22 +0100 | igemnace | (~ian@user/igemnace) (Client Quit) |
| 2024-03-11 01:25:17 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-03-11 01:26:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 01:26:59 +0100 | <ncf> | seems like there was filterAOf in Data.Witherable. why not just port everything that's in there? |
| 2024-03-11 01:30:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-11 01:31:12 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-11 01:31:32 +0100 | <c_wraith> | ncf: Data.Witherable claims to be deprecated. |
| 2024-03-11 01:35:38 +0100 | <jackdk> | c_wraith: they renamed to module `Witherable` for some reason |
| 2024-03-11 01:48:29 +0100 | <c_wraith> | Oh, I see. There's stuff in Data.Witherable that isn't in Witherable |
| 2024-03-11 01:55:34 +0100 | <c_wraith> | I suppose since I have a dependency on Witherable, I might as well provide substitutes for everything there. I already have the dependencies. |
| 2024-03-11 01:59:38 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-11 02:05:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-11 02:34:55 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-11 02:36:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-11 02:41:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-11 02:57:22 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-11 03:01:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-03-11 03:02:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-11 03:02:59 +0100 | agrosant | (~agrosant@77.49.35.76.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 03:10:48 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-11 03:11:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-11 03:12:44 +0100 | Square | (~Square@user/square) |
| 2024-03-11 03:18:32 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-03-11 03:19:22 +0100 | agrosant | (~agrosant@77.49.148.71.dsl.dyn.forthnet.gr) |
| 2024-03-11 03:26:33 +0100 | mulk | (~mulk@p5b1126ae.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-03-11 03:27:52 +0100 | mulk | (~mulk@pd9514e1d.dip0.t-ipconnect.de) |
| 2024-03-11 03:41:41 +0100 | Guest498 | (~Guest4@p54993456.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-03-11 03:42:00 +0100 | otto_s | (~user@p5b044d07.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-03-11 03:42:30 +0100 | <endojelly> | :t (<.>) |
| 2024-03-11 03:42:31 +0100 | <lambdabot> | Indexable (i, j) p => (Indexed i s t -> r) -> (Indexed j a b -> s -> t) -> p a b -> r |
| 2024-03-11 03:42:58 +0100 | <endojelly> | :t (<&>) |
| 2024-03-11 03:42:59 +0100 | <lambdabot> | Functor f => f a -> (a -> b) -> f b |
| 2024-03-11 03:43:11 +0100 | <endojelly> | ah, I guess that's the one I want. |
| 2024-03-11 03:43:32 +0100 | otto_s | (~user@93.226.245.124) |
| 2024-03-11 03:53:26 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-03-11 03:56:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 03:56:59 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-11 03:59:23 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-03-11 03:59:48 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-11 04:01:54 +0100 | werneta | (~werneta@024-205-076-158.res.spectrum.com) (Quit: leaving) |
| 2024-03-11 04:12:51 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 04:27:17 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-03-11 04:31:18 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 04:35:16 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 04:36:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3c28:2a60:76e7:9e59) (Ping timeout: 268 seconds) |
| 2024-03-11 04:37:47 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-11 04:40:35 +0100 | <c_wraith> | endojelly: I took ncf's advise and ported the deprecated lens-like stuff in Data.Witherable over, which meant renaming filterOfA to filterAOf. So.. I released another version. |
| 2024-03-11 04:40:48 +0100 | <c_wraith> | *advice. I don't use british spellings! |
| 2024-03-11 04:43:39 +0100 | <glguy> | Isn't that just noun vs verb? |
| 2024-03-11 04:43:47 +0100 | agrosant | (~agrosant@77.49.148.71.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 04:44:15 +0100 | <c_wraith> | in american english, yes. |
| 2024-03-11 04:44:35 +0100 | <c_wraith> | I see "advise" as a noun in BrE sometimes. |
| 2024-03-11 04:44:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-11 04:48:04 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-03-11 04:49:49 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-11 04:56:12 +0100 | agrosant | (~agrosant@62.1.51.250.dsl.dyn.forthnet.gr) |
| 2024-03-11 04:57:25 +0100 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-11 04:59:10 +0100 | td_ | (~td@i53870932.versanet.de) |
| 2024-03-11 05:00:00 +0100 | Taneb | (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.) |
| 2024-03-11 05:01:09 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2024-03-11 05:01:11 +0100 | agrosant | (~agrosant@62.1.51.250.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 05:01:59 +0100 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-03-11 05:02:13 +0100 | xigua | (~xigua@user/xigua) |
| 2024-03-11 05:06:51 +0100 | raoul | (~raoul@95.179.203.88) (Ping timeout: 256 seconds) |
| 2024-03-11 05:07:27 +0100 | raoul | (~raoul@95.179.203.88) |
| 2024-03-11 05:22:22 +0100 | aforemny | (~aforemny@i59F516FE.versanet.de) (Ping timeout: 255 seconds) |
| 2024-03-11 05:22:23 +0100 | aforemny_ | (~aforemny@i59F516E8.versanet.de) |
| 2024-03-11 05:25:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 05:29:56 +0100 | justache | justache_Test |
| 2024-03-11 05:30:09 +0100 | justache_Test | justache |
| 2024-03-11 05:31:33 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-11 05:31:33 +0100 | mud | (~mud@user/kadoban) |
| 2024-03-11 05:32:02 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-03-11 05:33:24 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-11 05:36:15 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2024-03-11 05:36:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-11 05:36:18 +0100 | JimL | (~quassel@89.162.16.26) |
| 2024-03-11 05:36:50 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-11 05:38:57 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 05:38:59 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) (Ping timeout: 260 seconds) |
| 2024-03-11 05:46:57 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 05:58:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-11 06:03:31 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-11 06:05:53 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-11 06:06:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-11 06:16:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-11 06:30:08 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-03-11 06:35:24 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-11 07:10:10 +0100 | mulk | (~mulk@pd9514e1d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-11 07:10:38 +0100 | mulk | (~mulk@p5b11285e.dip0.t-ipconnect.de) |
| 2024-03-11 07:13:59 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-11 07:23:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-11 07:39:01 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-11 07:40:32 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-11 07:54:21 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
| 2024-03-11 07:56:13 +0100 | mulk | (~mulk@p5b11285e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-11 08:03:18 +0100 | mulk | (~mulk@p5b2dc9da.dip0.t-ipconnect.de) |
| 2024-03-11 08:17:12 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-11 08:27:32 +0100 | Vajb | (~Vajb@2001:999:680:5044:15b1:c43e:d1c0:210f) (Read error: Connection reset by peer) |
| 2024-03-11 08:27:44 +0100 | Vajb | (~Vajb@mobile-access-567351-201.dhcp.inet.fi) |
| 2024-03-11 08:39:43 +0100 | Square3 | (~Square4@user/square) |
| 2024-03-11 08:42:36 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-03-11 08:43:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-11 08:44:43 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) |
| 2024-03-11 08:45:16 +0100 | Square3 | Square |
| 2024-03-11 08:48:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-11 08:49:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-11 08:54:17 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-11 09:03:48 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-03-11 09:04:02 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-11 09:12:39 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-11 09:39:50 +0100 | chele | (~chele@user/chele) |
| 2024-03-11 09:46:22 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-11 09:52:35 +0100 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-11 09:53:10 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-11 09:53:17 +0100 | justache | (~justache@user/justache) |
| 2024-03-11 09:54:00 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-11 09:58:06 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-11 09:59:47 +0100 | jau | (~user@2a04:4540:7200:5a00:4902:512c:7765:a80f) |
| 2024-03-11 10:00:16 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-11 10:06:01 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-11 10:15:07 +0100 | <tomsmeding> | https://en.wiktionary.org/wiki/advise#Noun -- Noun, advise: 1. Misspelling of 'advice' |
| 2024-03-11 10:15:31 +0100 | <tomsmeding> | writing 'advise' for the noun looks like hypercorrection to me |
| 2024-03-11 10:17:33 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2024-03-11 10:21:07 +0100 | danza | (~francesco@151.37.239.50) |
| 2024-03-11 10:28:01 +0100 | danza | (~francesco@151.37.239.50) (Ping timeout: 264 seconds) |
| 2024-03-11 10:28:10 +0100 | mulk | (~mulk@p5b2dc9da.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-11 10:30:03 +0100 | mulk | (~mulk@p5b2dc06c.dip0.t-ipconnect.de) |
| 2024-03-11 10:33:07 +0100 | danse-nr3 | (~danse@151.37.239.50) |
| 2024-03-11 10:37:27 +0100 | danse-nr3 | (~danse@151.37.239.50) (Remote host closed the connection) |
| 2024-03-11 10:37:49 +0100 | danse-nr3 | (~danse@151.37.239.50) |
| 2024-03-11 10:38:26 +0100 | danse-nr3 | (~danse@151.37.239.50) (Remote host closed the connection) |
| 2024-03-11 10:38:48 +0100 | danse-nr3 | (~danse@151.37.239.50) |
| 2024-03-11 10:39:48 +0100 | byorgey | (~byorgey@155.138.238.211) (Quit: leaving) |
| 2024-03-11 10:43:28 +0100 | agrosant | (~agrosant@46.246.203.87.dsl.dyn.forthnet.gr) |
| 2024-03-11 10:44:05 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-03-11 10:44:23 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-11 10:53:06 +0100 | danse-nr3 | (~danse@151.37.239.50) (Ping timeout: 255 seconds) |
| 2024-03-11 10:54:35 +0100 | agrosant | (~agrosant@46.246.203.87.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 10:57:28 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-11 11:05:54 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-11 11:07:56 +0100 | danse-nr3 | (~danse@151.37.239.50) |
| 2024-03-11 11:16:37 +0100 | agrosant | (~agrosant@188.4.5.92.dsl.dyn.forthnet.gr) |
| 2024-03-11 11:32:13 +0100 | Vajb | (~Vajb@mobile-access-567351-201.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2024-03-11 11:32:21 +0100 | Vajb | (~Vajb@n70t65z9ztei3blo55b-1.v6.elisa-mobile.fi) |
| 2024-03-11 11:32:22 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-11 11:33:19 +0100 | califax | (~califax@user/califx) |
| 2024-03-11 11:36:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-03-11 11:38:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-03-11 11:40:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-11 11:41:11 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-11 11:42:19 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 11:42:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-11 11:44:19 +0100 | Guest20 | (~Guest88@2a02:587:3409:e300:bdb9:5b5b:ce6b:22a4) |
| 2024-03-11 11:47:42 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-03-11 11:55:06 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-11 11:59:59 +0100 | agrosant | (~agrosant@188.4.5.92.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 12:00:47 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-11 12:06:44 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 12:12:55 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-11 12:14:14 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 2024-03-11 12:15:58 +0100 | agrosant | (~agrosant@193.92.143.49.dsl.dyn.forthnet.gr) |
| 2024-03-11 12:22:11 +0100 | agrosant | (~agrosant@193.92.143.49.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 12:24:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-11 12:26:23 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-03-11 12:30:59 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2024-03-11 12:34:49 +0100 | mmhat | (~mmh@p200300f1c73c22ebee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-11 12:37:29 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-03-11 12:37:47 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-03-11 12:37:51 +0100 | agrosant | (~agrosant@62.1.175.95.dsl.dyn.forthnet.gr) |
| 2024-03-11 12:40:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-11 12:42:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-11 12:51:20 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-11 12:52:00 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-03-11 12:53:46 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-11 12:59:19 +0100 | Tisoxin | (~Ikosit@user/ikosit) (Ping timeout: 256 seconds) |
| 2024-03-11 13:02:43 +0100 | Tisoxin | (~Ikosit@user/ikosit) |
| 2024-03-11 13:38:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-11 13:46:39 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-11 13:48:29 +0100 | ell1 | (~ellie@user/ellie) |
| 2024-03-11 13:50:33 +0100 | ell | (~ellie@user/ellie) (Ping timeout: 268 seconds) |
| 2024-03-11 13:50:34 +0100 | ell1 | ell |
| 2024-03-11 13:55:19 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-11 13:56:16 +0100 | danse-nr3 | (~danse@151.37.239.50) (Ping timeout: 255 seconds) |
| 2024-03-11 14:11:09 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-11 14:12:54 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-03-11 14:13:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-03-11 14:13:26 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) |
| 2024-03-11 14:13:41 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-11 14:19:14 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-03-11 14:27:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 14:30:44 +0100 | danse-nr3 | (~danse@151.19.232.161) |
| 2024-03-11 14:32:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-11 14:40:47 +0100 | agrosant | (~agrosant@62.1.175.95.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 14:43:30 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-11 14:44:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 14:45:51 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-03-11 14:46:21 +0100 | Inst_ | (~Inst@120.244.192.27) |
| 2024-03-11 14:46:36 +0100 | mmhat | (~mmh@p200300f1c73c22ebee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-11 14:46:58 +0100 | mmhat | (~mmh@p200300f1c73c2256ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-11 14:48:40 +0100 | Inst | (~Inst@120.244.192.27) (Ping timeout: 246 seconds) |
| 2024-03-11 14:54:40 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-11 14:55:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-11 15:08:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-11 15:12:31 +0100 | danse-nr3 | (~danse@151.19.232.161) (Remote host closed the connection) |
| 2024-03-11 15:12:33 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) |
| 2024-03-11 15:12:55 +0100 | danse-nr3 | (~danse@151.19.232.161) |
| 2024-03-11 15:19:49 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2024-03-11 15:21:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 15:27:57 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-11 15:34:56 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-11 15:36:41 +0100 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-11 15:37:17 +0100 | justache | (~justache@user/justache) |
| 2024-03-11 15:38:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-11 15:40:37 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-11 15:46:09 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 15:48:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 15:48:33 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 15:49:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 15:50:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 15:51:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-11 15:55:47 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-11 15:56:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 2024-03-11 16:00:12 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 16:00:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 16:07:35 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 16:08:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-11 16:16:09 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) |
| 2024-03-11 16:19:19 +0100 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-03-11 16:28:45 +0100 | <tomsmeding> | if I have a package called 'cheese' with a (main) library, an executable (called 'cheese'), and a test-suite, can I make the test-suite depend on the executable? |
| 2024-03-11 16:28:54 +0100 | <tomsmeding> | depending on 'cheese' makes it depend on the library, which is not enough for me in this case |
| 2024-03-11 16:31:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-11 16:37:40 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-03-11 16:37:55 +0100 | CiaoSen | (~Jura@2a05:5800:296:5e00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-03-11 16:39:17 +0100 | <tomsmeding> | or is it impossible to depend on executable components inside a package? |
| 2024-03-11 16:39:22 +0100 | <c_wraith> | depend on the executable (to run it), or depend on modules defined in the executable? |
| 2024-03-11 16:39:25 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-11 16:39:27 +0100 | <tomsmeding> | to run it |
| 2024-03-11 16:39:32 +0100 | <tomsmeding> | (to test the CLI) |
| 2024-03-11 16:39:43 +0100 | <c_wraith> | huh. no idea. |
| 2024-03-11 16:39:46 +0100 | destituion | (~destituio@77.18.57.161.tmi.telenormobil.no) |
| 2024-03-11 16:39:58 +0100 | <tomsmeding> | if I rename the executable to 'foo' then even 'cheese:foo' doesn't work |
| 2024-03-11 16:40:11 +0100 | <tomsmeding> | so I get the idea that depending on executable components is impossible whatsoever? |
| 2024-03-11 16:40:21 +0100 | <c_wraith> | this hypothetical is making me hungry |
| 2024-03-11 16:40:28 +0100 | <tomsmeding> | >:D |
| 2024-03-11 16:41:30 +0100 | <tomsmeding> | the cabal user guide is not explicit about whether this is possible, but it only speaks about depending on libraries, not on executables |
| 2024-03-11 16:41:41 +0100 | <tomsmeding> | *speaks of |
| 2024-03-11 16:42:01 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-11 16:42:18 +0100 | <c_wraith> | well, you can depend on executables, but.. probably not one *built* by the same package |
| 2024-03-11 16:42:40 +0100 | <sclv> | you can use build-tools-depends to make sure the executable is in scope |
| 2024-03-11 16:42:49 +0100 | <c_wraith> | like you can depend on an executable being in the path. yeah, like that. |
| 2024-03-11 16:42:50 +0100 | <tomsmeding> | as in, if you depend on a (different) package that happens to also build an executable, you incidentally also depend on the executable? |
| 2024-03-11 16:43:06 +0100 | <tomsmeding> | oh but it's not a build tool, I need it at execution time of the test suite |
| 2024-03-11 16:43:38 +0100 | <sclv> | things brought in scope at build time are still in the path at runtime in the cabal semantics |
| 2024-03-11 16:44:15 +0100 | <tomsmeding> | oh ha, the cabal docs have this exact example |
| 2024-03-11 16:44:26 +0100 | <tomsmeding> | For example (2) using a test-suite to test executable behaviour in the same package: |
| 2024-03-11 16:44:28 +0100 | <tomsmeding> | build-tool-depends: mypackage:executable |
| 2024-03-11 16:44:35 +0100 | <tomsmeding> | ew |
| 2024-03-11 16:45:32 +0100 | danse-nr3 | (~danse@151.19.232.161) (Remote host closed the connection) |
| 2024-03-11 16:45:54 +0100 | danse-nr3 | (~danse@151.19.232.161) |
| 2024-03-11 16:47:19 +0100 | <tomsmeding> | I see this is an explicit design goal of build-tool-depends |
| 2024-03-11 16:47:29 +0100 | <tomsmeding> | unfortunate naming, then :) |
| 2024-03-11 16:47:52 +0100 | <c_wraith> | just reclassify running tests as part of the build process. |
| 2024-03-11 16:48:14 +0100 | <tomsmeding> | well running tests is not part of the build process of the test suite, is it? :p |
| 2024-03-11 16:48:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-11 16:48:54 +0100 | <tomsmeding> | anyway apart from naming I see that this is precisely the intended field |
| 2024-03-11 16:48:59 +0100 | <tomsmeding> | thanks all :) |
| 2024-03-11 16:53:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-11 16:55:50 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-11 16:56:19 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-11 16:57:53 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-11 16:58:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-11 17:08:44 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2024-03-11 17:11:31 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-03-11 17:14:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-11 17:22:41 +0100 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-03-11 17:25:11 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-11 17:27:51 +0100 | <edwardk> | build-tool-depends: cheese:exe:cheese -- or something like that. i forget how to explicitly index the executable component when they pun |
| 2024-03-11 17:29:31 +0100 | ania123 | (~ania123@146.255.226.194) (Quit: Client closed) |
| 2024-03-11 17:33:51 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-11 17:38:22 +0100 | <geekosaur> | sounds right to me |
| 2024-03-11 17:38:46 +0100 | <geekosaur> | there's ongoing work on a cabal command to list the available targets, still in the design stage |
| 2024-03-11 17:40:30 +0100 | <geekosaur> | (people may want to see https://github.com/haskell/cabal/pull/9744) |
| 2024-03-11 17:41:22 +0100 | <geekosaur> | (it was written, then came the questions and now it's back on the drawing board…) |
| 2024-03-11 17:44:48 +0100 | <Guest20> | I'm trying to parse some json-ld files https://json-ld.org and canonicalise them according to https://w3c-ccg.github.io/rdf-dataset-canonicalization/spec/. Did anyone have a similar experience? I can't find any existing Haskell library and I'm considering writing one. |
| 2024-03-11 17:44:59 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-11 17:47:14 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-11 17:48:43 +0100 | <tomsmeding> | edwardk: build-tool-depends: cheese:cheese suffices |
| 2024-03-11 17:48:58 +0100 | <tomsmeding> | 'build-tool-depends: cheese' is a _syntax_ error, ':' expected |
| 2024-03-11 17:49:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3141-3999-646d-f090-89b1-08fc.rev.sfr.net) |
| 2024-03-11 17:49:23 +0100 | <tomsmeding> | the :exe: thing is for build target specification on the command line, like in 'cabal build' and in hie.yaml files |
| 2024-03-11 17:49:39 +0100 | mei | (~mei@user/mei) |
| 2024-03-11 17:50:08 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-11 17:51:10 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-03-11 17:52:09 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-11 17:52:10 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 264 seconds) |
| 2024-03-11 17:52:19 +0100 | agrosant | (~agrosant@46.246.192.224.dsl.dyn.forthnet.gr) |
| 2024-03-11 17:52:31 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3141-3999-646d-f090-89b1-08fc.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-11 17:53:07 +0100 | <edwardk> | makes sense. haven't had to do this since that was all in flux in the first releases that included those kinds of targets |
| 2024-03-11 17:54:14 +0100 | <edwardk> | i need to write more haskell. i'm getting rusty |
| 2024-03-11 17:54:31 +0100 | <edwardk> | or c++y? |
| 2024-03-11 17:54:36 +0100 | <tomsmeding> | it is honestly slightly confusing to have three :-syntaxes, one for build-tool-depends (pkg:exename), one for build-depends (pkg(:internallib)?), and one for target specifications (pkg(:exe:exename|:lib:libname|...)?) |
| 2024-03-11 17:54:43 +0100 | <edwardk> | agreed |
| 2024-03-11 17:55:13 +0100 | myme | (~myme@2a01:799:d5c:5f00:cb5:d224:b856:4e5f) (Ping timeout: 255 seconds) |
| 2024-03-11 17:55:26 +0100 | <tomsmeding> | just say cppy (see-pee-pie) and nobody will know what you're talking about |
| 2024-03-11 17:55:36 +0100 | <edwardk> | my recollection was that it was initially intended that the latter would be a superset and should have been always available, with the others being special cases when it is unambiguous |
| 2024-03-11 17:56:02 +0100 | myme | (~myme@2a01:799:d5c:5f00:123a:884d:a2c:23f1) |
| 2024-03-11 17:56:05 +0100 | <edwardk> | but then it just shook out that only the simple grammars were used |
| 2024-03-11 17:56:15 +0100 | <tomsmeding> | I think that's still how it works for target specifications, there are many more syntaxes that work in the third set |
| 2024-03-11 17:56:25 +0100 | <mauke> | 1. everyone wants the colon; 2. therefore, Larry gets the colon. |
| 2024-03-11 17:56:30 +0100 | <tomsmeding> | my '...' encompasses a lot of stuff |
| 2024-03-11 17:57:03 +0100 | <edwardk> | we've never ben one for consistency in the cabal specifications. each field is all over the place in how it is parsed. =( |
| 2024-03-11 17:57:07 +0100 | <edwardk> | *been |
| 2024-03-11 17:57:49 +0100 | <edwardk> | do you need commas? can you even have commas? can they have trailing commas? |
| 2024-03-11 17:57:58 +0100 | tomsmeding | feels that |
| 2024-03-11 17:58:08 +0100 | <edwardk> | at one point in time you couldn't even put extra spaces in backpack specifications. |
| 2024-03-11 18:00:05 +0100 | <edwardk> | then of course if you go to use an advanced enough package you can't use the custom scripting interface, which is er.. precisely when you'd want to use it. (need to instantiate 50 different backpack modules? get pasting haskell-boy) |
| 2024-03-11 18:01:16 +0100 | tomsmeding | is glad to never really having needed backpack yet |
| 2024-03-11 18:01:32 +0100 | <tomsmeding> | er, grammar |
| 2024-03-11 18:01:34 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Ping timeout: 260 seconds) |
| 2024-03-11 18:01:43 +0100 | tomsmeding | is glad to have never really needed backpack yet |
| 2024-03-11 18:01:45 +0100 | <tomsmeding> | there |
| 2024-03-11 18:01:53 +0100 | <tomsmeding> | who was complaining about cabal? |
| 2024-03-11 18:02:29 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-11 18:04:36 +0100 | <loonycyborg> | I wish each language wasn't making own buildsystem AND package manager |
| 2024-03-11 18:04:56 +0100 | danse-nr3 | (~danse@151.19.232.161) (Ping timeout: 260 seconds) |
| 2024-03-11 18:05:17 +0100 | <tomsmeding> | do you have a suggested build system and package manager that is ready to be adapted to multiple languages, with the flexibility they need? :p |
| 2024-03-11 18:05:53 +0100 | <tomsmeding> | there is certainly some work duplication here, but it's not quite so easy to deduplicate everything |
| 2024-03-11 18:06:02 +0100 | <mauke> | xkcd:standards |
| 2024-03-11 18:06:18 +0100 | <tomsmeding> | also that :p |
| 2024-03-11 18:06:54 +0100 | <tomsmeding> | but it's even worse here in that not only are there multiple "standards", actually very few of them are really intended as a _standard_ |
| 2024-03-11 18:07:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-11 18:09:02 +0100 | <chiselfuse> | how do i get color in ghci? |
| 2024-03-11 18:09:11 +0100 | <chiselfuse> | --color doesn't work |
| 2024-03-11 18:09:20 +0100 | <chiselfuse> | nor --colour |
| 2024-03-11 18:09:23 +0100 | <tomsmeding> | what do you want coloured |
| 2024-03-11 18:09:47 +0100 | <chiselfuse> | https://wiki.haskell.org/File:Coloured-error.png |
| 2024-03-11 18:09:51 +0100 | <chiselfuse> | like this or more |
| 2024-03-11 18:10:05 +0100 | <tomsmeding> | that's actually failed syntax highlighting :p |
| 2024-03-11 18:10:16 +0100 | <tomsmeding> | highlighting haskell keywords (instance, of) inside the error diagnostic |
| 2024-03-11 18:10:30 +0100 | <mauke> | heh, it's trying to highlight error messages as haskell code :-) |
| 2024-03-11 18:10:38 +0100 | <chiselfuse> | well, i want successfull syntax highlighting then |
| 2024-03-11 18:10:48 +0100 | <tomsmeding> | my ghci has some formatting in error messages https://tomsmeding.com/ss/get/tomsmeding/KBKFlY |
| 2024-03-11 18:10:50 +0100 | <chiselfuse> | and not just errors |
| 2024-03-11 18:10:51 +0100 | <chiselfuse> | if possible |
| 2024-03-11 18:10:54 +0100 | <geekosaur> | at least there's https://github.com/haskell/cabal/issues/9793 re specifications |
| 2024-03-11 18:10:59 +0100 | <probie> | chiselfuse: do you get anything different if you use `ghci -fdiagnostics-color=always`? |
| 2024-03-11 18:11:08 +0100 | <tomsmeding> | ghci does not highlight code, so you won't get that |
| 2024-03-11 18:11:19 +0100 | <probie> | oh, nvm, I misunderstood what you were asking for |
| 2024-03-11 18:11:26 +0100 | geekosaur | wonders if ghcitui does |
| 2024-03-11 18:12:07 +0100 | <chiselfuse> | probie: i don't think so |
| 2024-03-11 18:12:20 +0100 | <chiselfuse> | so you're saying i can't have what i want |
| 2024-03-11 18:12:28 +0100 | <mauke> | https://wiki.haskell.org/GHCi_in_colour#Using_HsColour probably ancient |
| 2024-03-11 18:14:58 +0100 | <mauke> | https://hackage.haskell.org/package/hscolour still maintained |
| 2024-03-11 18:15:33 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-11 18:18:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-11 18:18:55 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-03-11 18:19:57 +0100 | <chiselfuse> | mauke: can this hscolour be used interactively with ghci? |
| 2024-03-11 18:20:15 +0100 | <mauke> | why are you asking me? |
| 2024-03-11 18:20:24 +0100 | <mauke> | instead of reading what it says on the wiki page, I mean |
| 2024-03-11 18:20:42 +0100 | <chiselfuse> | you want me to do this ghci 2>&1 | HsColour -tty |
| 2024-03-11 18:20:44 +0100 | <chiselfuse> | ? |
| 2024-03-11 18:20:55 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-03-11 18:20:58 +0100 | <chiselfuse> | looks very fragile but i'll consider |
| 2024-03-11 18:21:09 +0100 | <mauke> | "want" is a bit strong |
| 2024-03-11 18:21:35 +0100 | <mauke> | in fact, I'd recommend you just use ghci as is |
| 2024-03-11 18:23:54 +0100 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) |
| 2024-03-11 18:34:53 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 2024-03-11 18:40:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 18:46:58 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-11 18:51:02 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-11 18:55:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-11 18:57:52 +0100 | Guest20 | (~Guest88@2a02:587:3409:e300:bdb9:5b5b:ce6b:22a4) (Quit: Client closed) |
| 2024-03-11 18:58:35 +0100 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-03-11 19:01:37 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-03-11 19:08:28 +0100 | Guest42 | (~Guest88@2a02:587:3409:e300:bdb9:5b5b:ce6b:22a4) |
| 2024-03-11 19:08:35 +0100 | Guest42 | (~Guest88@2a02:587:3409:e300:bdb9:5b5b:ce6b:22a4) (Client Quit) |
| 2024-03-11 19:09:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-11 19:15:06 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-11 19:19:47 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) |
| 2024-03-11 19:19:47 +0100 | <miscsb> | hi |
| 2024-03-11 19:20:00 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) (Client Quit) |
| 2024-03-11 19:20:20 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) |
| 2024-03-11 19:20:20 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) () |
| 2024-03-11 19:21:49 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) |
| 2024-03-11 19:27:41 +0100 | miscsb | (~buenas@ool-18e4e6bc.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2024-03-11 19:28:49 +0100 | zwro | (~z@user/zero) (Ping timeout: 255 seconds) |
| 2024-03-11 19:30:25 +0100 | <edwardk> | chiselfuse: if you just do that you have to be careful because ghci gets confused if its not connected to a tty directly |
| 2024-03-11 19:39:54 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-11 19:39:57 +0100 | lally | (sid388228@uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-03-11 19:40:08 +0100 | jmct | (sid160793@tinside.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-03-11 19:40:13 +0100 | alinab | (sid468903@helmsley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-03-11 19:40:25 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2024-03-11 19:40:30 +0100 | bradparker | (sid262931@uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2024-03-11 19:40:32 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2024-03-11 19:40:33 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2024-03-11 19:40:36 +0100 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-03-11 19:40:41 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2024-03-11 19:40:41 +0100 | edmundnoble_ | (sid229620@helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2024-03-11 19:40:42 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2024-03-11 19:40:52 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
| 2024-03-11 19:47:42 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-11 19:49:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-11 19:50:24 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-11 19:52:31 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-11 19:53:11 +0100 | <chiselfuse> | edwardk: it broke without me even trying to not be careful |
| 2024-03-11 19:53:18 +0100 | <chiselfuse> | so i just gave up |
| 2024-03-11 19:58:31 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-11 20:03:46 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-11 20:03:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-11 20:07:01 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 264 seconds) |
| 2024-03-11 20:10:20 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-03-11 20:12:15 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-11 20:15:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-03-11 20:24:14 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 20:30:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-11 20:36:37 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-11 20:36:47 +0100 | mechap | (~mechap@user/mechap) () |
| 2024-03-11 20:37:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-11 20:38:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-11 20:38:52 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-11 20:43:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-11 20:50:30 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2024-03-11 20:50:40 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-11 20:58:11 +0100 | srz | (~srz@181.228.49.93) |
| 2024-03-11 21:00:51 +0100 | <edwardk> | chiselfuse: i'll see if i can't find the little bash script that i used to use to do highlighting for ghci. |
| 2024-03-11 21:05:29 +0100 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-11 21:07:17 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-11 21:08:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-11 21:11:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-11 21:21:16 +0100 | benkard | (~mulk@pd951476c.dip0.t-ipconnect.de) |
| 2024-03-11 21:21:23 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-03-11 21:21:25 +0100 | mulk | (~mulk@p5b2dc06c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-11 21:21:25 +0100 | benkard | mulk |
| 2024-03-11 21:22:30 +0100 | son0p | (~ff@152.203.102.157) (Remote host closed the connection) |
| 2024-03-11 21:23:54 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-11 21:27:42 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-03-11 21:31:10 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-03-11 21:41:37 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2024-03-11 21:47:13 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) |
| 2024-03-11 21:49:28 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-03-11 22:02:15 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-11 22:07:53 +0100 | Sciencentistguy5 | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-11 22:08:26 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-11 22:08:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2024-03-11 22:09:54 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2024-03-11 22:09:54 +0100 | Sciencentistguy5 | Sciencentistguy |
| 2024-03-11 22:10:35 +0100 | ania123 | (~ania123@146.255.226.194) (Quit: Client closed) |
| 2024-03-11 22:13:36 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-11 22:17:53 +0100 | typeswitch | (~typeswitc@user/typeswitch) |
| 2024-03-11 22:18:14 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 22:19:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-11 22:19:59 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-11 22:22:10 +0100 | <haskellbridge> | <eldritchcookie> hello i would appreciate feedback on my package candidate https://hackage.haskell.org/package/katip-effectful-0.0.1/candidate |
| 2024-03-11 22:22:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-11 22:24:08 +0100 | <haskellbridge> | <eldritchcookie> is there a tool to test building with multiple versions of my deps, i am fairly certain that my lower bounds are too strict |
| 2024-03-11 22:24:36 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-11 22:25:59 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-11 22:36:00 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 255 seconds) |
| 2024-03-11 22:38:01 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-11 22:38:06 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-03-11 22:45:35 +0100 | jau | (~user@2a04:4540:7200:5a00:4902:512c:7765:a80f) (Quit: Leaving) |
| 2024-03-11 22:47:03 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-11 22:47:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-03-11 22:48:13 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-11 22:51:35 +0100 | <tomsmeding> | eldritchcookie: in this vein there is 'cabal build --prefer-oldest', but it sounds like that's not quite what you're looking for |
| 2024-03-11 22:51:40 +0100 | <tomsmeding> | but maybe it suffices |
| 2024-03-11 22:52:27 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) |
| 2024-03-11 22:52:32 +0100 | <endojelly> | c_wraith, this is what I ended up doing by the way: |
| 2024-03-11 22:52:33 +0100 | <endojelly> | let witherAllOf l f = witherOf l (($> Nothing) . f) |
| 2024-03-11 22:52:33 +0100 | <endojelly> | modifyM f = get >>= f >>= put |
| 2024-03-11 22:52:34 +0100 | <endojelly> | modifyM $ liftIO . witherAllOf (_2.ix name.withered._2.expiring) (activateExpire True) |
| 2024-03-11 22:52:50 +0100 | <endojelly> | modifyM actually exists already, but apparently not in the 9.2.7 environment I have to target. |
| 2024-03-11 22:53:14 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-11 22:53:33 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-03-11 22:54:54 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-11 22:55:51 +0100 | <c_wraith> | endojelly: it appears modifyM is only exported by transformers, not mtl |
| 2024-03-11 22:57:01 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-03-11 22:57:02 +0100 | <endojelly> | c_wraith, yeah, I do have transformers-0.5.6.2 though, maybe it's been added later? I think I remember checking that I imported the right module. |
| 2024-03-11 22:57:19 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-11 22:57:38 +0100 | <endojelly> | I was also missing hoistMaybe from Control.Monad.Trans.Maybe, for example. |
| 2024-03-11 22:57:47 +0100 | <endojelly> | (which is also in transformers) |
| 2024-03-11 22:58:00 +0100 | <c_wraith> | yeah, it wasn't added until 6.1.0.0. quite relatively recent |
| 2024-03-11 22:58:33 +0100 | <c_wraith> | err. 0.6.1.0. just rotate those numbers around... |
| 2024-03-11 22:58:56 +0100 | <endojelly> | heh, helps to have a 4 level stack RPN calculator. |
| 2024-03-11 22:58:59 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-11 22:59:07 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 22:59:32 +0100 | <endojelly> | Not ideal to have to target 9.2.7, it's quite old, but that's what OpenBSD comes with in its packages... |
| 2024-03-11 23:05:50 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-11 23:08:52 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-11 23:09:29 +0100 | phma | (~phma@host-67-44-208-101.hnremote.net) (Read error: Connection reset by peer) |
| 2024-03-11 23:09:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-11 23:10:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-11 23:10:33 +0100 | phma | (phma@2001:5b0:211c:1d68:52ce:65f2:95a9:903c) |
| 2024-03-11 23:16:30 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-11 23:17:47 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-11 23:18:35 +0100 | agrosant | (~agrosant@46.246.192.224.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-11 23:21:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-11 23:34:30 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2024-03-11 23:34:32 +0100 | zetef | (~quassel@5.2.182.98) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-11 23:36:25 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-03-11 23:38:08 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-11 23:49:22 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-11 23:56:47 +0100 | Sgeo | (~Sgeo@user/sgeo) |
