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