Logs on 2023-06-19 (liberachat/#haskell)
| 00:01:57 | → | shapr joins (~user@2600:1700:c640:3100:3535:5e4a:aa6f:7d0) |
| 00:04:45 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 00:06:32 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 00:06:56 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 00:07:20 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:09:54 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 00:10:15 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 00:10:32 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:17:15 | <ijqq> | [Leary] yep I got that one sorted :) Although I was wondering a better way of writing my mlLiteralString function (line 141 http://sprunge.us/5A9XYy). I need to be able to parse a string enclosed in triple backticks, while allowing for single and double backticks within the string. I used a similar approach to how you suggested with the two parsers. I can make it into a function to make it more clear, but I feel like there is a |
| 00:17:15 | <ijqq> | better way to do it because I end up generating a lot of parsers to make up the notDelim parser. |
| 00:17:32 | <ijqq> | http://sprunge.us/5A9XYy * |
| 00:24:02 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 00:24:22 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 00:32:05 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 00:39:25 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 00:39:47 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 00:41:01 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:46:07 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:46:32 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 00:53:45 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 00:54:05 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 00:54:23 | → | bilegeek_ joins (~bilegeek@218.sub-174-228-102.myvzw.com) |
| 00:55:17 | × | dove quits (~irc@2600:3c00:e000:287::1) (Server closed connection) |
| 00:55:35 | → | dove joins (~irc@2600:3c00:e000:287::1) |
| 00:56:29 | × | bilegeek quits (~bilegeek@2600:1008:b0a2:c545:7bfb:76e2:41bb:db48) (Ping timeout: 240 seconds) |
| 00:58:19 | <[Leary]> | ijqq: Perhaps you want to write a `fails :: Parser a -> Parser ()` primitive, which succeeds iff its argument fails (and doesn't consume input). Then you could replace `p1 <|> p2` with something of the form `fails delim *> _`. |
| 01:05:36 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 01:06:18 | → | driib joins (~driib@176.57.184.141) |
| 01:13:14 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:24 | × | driib quits (~driib@176.57.184.141) (Remote host closed the connection) |
| 01:18:06 | → | driib joins (~driib@176.57.184.141) |
| 01:18:16 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.8) |
| 01:19:23 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:29:10 | × | driib quits (~driib@176.57.184.141) (Remote host closed the connection) |
| 01:29:54 | → | driib joins (~driib@176.57.184.141) |
| 01:37:06 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 01:37:23 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 01:41:28 | × | driib quits (~driib@176.57.184.141) (Remote host closed the connection) |
| 01:41:48 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:43:15 | × | dagi75224 quits (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 255 seconds) |
| 01:45:41 | <ijqq> | ah cool idea |
| 01:50:51 | <ijqq> | so then the parser will automatically stop once delim has been encountered, so _ just needs to continue until a delim can be found. but if I use _ as some (is (const True)) it will never go back to ''', so _ should be something which returns a string but only parser a char a time? |
| 01:51:46 | <ijqq> | so it gives always gives the parser a chance to reach the delim? |
| 01:53:37 | → | dagit joins (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 01:55:24 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 01:55:47 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:57:48 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) (Remote host closed the connection) |
| 02:00:49 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 02:01:53 | <ijqq> | here is a small section http://sprunge.us/3BBxP4 I think that works :) |
| 02:06:04 | <[Leary]> | Looks right, though rather than a new primitive `singleCharAsString`, I would write `anyChar = is (const True)` and use `fmap pure <$> anyChar`. |
| 02:06:57 | <[Leary]> | Err, `pure <$> anyChar`. |
| 02:07:14 | × | xff0x_ quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 02:10:02 | <EvanR> | did you miss an opportunity to use the gobbling creature operator (:[]) |
| 02:10:36 | <ijqq> | oh yep, nice |
| 02:10:52 | <ijqq> | thanks for the help btw, I really appreciate it |
| 02:12:04 | <ijqq> | hahaha Evan |
| 02:16:56 | → | nate2 joins (~nate@98.45.169.16) |
| 02:21:54 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:21:54 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:21:54 | finn_elija | is now known as FinnElija |
| 02:33:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) |
| 02:35:28 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 02:38:02 | × | td_ quits (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
| 02:39:55 | → | td_ joins (~td@i5387090E.versanet.de) |
| 02:43:39 | × | alinab_ quits (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
| 02:43:46 | → | alinab_ joins (sid468903@id-468903.helmsley.irccloud.com) |
| 02:44:56 | → | vicfred joins (~vicfred@user/vicfred) |
| 02:48:05 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection) |
| 02:49:46 | → | xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:50:29 | × | parseval quits (sid239098@id-239098.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 02:51:04 | → | parseval joins (sid239098@2a03:5180:f:1::3:a5fa) |
| 02:51:30 | × | jmct quits (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 02:51:37 | → | jmct joins (sid160793@id-160793.tinside.irccloud.com) |
| 02:52:00 | × | S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 02:52:08 | → | S11001001 joins (sid42510@id-42510.ilkley.irccloud.com) |
| 02:52:19 | × | buhman_ quits (sid411355@id-411355.tinside.irccloud.com) (Server closed connection) |
| 02:52:44 | → | buhman_ joins (sid411355@id-411355.tinside.irccloud.com) |
| 02:54:08 | × | phma quits (phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99) (Read error: Connection reset by peer) |
| 02:54:33 | → | phma joins (phma@2001:5b0:211c:2af8:15:b59b:6820:5603) |
| 02:55:31 | × | mcglk quits (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 02:56:34 | → | mcglk joins (~mcglk@131.191.19.145) |
| 03:02:11 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 03:02:32 | → | russruss2 joins (~russruss@my.russellmcc.com) |
| 03:04:29 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 03:08:15 | → | aforemny_ joins (~aforemny@i59F516E6.versanet.de) |
| 03:09:12 | × | aforemny quits (~aforemny@2001:9e8:6ce0:8f00:7cf4:9859:63d6:96a8) (Ping timeout: 240 seconds) |
| 03:10:24 | × | ddellacosta quits (~ddellacos@143.244.47.89) (Ping timeout: 258 seconds) |
| 03:18:22 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:18:52 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:31:34 | × | Firedancer quits (sid336191@id-336191.hampstead.irccloud.com) (Server closed connection) |
| 03:31:43 | → | Firedancer joins (sid336191@id-336191.hampstead.irccloud.com) |
| 03:33:43 | × | vicfred quits (~vicfred@user/vicfred) (Quit: leaving) |
| 03:35:13 | × | bilegeek_ quits (~bilegeek@218.sub-174-228-102.myvzw.com) (Quit: Leaving) |
| 03:58:01 | × | kimiamania6 quits (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 03:59:31 | → | kimiamania6 joins (~6790af62@user/kimiamania) |
| 04:03:45 | × | myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 265 seconds) |
| 04:05:24 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 04:06:55 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:13:00 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:14:50 | × | gawen quits (~gawen@user/gawen) (Server closed connection) |
| 04:15:10 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:15:36 | → | gawen joins (~gawen@user/gawen) |
| 04:19:52 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:20:33 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 04:21:29 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:24:22 | × | mira quits (~aranea@wireguard/contributorcat/mira) (Server closed connection) |
| 04:24:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 04:24:47 | → | mira joins (~aranea@wireguard/contributorcat/mira) |
| 04:25:40 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Client Quit) |
| 04:27:58 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:29:59 | → | trev joins (~trev@user/trev) |
| 04:32:02 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 04:33:25 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:34:15 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:39:12 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:41:16 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:41:31 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 04:42:58 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:45:10 | × | dysfigured quits (~dfg@dfg.rocks) (Server closed connection) |
| 04:45:28 | → | dfg joins (~dfg@user/dfg) |
| 04:48:12 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 04:51:52 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:51:52 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 04:52:27 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:59:00 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:59:09 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 05:02:41 | → | Buggys- joins (Buggys@shelltalk.net) |
| 05:03:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 05:03:52 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 05:04:15 | × | phma quits (phma@2001:5b0:211c:2af8:15:b59b:6820:5603) (Read error: Connection reset by peer) |
| 05:05:25 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 05:05:29 | → | phma joins (phma@2001:5b0:211b:a558:6f16:d106:7587:769) |
| 05:10:44 | → | chromoblob joins (~user@37.113.180.121) |
| 05:10:51 | × | toastloop quits (~toastloop@user/toastloop) (Read error: Connection reset by peer) |
| 05:17:32 | × | jinsl quits (~jinsl@123.120.169.188) (Ping timeout: 240 seconds) |
| 05:18:15 | → | jinsl joins (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) |
| 05:21:17 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:28:01 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 05:28:34 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 05:28:44 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 05:30:38 | → | Midjak joins (~Midjak@82.66.147.146) |
| 05:32:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:34:08 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 05:34:56 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:36:16 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 05:40:50 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 05:42:41 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:49:24 | → | michalz joins (~michalz@185.246.207.221) |
| 05:50:26 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 05:51:45 | → | titibandit joins (~titibandi@user/titibandit) |
| 05:57:48 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 06:02:15 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) |
| 06:04:59 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 06:06:31 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 06:09:56 | → | chromoblob joins (~user@37.113.180.121) |
| 06:17:12 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 06:17:30 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 06:23:40 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 06:24:07 | → | titibandit joins (~titibandi@user/titibandit) |
| 06:24:54 | × | c_wraith quits (~c_wraith@adjoint.us) (Server closed connection) |
| 06:25:24 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 06:26:06 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 06:32:59 | × | shapr quits (~user@2600:1700:c640:3100:3535:5e4a:aa6f:7d0) (Ping timeout: 240 seconds) |
| 06:33:47 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 06:33:59 | → | Zamyatins_Sky joins (~Zamyatins@broadband-188-255-84-143.ip.moscow.rt.ru) |
| 06:34:29 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 06:38:46 | → | fendor joins (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 06:41:18 | aforemny_ | is now known as aforemny |
| 06:43:58 | → | bliminse joins (~bliminse@user/bliminse) |
| 06:47:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 06:48:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:55:21 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:56:10 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 06:56:11 | → | tromp joins (~textual@92.110.219.57) |
| 06:56:47 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 06:57:17 | → | werneta joins (~werneta@70.142.214.115) |
| 07:01:04 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:06:55 | → | lortabac joins (~lortabac@37.170.17.4) |
| 07:08:25 | × | dumptruckman quits (~dumptruck@143-42-239-71.ip.linodeusercontent.com) (Server closed connection) |
| 07:13:14 | × | lortabac quits (~lortabac@37.170.17.4) (Read error: Connection reset by peer) |
| 07:16:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:17:10 | → | lortabac joins (~lortabac@88.125.6.227) |
| 07:21:06 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 07:21:14 | × | DigitalKiwi quits (~kiwi@2604:a880:400:d0::1ca0:e001) (Server closed connection) |
| 07:21:47 | → | DigitalKiwi joins (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 07:25:30 | × | hololeap quits (~quassel@user/hololeap) (Server closed connection) |
| 07:25:46 | → | hololeap joins (~quassel@user/hololeap) |
| 07:29:07 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:37:23 | → | chromoblob joins (~user@37.113.180.121) |
| 07:37:52 | × | lortabac quits (~lortabac@88.125.6.227) (Ping timeout: 265 seconds) |
| 07:38:56 | → | gmg joins (~user@user/gehmehgeh) |
| 07:39:21 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:d29b:38fe:65fe:1c57) |
| 07:42:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 07:54:12 | × | werneta quits (~werneta@70.142.214.115) (Ping timeout: 240 seconds) |
| 07:56:28 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 08:00:06 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 08:03:08 | × | foul_owl quits (~kerry@212.102.47.117) (Ping timeout: 240 seconds) |
| 08:07:01 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:07:01 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:08:49 | → | img joins (~img@user/img) |
| 08:10:24 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:13:31 | × | img quits (~img@user/img) (Client Quit) |
| 08:13:42 | × | arrowhead quits (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 08:14:08 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) |
| 08:17:30 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:18:30 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 08:21:35 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 08:25:53 | → | img joins (~img@user/img) |
| 08:28:04 | → | chele joins (~chele@user/chele) |
| 08:31:26 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Remote host closed the connection) |
| 08:31:49 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 08:34:44 | × | aforemny quits (~aforemny@i59F516E6.versanet.de) (Ping timeout: 240 seconds) |
| 08:36:51 | → | aforemny joins (~aforemny@i59F516DC.versanet.de) |
| 08:38:15 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:46:15 | × | aforemny quits (~aforemny@i59F516DC.versanet.de) (Ping timeout: 260 seconds) |
| 08:46:21 | → | aforemny_ joins (~aforemny@2001:9e8:6cce:9300:5557:5a11:a173:e573) |
| 08:48:47 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:49:30 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 08:50:19 | → | pavonia joins (~user@user/siracusa) |
| 08:52:23 | → | danse-nr3 joins (~francesco@151.44.145.241) |
| 09:03:34 | → | sanjai joins (uid606752@id-606752.uxbridge.irccloud.com) |
| 09:13:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:13:20 | → | Pickchea joins (~private@user/pickchea) |
| 09:13:39 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection) |
| 09:13:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 09:13:53 | → | Noinia joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 09:16:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:18:10 | → | ripspin joins (~chatzilla@1.145.165.46) |
| 09:18:29 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:22:52 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:23:37 | × | ripspin quits (~chatzilla@1.145.165.46) (Remote host closed the connection) |
| 09:24:12 | → | laxmik joins (~user@cfeld-pcx40162.desy.de) |
| 09:28:48 | → | danse-nr3_ joins (~francesco@151.46.178.119) |
| 09:30:54 | × | danse-nr3 quits (~francesco@151.44.145.241) (Ping timeout: 252 seconds) |
| 09:32:38 | → | user____ joins (~user@dynamic-046-114-178-038.46.114.pool.telefonica.de) |
| 09:34:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:41:17 | → | barcisz joins (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 09:49:13 | × | ft quits (~ft@p508dbdef.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:00:44 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:07:48 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) (Remote host closed the connection) |
| 10:09:22 | → | mmhat joins (~mmh@p200300f1c702b0a3ee086bfffe095315.dip0.t-ipconnect.de) |
| 10:11:42 | × | mmhat quits (~mmh@p200300f1c702b0a3ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 10:19:05 | × | xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 10:26:54 | × | danse-nr3_ quits (~francesco@151.46.178.119) (Remote host closed the connection) |
| 10:27:16 | → | danse-nr3_ joins (~francesco@151.46.178.119) |
| 10:33:47 | → | __monty__ joins (~toonn@user/toonn) |
| 10:36:19 | → | ripspin joins (~chatzilla@1.145.173.14) |
| 10:47:20 | <ddrone[m]> | Cabal is driving me mad. I'm trying to build a simple server using lsp package, and for some reason Cabal keeps complaining about not being able to load module Language.LSP.Types offering "Perhaps you need to add ‘lsp-types’ to the build-depends in your .cabal file." |
| 10:47:34 | <ddrone[m]> | The problem is that lsp-types is already listed as a dependency in .cabal file |
| 10:49:44 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 10:50:28 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 10:50:31 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 10:51:00 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 10:53:14 | <ncf> | https://paste.tomsmeding.com/ |
| 10:56:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 10:58:09 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 10:58:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:01:06 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 11:01:59 | × | xilo quits (~yourname@84.32.165.17) (Server closed connection) |
| 11:02:13 | → | xilo joins (~yourname@84.32.165.17) |
| 11:02:58 | <merijn> | Yeah, paste your cabal file |
| 11:07:40 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 11:07:48 | <ddrone[m]> | Figured it a workaround already, pretty sure it's a bug with Cabal generating bad error message thoguh |
| 11:07:56 | <ddrone[m]> | s/thoguh/though/ |
| 11:08:17 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 11:10:04 | → | pavonia joins (~user@user/siracusa) |
| 11:10:19 | <merijn> | ddrone[m]: That seems unlikely, tbh. Can you pastebin the file/your workaround? |
| 11:12:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 11:13:30 | <ddrone[m]> | merijn: This is a "workaround" https://github.com/haskell/lsp/issues/494 |
| 11:15:47 | <merijn> | ddrone[m]: ah, I think I know what's going on. Are you sure Cabal was "suggesting to add lsp-types" as dependency and not "adding *a specific version* of lsp-types as dependency"? |
| 11:16:27 | <merijn> | ddrone[m]: Because it looks like the module hierarchy of lsp-types was changed going from version 1.6 to 2.0, so the modules from 1.6 no longer exist and the new .Protocol hierarchy is new in 2.0 |
| 11:17:18 | <merijn> | So I'm assuming your cabal file had no version restrictions, leading to 2.0 version being selected, which indeed doesn't have those modules and leading Cabal to suggest lsp-types 1.6 (or older) |
| 11:17:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:17:53 | <merijn> | It's a bit awkward their readme wasn't updated for the 2.0 release |
| 11:18:12 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:5d76:93d4:4b5f:a8c9) |
| 11:18:45 | <ddrone[m]> | merijn: Cabal suggesting me to add modules from a package different from the one I already depend on is a terrible UX and is bad error message from my point of view |
| 11:19:07 | <merijn> | How is cabal suggesting you to add modules? |
| 11:19:16 | <merijn> | It's suggesting you added the modules you wrote in the source |
| 11:19:39 | <merijn> | How is it supposed to determine you wrote the wrong imports? |
| 11:20:08 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 11:20:16 | <merijn> | You wrote imports in your source that don't exist, cabal reports that and list that package(s) that supply those imports |
| 11:20:41 | danse-nr3_ | is now known as danse-nr3 |
| 11:20:55 | <merijn> | I'm not sure how cabal is supposed to magically infer you meant to write "slightly different imports from your current package" other than "magically hardcode custom notifications for every package" |
| 11:21:54 | <merijn> | If I write "import Data.Time" without depending on time, it'll tell me that's from the time package, if I write "Data.LSP.Types" it tells you those are from lsp-types (I'm not sure if it reports the version, I think it does) |
| 11:22:04 | <ddrone[m]> | Basically, from my POV Cabal shouldn't recommend me to change the version of a package that I already depend on |
| 11:22:21 | <ddrone[m]> | Or at least it should provide way more context in the error message to not make it confusing |
| 11:22:22 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 11:22:41 | <merijn> | I don't have the full error message, so I can't judge |
| 11:23:11 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 11:23:45 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 11:24:25 | <merijn> | but as far as I remember the error it just tells you "you're importing X was isn't in any of your dependencies, did you mean to depend on Y that has them". I'm not sure how you could formulate that better than it already is |
| 11:25:34 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:30:46 | <ddrone[m]> | Here you go: https://github.com/ddrone/cabal-issue-repro |
| 11:31:18 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:32:50 | → | foul_owl joins (~kerry@45.143.82.39) |
| 11:34:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:40:03 | <lortabac> | interesting, I wonder how Cabal even knows about the previous version of the package |
| 11:42:21 | <[Leary]> | It says it's a hidden package, so it should be "installed" in the environment. |
| 11:43:35 | × | danse-nr3 quits (~francesco@151.46.178.119) (Ping timeout: 260 seconds) |
| 11:43:40 | <lortabac> | [Leary]: even if a previous version is installed, the freeze file has another version, why even bothering looking at the installed versions? |
| 11:47:28 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 11:47:40 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:5d76:93d4:4b5f:a8c9) (Ping timeout: 260 seconds) |
| 11:48:59 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 11:49:29 | → | xff0x_ joins (~xff0x@ai098135.d.east.v6connect.net) |
| 11:49:53 | <[Leary]> | I don't know cabal internals, but I'd guess the logic for looking up module providence doesn't consider the freeze file. And indeed, the information is valuable regardless, it just ought to mention any conflict with the freeze file. |
| 11:50:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:51:10 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 11:51:43 | <lortabac> | I don't know, it seems like a bug to me |
| 11:51:58 | <lortabac> | or maybe just bad UX |
| 11:52:08 | → | danse-nr3 joins (~francesco@151.46.178.119) |
| 11:52:48 | <[Leary]> | (or conflicts with the cabal file as is) |
| 11:52:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:53:04 | <[Leary]> | And yeah, I'm not contesting that the behaviour here is bad. |
| 11:53:13 | <[Leary]> | It merits an issue, if it still happens with the latest version. |
| 11:53:27 | <merijn> | lortabac, [Leary]: The problem is that the package was using lsp-types 2.0 (therefore 1.6 is hidden and out of scope) |
| 11:53:54 | <merijn> | but due to the refactoring of lsp-types the module names from the readme only exist in 1.6 and older |
| 11:54:26 | <merijn> | lortabac: It checks the packages in the global store for modules, I think |
| 11:54:40 | <merijn> | So at some point he installed 1.6 |
| 11:54:42 | × | [exa] quits (~exa@srv3n.blesmrt.net) (Server closed connection) |
| 11:54:46 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:54:51 | → | [exa] joins (~exa@srv3n.blesmrt.net) |
| 11:58:28 | <ddrone[m]> | <[Leary]> "It merits an issue, if it..." <- I did file an issue: https://github.com/haskell/cabal/issues/9045 |
| 12:07:10 | × | abrar_ quits (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (Server closed connection) |
| 12:07:34 | → | abrar_ joins (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) |
| 12:09:56 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 12:14:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 12:18:47 | <Unicorn_Princess> | is there a way to get ghc to warn if infinite recursion is possible? e.g. i had unit conversions defined like this: https://paste.tomsmeding.com/rjJWj7LT |
| 12:19:29 | <Unicorn_Princess> | i changed it by using a convertToKg :: MassUnit -> Float, helper function instead, which gets me a warning if any patterns are missing |
| 12:19:32 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
| 12:20:29 | <Unicorn_Princess> | which is very nice and all, _if_ you realize you should do that. but if I hadn't, i'd get a runtime hang |
| 12:22:12 | <merijn> | Unicorn_Princess: That seems very hard to detect in general (which is one reason some people dislike wildcard patterns in functions) |
| 12:22:50 | <Unicorn_Princess> | that is what i feared |
| 12:22:57 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 12:24:34 | × | danso quits (~danso@user/danso) (Server closed connection) |
| 12:24:48 | → | danso joins (~danso@user/danso) |
| 12:27:56 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:42:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:52:54 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) |
| 12:53:18 | × | danse-nr3 quits (~francesco@151.46.178.119) (Ping timeout: 252 seconds) |
| 12:55:41 | <kuribas> | "To run GHC comfortably, your machine should have at least 64M of memory." Really? Shouldn't that be 4GB? |
| 12:56:10 | <kuribas> | oh GHC 4.08 ... |
| 13:07:39 | × | Igloo quits (~ian@matrix.chaos.earth.li) (Server closed connection) |
| 13:07:45 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
| 13:18:44 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 13:19:01 | → | Guest34 joins (~Guest34@linc-15-b2-v4wan-163382-cust1404.vm15.cable.virginm.net) |
| 13:20:07 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 13:22:20 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:22:52 | × | laxmik quits (~user@cfeld-pcx40162.desy.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 13:23:26 | × | Guest34 quits (~Guest34@linc-15-b2-v4wan-163382-cust1404.vm15.cable.virginm.net) (Client Quit) |
| 13:32:05 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 13:37:38 | × | jil quits (~user@vps-15050500.vps.ovh.net) (Server closed connection) |
| 13:37:50 | → | jil joins (~user@vps-15050500.vps.ovh.net) |
| 13:41:42 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:41:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:41:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:53:00 | × | barcisz quits (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 14:01:41 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 14:01:42 | → | barcisz joins (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 14:04:12 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 14:05:59 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:11:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 14:12:26 | → | danse-nr3 joins (~francesco@151.44.203.114) |
| 14:15:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 14:17:14 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection) |
| 14:17:24 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 14:17:57 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 14:20:12 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 14:20:28 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 14:20:48 | → | titibandit joins (~titibandi@user/titibandit) |
| 14:21:19 | × | winny quits (~weechat@user/winny) (Server closed connection) |
| 14:21:33 | → | thegeekinside joins (~thegeekin@189.180.9.45) |
| 14:22:09 | → | winny joins (~weechat@user/winny) |
| 14:23:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:25:15 | × | ijqq quits (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:30:47 | → | chomwitt joins (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) |
| 14:38:37 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 14:40:20 | × | ubert quits (~Thunderbi@p200300ecdf0da9ac5cdf960cafa3cfa2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:40:53 | → | ubert joins (~Thunderbi@p200300ecdf0da9b7936e74d537b318ad.dip0.t-ipconnect.de) |
| 14:46:30 | → | shapr joins (~user@2600:1700:c640:3100:b200:1e:c683:a8da) |
| 14:52:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:56:56 | <dolio> | Defeintely need at least 64MB. |
| 14:57:44 | <kuribas> | at least 64kb even. |
| 14:58:13 | <dolio> | Dunno how much it's regressed, but I used GHC in college, and that machine only had 768MB, if I recall. |
| 14:59:29 | <geekosaur> | that sent me back to the days when I had a "big" machine with 24MB and dual 486es 🙂 |
| 14:59:54 | <dolio> | I suppose a lot of stuff has been rewritten since then. |
| 15:00:39 | <kuribas> | we still run X-windows :) |
| 15:01:53 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 15:01:56 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 15:02:28 | <c_wraith> | I remember looking at a special-purpose 486 motherboard that supported 128MB of RAM and wondering what you could ever use all of that for. |
| 15:04:25 | <kuribas> | running dumb bloated UIs written in javascript obviously. |
| 15:04:56 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 258 seconds) |
| 15:17:54 | × | Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (Server closed connection) |
| 15:18:11 | → | Hobbyboy joins (Hobbyboy@hobbyboy.co.uk) |
| 15:19:16 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:19:32 | → | mauke joins (~mauke@user/mauke) |
| 15:23:56 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 15:26:43 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 15:28:05 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds) |
| 15:40:29 | → | zazaeil joins (~user@91.234.25.217) |
| 15:44:08 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 15:44:40 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:46:11 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 15:46:18 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 15:46:29 | → | R3s1st0r joins (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 15:50:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:50:48 | × | R3s1st0r quits (~Resistor@fixed-186-96-5-255.totalplay.net) (Remote host closed the connection) |
| 15:51:11 | → | R3s1st0r joins (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 15:52:22 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 15:52:49 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:58:09 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:05:30 | → | matthias1 joins (~igloo@47.155.114.211) |
| 16:07:38 | × | danse-nr3 quits (~francesco@151.44.203.114) (Ping timeout: 252 seconds) |
| 16:09:13 | × | matthias1 quits (~igloo@47.155.114.211) (Remote host closed the connection) |
| 16:10:08 | → | hiredman joins (~hiredman@138.68.1.198) |
| 16:12:12 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 16:13:24 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:13:45 | → | danse-nr3 joins (~francesco@151.44.203.114) |
| 16:16:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:18:47 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 16:19:12 | × | danse-nr3 quits (~francesco@151.44.203.114) (Ping timeout: 240 seconds) |
| 16:19:15 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 16:19:25 | × | [exa] quits (~exa@srv3n.blesmrt.net) (Changing host) |
| 16:19:25 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 16:21:41 | × | stilgart quits (~Christoph@chezlefab.net) (Server closed connection) |
| 16:21:50 | → | stilgart joins (~Christoph@chezlefab.net) |
| 16:22:29 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:d29b:38fe:65fe:1c57) (Quit: WeeChat 2.8) |
| 16:23:54 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 16:27:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:29:32 | → | danse-nr3 joins (~francesco@151.44.203.114) |
| 16:30:22 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 16:40:02 | → | laxmik joins (~laxmik@2a01:c23:8dde:2500:d9a2:cb8d:4463:57a3) |
| 16:41:08 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 16:44:38 | × | laxmik quits (~laxmik@2a01:c23:8dde:2500:d9a2:cb8d:4463:57a3) (Client Quit) |
| 16:50:46 | → | misterfish joins (~misterfis@84.53.85.146) |
| 16:52:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:05:00 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 17:14:39 | × | apache quits (apache2@anubis.0x90.dk) (Server closed connection) |
| 17:15:15 | → | apache2 joins (apache2@46.101.137.181) |
| 17:15:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:15:37 | → | tzh joins (~tzh@24.21.73.154) |
| 17:20:03 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:20:58 | × | danse-nr3 quits (~francesco@151.44.203.114) (Ping timeout: 252 seconds) |
| 17:23:32 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 17:24:18 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 17:24:45 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 17:25:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 17:25:17 | × | shapr quits (~user@2600:1700:c640:3100:b200:1e:c683:a8da) (Remote host closed the connection) |
| 17:26:37 | → | titibandit joins (~titibandi@user/titibandit) |
| 17:26:42 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 17:28:42 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 17:30:26 | → | smoge joins (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 17:35:08 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 17:36:26 | → | cheater joins (~Username@user/cheater) |
| 17:37:34 | × | ripspin quits (~chatzilla@1.145.173.14) (Remote host closed the connection) |
| 17:37:44 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 17:39:06 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection) |
| 17:40:02 | × | AlexZenon quits (~alzenon@178.34.163.88) (Ping timeout: 252 seconds) |
| 17:40:11 | × | Alex_test quits (~al_test@178.34.163.88) (Ping timeout: 258 seconds) |
| 17:41:52 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 240 seconds) |
| 17:42:01 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 17:44:59 | → | Alex_test joins (~al_test@178.34.163.88) |
| 17:46:11 | → | AlexZenon joins (~alzenon@178.34.163.88) |
| 17:46:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:48:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 17:58:11 | × | dfordvm quits (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (Server closed connection) |
| 17:58:39 | → | dfordvm joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 18:00:02 | → | danse-nr3 joins (~francesco@151.44.216.151) |
| 18:02:45 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 18:03:29 | → | R3s1st0r_ joins (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 18:04:47 | → | shapr joins (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) |
| 18:07:10 | × | R3s1st0r quits (~Resistor@fixed-186-96-5-255.totalplay.net) (Ping timeout: 252 seconds) |
| 18:10:16 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 18:12:37 | → | gmg joins (~user@user/gehmehgeh) |
| 18:16:05 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:18:47 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:19:33 | → | gmg joins (~user@user/gehmehgeh) |
| 18:23:34 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 18:24:52 | → | ijqq joins (uid603979@id-603979.helmsley.irccloud.com) |
| 18:25:14 | <ijqq> | hello |
| 18:25:27 | × | smoge quits (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Quit: Client closed) |
| 18:26:05 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 260 seconds) |
| 18:28:26 | × | danse-nr3 quits (~francesco@151.44.216.151) (Ping timeout: 252 seconds) |
| 18:28:40 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 18:34:47 | × | dsrt^ quits (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 18:35:08 | × | chomwitt quits (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 18:36:14 | <EvanR> | hello |
| 18:36:25 | <ijqq> | How's it going? |
| 18:37:14 | × | statusbot9 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Server closed connection) |
| 18:37:30 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 18:38:52 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 18:42:35 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 18:43:00 | <EvanR> | code is frying my brain |
| 18:43:14 | <ijqq> | what are you working on? |
| 18:43:58 | <EvanR> | conveyor belt and factories thing |
| 18:45:34 | <ijqq> | is it in haskell? |
| 18:46:22 | <EvanR> | I'm writing the code is several languages at once which is probably part of the frustration |
| 18:47:08 | <EvanR> | many things are easier in haskell then it doesn't translate to other languages (and vice versa) |
| 18:47:26 | <ijqq> | ah okay, is it for work or something else? conveyor belt and factories thing is quite vague haha |
| 18:47:55 | <EvanR> | nope just self inflicted |
| 18:48:03 | <ijqq> | haha all the better |
| 18:48:14 | → | danse-nr3 joins (~francesco@151.44.216.151) |
| 18:48:40 | <ijqq> | oh yeah I think it is a holiday in us or canada today |
| 18:51:47 | <EvanR> | june 19th 1865 an enforcement order was issued to free all remaining slaves in texas |
| 18:52:52 | × | bah_ quits (~bah@l1.tel) (Server closed connection) |
| 18:53:01 | → | bah joins (~bah@l1.tel) |
| 18:54:59 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:57:34 | <ijqq> | oh interesting. i don't know how i've never heard of it before. |
| 19:02:51 | → | boukenshaou joins (~Boukensha@223.178.82.245) |
| 19:04:20 | <ijqq> | i am thinking of how to represent some toml data, i see the way they do it for json online and so i used the same way here http://sprunge.us/gttvK0?haskell but now i think its not very good because i will have to write lots of custom methods to do stuff to it |
| 19:04:25 | <ijqq> | like to edit, remove, etc. |
| 19:04:26 | <ijqq> | http://sprunge.us/gttvK0?haskell |
| 19:05:27 | <ijqq> | is there a better way to do it? i was rtying to make it a tree so i can define fmap and stuff for it but then the way of defining nodes became very long. |
| 19:05:42 | → | R3s1st0r__ joins (~Resistor@static-189-206-205-218.alestra.net.mx) |
| 19:05:44 | × | alpm quits (~alp@user/alp) (Server closed connection) |
| 19:05:57 | → | Pickchea joins (~private@user/pickchea) |
| 19:06:10 | → | alpm joins (~alp@user/alp) |
| 19:07:11 | <jade[m]1> | I think it's fine the way it is honestly |
| 19:07:13 | <EvanR> | at least for fmap, it can be defined for you using extension DeriveFunctor |
| 19:07:57 | <jade[m]1> | you could make TomlString an instance of IsString and with -XOverloadedStrings make some of the creation of values more ergonomic |
| 19:08:05 | × | R3s1st0r_ quits (~Resistor@fixed-186-96-5-255.totalplay.net) (Ping timeout: 240 seconds) |
| 19:08:26 | <ijqq> | oh okay right thank you, i didn't know about those extensions |
| 19:08:34 | <jade[m]1> | jade[m]1: TomlValue rather, but then you need to parse it |
| 19:09:04 | × | danse-nr3 quits (~francesco@151.44.216.151) (Remote host closed the connection) |
| 19:10:46 | <ijqq> | sorry what do you mean jade? so if I make make isString for tomlvalue i don't need to write the constructor? but then how can False or numbers or arrays etc stay as their haskell values? |
| 19:12:26 | <jade[m]1> | an IsString instance means you can convert from a string to that value. You can't really make that for just one constructor, so if you were to go this route you'd have to write a parser |
| 19:13:13 | <jade[m]1> | but honestly, I don't even think this is too bad the way you wrote it - and you can always use aliases such as tb = TomlBool |
| 19:13:18 | <EvanR> | IsString is handy when your type is similar to a String |
| 19:13:36 | <EvanR> | or has a string-like variant |
| 19:13:56 | <jade[m]1> | or even tTrue = TomlBool True and tFalse = TomlBool False |
| 19:13:59 | <EvanR> | but it can also make type inference fail more |
| 19:15:20 | <EvanR> | if it would require parsing into structured data first that is a questionable IsString |
| 19:15:31 | <EvanR> | it would be more like MaybeString (not a real class xD) |
| 19:15:42 | <jade[m]1> | haha yeah |
| 19:16:01 | <ijqq> | ah okay. actually i am writing a parser right now, but in toml spec if i have "foo.bar.baz = 234", then it should map to a json of {"foo" : { "bar" : "baz " : 234 }}} . So right now I have parsers for most of toml e.g. keyval pair but now I need to convert it into the proper dictionary form, e.g. expand a key "foo.bar.baz" into a new table etc. so I thought that i will need to do a lot of manipulations for the data type to switch |
| 19:16:01 | <ijqq> | things and add things etc. and i was wondering if there is a more haskelly way to do it |
| 19:16:15 | <jade[m]1> | you might just stick to what you have and write some convinience constructor aliases like str = TomlString |
| 19:16:17 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 19:17:12 | × | barcisz quits (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 19:17:17 | <ijqq> | i currently have data types |
| 19:17:18 | <ijqq> | data Expr = Pair [String] Value | Table [String] | ArrayTable [String] deriving (Show) |
| 19:17:18 | <ijqq> | data Value = TomlString String | TomlBool Bool | TomlFloat | TomlInt Integer | TomlArray [Value] deriving (Show) |
| 19:17:44 | <ijqq> | so I just need to transform this into a proper nested dictionary kind of thing |
| 19:17:45 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 19:17:47 | <EvanR> | or you could just have a map of stuff like foo.bar.baz to values, use the whole path as the key |
| 19:19:48 | <ijqq> | basically i want to pass some test cases here https://github.com/BurntSushi/toml-test which require converting the given toml string into a json so it needs to have that kind of structure. so i was going to parse it into some nested thing with that structure first, and then figuire out how to convert that to json. |
| 19:20:10 | <ijqq> | so i'm not sure if i would be able to pass the tests if i did it that way, even though i could make it work for a user of my toml converter i guess? |
| 19:20:32 | <ijqq> | unless i'm misunderstanding what you mean? |
| 19:21:20 | <EvanR> | I actually don't know the full scope of the objective. Seems to be a bit beyond "parse TOML" |
| 19:21:49 | <EvanR> | in haskell (this test suite is a go program?) |
| 19:26:38 | → | DDR joins (~DDR@2604:3d08:4c7f:8250:3dce:4fb0:a4ec:86ee) |
| 19:27:07 | <ijqq> | well I was going to try to use that in order to know how much my parser actually parser correctly. as far as i can see, automates the process of calling ./Main.hs and giving it toml from stdin and asserting that the stdout is a json representaion of that toml, or that my program exits nonzero if the input toml is invalid. so http://sprunge.us/CGgLuS this is an example, the toml is the stdin and the json is what my program needs to |
| 19:27:07 | <ijqq> | give to stdout |
| 19:28:29 | <ijqq> | So I thought that I can parse the toml into a data which mirrors that json representation, and then find a json library to serialise the data in the required format (which should hopefully just be a few lines of code) . and then that way ill be able to see if my parser works |
| 19:30:37 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:30:38 | <EvanR> | unless you also want to be writing a json library, you could use aeson as the target type of your parser |
| 19:31:10 | <EvanR> | aesons Value type representing generic json data |
| 19:32:13 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 19:32:35 | × | DDR quits (~DDR@2604:3d08:4c7f:8250:3dce:4fb0:a4ec:86ee) (Quit: DDR is not Dance Dance Revolution) |
| 19:32:58 | × | foul_owl quits (~kerry@45.143.82.39) (Ping timeout: 252 seconds) |
| 19:45:00 | <ijqq> | oh intersting, i will look into that |
| 19:48:28 | × | thegeekinside quits (~thegeekin@189.180.9.45) (Remote host closed the connection) |
| 19:54:59 | × | esph quits (~weechat@user/esph) (Server closed connection) |
| 19:55:32 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 19:55:46 | → | esph joins (~weechat@user/esph) |
| 20:00:29 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 20:02:21 | → | thegeekinside joins (~thegeekin@189.180.9.45) |
| 20:02:32 | × | user____ quits (~user@dynamic-046-114-178-038.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 20:03:25 | × | thegeekinside quits (~thegeekin@189.180.9.45) (Remote host closed the connection) |
| 20:04:50 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 20:05:13 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 20:05:30 | <meejah> | i'm trying to get gi-declarative to build on Debian 12 (gtk4), getting some gi-harfbuzz error .. is this a fool's errand, or "should" this work? (i'm a haskell beginner). It worked on PureOS 9/amber with gtk3 |
| 20:06:05 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 20:06:26 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:06:44 | × | delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 20:06:44 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 20:06:52 | × | shapr quits (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) (Remote host closed the connection) |
| 20:07:00 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 20:07:00 | × | ysh____ quits (sid6017@id-6017.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 20:07:06 | × | lukec quits (9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer) |
| 20:07:06 | × | filwisher quits (2e6936c793@2604:bf00:561:2000::170) (Read error: Connection reset by peer) |
| 20:07:06 | × | bsima1 quits (9d7e39c8ad@2604:bf00:561:2000::dd) (Read error: Connection reset by peer) |
| 20:07:08 | × | PotatoGim_ quits (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 240 seconds) |
| 20:07:15 | × | theesm quits (2cbdf4b38a@2604:bf00:561:2000::11c8) (Read error: Connection reset by peer) |
| 20:07:15 | × | ymherklotz quits (cb2c9cfbdd@2604:bf00:561:2000::29a) (Read error: Connection reset by peer) |
| 20:07:19 | → | lukec joins (9dfd4d094e@2604:bf00:561:2000::10e) |
| 20:07:19 | → | filwisher joins (2e6936c793@2604:bf00:561:2000::170) |
| 20:07:19 | → | bsima1 joins (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 20:07:20 | × | acertain_ quits (sid470584@id-470584.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:22 | → | ysh____ joins (sid6017@id-6017.ilkley.irccloud.com) |
| 20:07:23 | × | yandere quits (sid467876@id-467876.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:26 | × | jackdk quits (sid373013@cssa/jackdk) (Read error: Connection reset by peer) |
| 20:07:29 | × | lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:30 | → | theesm joins (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 20:07:30 | → | ymherklotz joins (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 20:07:32 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 20:07:32 | → | yandere joins (sid467876@id-467876.ilkley.irccloud.com) |
| 20:07:34 | × | Pent_ quits (sid313808@id-313808.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:35 | × | sanjai quits (uid606752@id-606752.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:35 | × | mustafa__ quits (sid502723@id-502723.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 20:07:35 | → | jackdk joins (sid373013@cssa/jackdk) |
| 20:07:37 | → | acertain_ joins (sid470584@id-470584.hampstead.irccloud.com) |
| 20:07:40 | → | thegeekinside joins (~thegeekin@189.180.9.45) |
| 20:07:42 | → | edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 20:07:43 | → | sanjai joins (uid606752@id-606752.uxbridge.irccloud.com) |
| 20:07:46 | × | remsen quits (ianremsen@tilde.team) (Ping timeout: 258 seconds) |
| 20:07:50 | → | mustafa__ joins (sid502723@id-502723.hampstead.irccloud.com) |
| 20:07:57 | → | Pent_ joins (sid313808@id-313808.lymington.irccloud.com) |
| 20:08:09 | → | PotatoGim_ joins (sid99505@id-99505.lymington.irccloud.com) |
| 20:08:35 | → | EvanR joins (~EvanR@user/evanr) |
| 20:08:40 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Remote host closed the connection) |
| 20:08:42 | → | delyan_ joins (sid523379@id-523379.hampstead.irccloud.com) |
| 20:08:58 | × | phaazon quits (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 265 seconds) |
| 20:09:01 | → | lexi-lambda joins (sid92601@hampstead.irccloud.com) |
| 20:09:01 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 20:09:04 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 20:09:09 | <meejah> | (using "cabal new-build") |
| 20:09:16 | → | shapr joins (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) |
| 20:09:30 | × | cln quits (cln@wtf.cx) (Ping timeout: 240 seconds) |
| 20:09:56 | → | remsen joins (ianremsen@tilde.team) |
| 20:10:46 | → | phaazon joins (~phaazon@2001:41d0:a:fe76::1) |
| 20:10:55 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 20:11:44 | <sm> | meejah: got a link for that package, eg on hackage ? |
| 20:12:00 | → | cln joins (~cln@wtf.cx) |
| 20:12:06 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 20:12:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:12:23 | <geekosaur> | more to the point, perhaps pastebin the error |
| 20:12:26 | <geekosaur> | @where paste |
| 20:12:26 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 20:12:35 | <sm> | https://hackage.haskell.org/package/gi-gtk-declarative is it ? |
| 20:13:45 | <sm> | uploaded 2021-09-17; gtk 3 to 4 is probably a major update - I'd call it "long shot" |
| 20:14:22 | <sm> | [check the https://github.com/owickstrom/gi-gtk-declarative/issues/93](https://github.com/owickstrom/gi-gtk-declarative/issues/93) |
| 20:15:11 | <meejah> | sm: https://hackage.haskell.org/package/gi-harfbuzz ... i think my problem is partially understanding / "don't know how to drive cabal": gi-gtk-declarative says "<4" for gi-gtk so I guess it just won't work with 4 (w/o changes) .. it's asking for harfbuss 0.0.4 which is not the latest |
| 20:16:01 | <meejah> | ah, thanks ... so i guess i need to convince debian12 to insall gtk3? |
| 20:16:46 | <meejah> | (maybe there's a different / better way to work with gtk...?) |
| 20:17:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 20:17:42 | <geekosaur> | I think gtk2hs is still maintained although I don't know if it'll do any better with gtk4 than gi |
| 20:17:47 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:17:51 | <geekosaur> | (despite the name it's on gtk3 now) |
| 20:20:20 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:21:05 | → | gmg joins (~user@user/gehmehgeh) |
| 20:25:11 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:25:19 | × | jbalint_ quits (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Server closed connection) |
| 20:25:30 | × | Patternmaster quits (~georg@user/Patternmaster) (Server closed connection) |
| 20:25:30 | → | jbalint joins (~jbalint@071-090-119-177.res.spectrum.com) |
| 20:25:43 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 20:25:44 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 20:27:59 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 20:28:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection) |
| 20:29:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 20:30:23 | → | arrowhead joins (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) |
| 20:32:37 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 20:35:00 | → | __monty__ joins (~toonn@user/toonn) |
| 20:48:27 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:49:14 | × | boukenshaou quits (~Boukensha@223.178.82.245) (Remote host closed the connection) |
| 20:50:52 | <meejah> | geekosaur: thanks |
| 20:55:50 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 20:59:06 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 21:03:23 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 21:03:44 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 21:03:55 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:07:21 | → | shef joins (~deglazewi@209-188-121-236.taosnet.com) |
| 21:09:03 | → | pavonia joins (~user@user/siracusa) |
| 21:09:46 | → | biberu joins (~biberu@user/biberu) |
| 21:10:12 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 21:11:24 | → | mechap joins (~mechap@user/mechap) |
| 21:12:05 | ← | Zamyatins_Sky parts (~Zamyatins@broadband-188-255-84-143.ip.moscow.rt.ru) () |
| 21:13:14 | × | finnekit quits (~finnekit@fsf/member/finnekit) (Server closed connection) |
| 21:13:39 | → | finnekit joins (~finnekit@fsf/member/finnekit) |
| 21:15:00 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 21:16:43 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:20:59 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 21:21:24 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:22:04 | → | mechap joins (~mechap@user/mechap) |
| 21:26:16 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 21:27:05 | → | foul_owl joins (~kerry@212.102.47.117) |
| 21:29:03 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:30:28 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:31:52 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 21:32:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:39:45 | <glguy> | ijqq: If you want something to compare against you could parse with your toml implementation and mine and see if you get the same values |
| 21:40:23 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:40:30 | <glguy> | aeson isn't exactly suitable for TOML as TOML has date and time literals that JSON can't capture. You could encode them into strings or tables or something and just remember how you embedded them, thoughn |
| 21:41:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:41:55 | → | dsrt^ joins (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 21:43:47 | <glguy> | some yaml parsers try to do the same thing and then also lose information as yaml has "tags" |
| 21:43:57 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 21:45:54 | × | arrowhead quits (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 21:46:21 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) |
| 21:47:00 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 21:47:21 | × | fendor quits (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 21:48:52 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:49:46 | → | img joins (~img@user/img) |
| 21:50:30 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 21:51:32 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 21:51:37 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 21:53:08 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:56:13 | × | rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (Server closed connection) |
| 21:56:27 | → | rune_ joins (sid21167@id-21167.ilkley.irccloud.com) |
| 21:56:38 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 21:57:29 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 22:02:00 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:02:04 | → | ft joins (~ft@80.141.189.239) |
| 22:03:40 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 22:07:22 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 22:09:12 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:09:19 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Server closed connection) |
| 22:09:34 | × | eL_Bart0- quits (eL_Bart0@dietunichtguten.org) (Server closed connection) |
| 22:09:49 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 22:10:08 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:10:56 | → | img joins (~img@user/img) |
| 22:14:34 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 22:14:59 | × | R3s1st0r__ quits (~Resistor@static-189-206-205-218.alestra.net.mx) (Quit: Leaving) |
| 22:15:46 | × | shef quits (~deglazewi@209-188-121-236.taosnet.com) (Ping timeout: 252 seconds) |
| 22:18:44 | × | skippy quits (sid26890@user/slice) (Server closed connection) |
| 22:18:56 | → | skippy joins (sid26890@user/slice) |
| 22:20:11 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:21:01 | → | img joins (~img@user/img) |
| 22:21:57 | × | Jon quits (jon@dow.land) (Server closed connection) |
| 22:22:07 | → | Jon joins (jon@dow.land) |
| 22:25:56 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 22:26:59 | × | foul_owl quits (~kerry@212.102.47.117) (Ping timeout: 240 seconds) |
| 22:27:33 | → | user____ joins (~user@46.114.202.36) |
| 22:34:53 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.8) |
| 22:40:39 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:42:00 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 22:42:09 | → | pavonia joins (~user@user/siracusa) |
| 22:44:31 | → | img joins (~img@user/img) |
| 22:44:35 | × | ubert quits (~Thunderbi@p200300ecdf0da9b7936e74d537b318ad.dip0.t-ipconnect.de) (Quit: ubert) |
| 22:47:59 | <ijqq> | yep glguy i've bookmarked yours for when i get to that bit :) |
| 22:51:46 | → | sagax joins (~sagax_nb@user/sagax) |
| 22:55:19 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 23:01:19 | × | ski quits (~ski@remote11.chalmers.se) (Server closed connection) |
| 23:01:29 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 23:01:32 | → | ski joins (~ski@remote11.chalmers.se) |
| 23:02:50 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:02:59 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 23:07:15 | → | bilegeek joins (~bilegeek@2600:1008:b047:b90f:5137:a48c:4fab:4914) |
| 23:08:45 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:09:59 | → | tom__ joins (~tom@81.151.255.71) |
| 23:10:08 | → | img joins (~img@user/img) |
| 23:10:11 | × | tom_ quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 23:18:31 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 23:21:12 | → | foul_owl joins (~kerry@71.212.137.212) |
| 23:25:24 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection) |
| 23:25:37 | → | Umeaboy joins (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 23:26:10 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
| 23:26:17 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Server closed connection) |
| 23:26:27 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 23:26:30 | <Umeaboy> | Is one of the reasons that statically compiled packages are harder to debug a reason for NOT including them in official repos for a certain distro? I'm curious. |
| 23:27:44 | <Umeaboy> | I know that it's tough to port GHC to another dist, but its dependencies in turn need statically compiled packages. |
| 23:28:07 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 23:35:05 | × | xff0x_ quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 23:35:29 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 23:37:10 | → | xff0x_ joins (~xff0x@178.255.149.135) |
| 23:38:26 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:39:02 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:39:09 | × | Reinhilde quits (ellenor@callbox.trd.is) (Server closed connection) |
| 23:45:06 | → | wns_ joins (~user@103.206.114.101) |
| 23:45:14 | wns_ | is now known as wns |
| 23:45:25 | <dolio> | That doesn't sound like a reason to me. |
| 23:45:56 | <dolio> | I would guess that the main reason is lack of demand vs. amount of work that would be required for distro maintainers. |
| 23:51:40 | → | mauke_ joins (~mauke@user/mauke) |
| 23:51:52 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 23:53:33 | → | Ellenor joins (ellenor@2001:19f0:8001:279::2000:1) |
| 23:54:37 | <hpc> | perhaps it's the prospect of rebuilding downstream packages when you update a library? |
| 23:54:44 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:54:44 | mauke_ | is now known as mauke |
| 23:54:48 | <hpc> | if your distro doesn't have a good build system, that's a lot of busywork |
| 23:54:52 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:59:30 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC on 2023-06-19.