| 2023-06-19 00:03:08 +0200 | <Cale> | Maybe you'll get a better error message if you tell it what type you're expecting, so something like stat :: StatsSingleT (QGenExpr ctxt be s) |
| 2023-06-19 00:05:10 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 00:05:54 +0200 | driib | (~driib@176.57.184.141) |
| 2023-06-19 00:07:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f24519cabbd94a7f195.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-19 00:08:08 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-19 00:11:07 +0200 | driib | (~driib@176.57.184.141) (Read error: Connection reset by peer) |
| 2023-06-19 00:11:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 00:14:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) (Remote host closed the connection) |
| 2023-06-19 00:15:06 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-19 00:20:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-06-19 00:20:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-06-19 00:23:00 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-19 00:23:20 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 00:24:51 +0200 | <Zamyatins_Sky> | Cale: wow, this was a rather useful advice. Adding `:: StatsSingleT ( QGenExpr ctxt Sqlite s )` to the binding of stat lead me to the solution. Thank you! By any chance, could you explain how `ctxt` and `s` are described by a type system? Link to the docs would be great too. I understand that they behave somewhat similar to `be`, which stands for any backend, but I do not understand where those type-vars are bound |
| 2023-06-19 00:25:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-19 00:25:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-19 00:26:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-06-19 00:26:34 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-06-19 00:27:31 +0200 | wroathe | (~wroathe@207.153.38.140) |
| 2023-06-19 00:27:31 +0200 | wroathe | (~wroathe@207.153.38.140) (Changing host) |
| 2023-06-19 00:27:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-19 00:27:54 +0200 | <EvanR> | they're universally quantified by an understood forall ctxt s . in front of the type |
| 2023-06-19 00:29:20 +0200 | <Zamyatins_Sky> | Oh, I see, it is implicit. Thank you |
| 2023-06-19 00:29:39 +0200 | <EvanR> | there's an option to always show the forall in ghci... somewhere |
| 2023-06-19 00:30:37 +0200 | <EvanR> | you can also use it in your type signatures, and there's situation where you have to use it for reasons |
| 2023-06-19 00:34:16 +0200 | Zamyatins_Sky | (~Zamyatins@broadband-188-255-84-143.ip.moscow.rt.ru) () |
| 2023-06-19 00:34:37 +0200 | <geekosaur> | :set -fprint-explicit-foralls |
| 2023-06-19 00:36:27 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 00:36:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 00:42:32 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-19 00:47:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) |
| 2023-06-19 00:50:46 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 00:51:07 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 00:52:10 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-06-19 01:04:13 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 01:04:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 01:05:30 +0200 | <[Leary]> | ijqq: Yeah, that `isMany` ought to've been an `isSome`, my bad. Looks like you got it figured out, though. :) |
| 2023-06-19 01:10:27 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-19 01:13:08 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-19 01:14:54 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-19 01:15:04 +0200 | cheater_ | cheater |
| 2023-06-19 01:19:34 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 01:19:54 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 01:26:57 +0200 | user__ | (~user@46.114.182.229) (Read error: Connection reset by peer) |
| 2023-06-19 01:30:37 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 01:31:39 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2023-06-19 01:32:10 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-19 01:32:16 +0200 | Adeon | (sid418992@2a03:5180:f:2::6:64b0) |
| 2023-06-19 01:34:16 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 01:34:37 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 01:37:38 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-19 01:41:39 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Server closed connection) |
| 2023-06-19 01:41:47 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2023-06-19 01:48:45 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 01:49:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 01:55:23 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-19 01:56:42 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 2023-06-19 01:56:42 +0200 | mauke_ | mauke |
| 2023-06-19 01:56:57 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-19 01:57:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 02:01:57 +0200 | shapr | (~user@2600:1700:c640:3100:3535:5e4a:aa6f:7d0) |
| 2023-06-19 02:04:45 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-06-19 02:06:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-19 02:06:56 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2023-06-19 02:07:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-19 02:09:54 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 02:10:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 02:10:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-19 02:17:15 +0200 | <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 |
| 2023-06-19 02:17:15 +0200 | <ijqq> | better way to do it because I end up generating a lot of parsers to make up the notDelim parser. |
| 2023-06-19 02:17:32 +0200 | <ijqq> | http://sprunge.us/5A9XYy * |
| 2023-06-19 02:24:02 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 02:24:22 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 02:32:05 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 2023-06-19 02:39:25 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 02:39:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 02:41:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-19 02:46:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-19 02:46:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-19 02:53:45 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 02:54:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 02:54:23 +0200 | bilegeek_ | (~bilegeek@218.sub-174-228-102.myvzw.com) |
| 2023-06-19 02:55:17 +0200 | dove | (~irc@2600:3c00:e000:287::1) (Server closed connection) |
| 2023-06-19 02:55:35 +0200 | dove | (~irc@2600:3c00:e000:287::1) |
| 2023-06-19 02:56:29 +0200 | bilegeek | (~bilegeek@2600:1008:b0a2:c545:7bfb:76e2:41bb:db48) (Ping timeout: 240 seconds) |
| 2023-06-19 02:58:19 +0200 | <[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 *> _`. |
| 2023-06-19 03:05:36 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 03:06:18 +0200 | driib | (~driib@176.57.184.141) |
| 2023-06-19 03:13:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-19 03:17:24 +0200 | driib | (~driib@176.57.184.141) (Remote host closed the connection) |
| 2023-06-19 03:18:06 +0200 | driib | (~driib@176.57.184.141) |
| 2023-06-19 03:18:16 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.8) |
| 2023-06-19 03:19:23 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-19 03:29:10 +0200 | driib | (~driib@176.57.184.141) (Remote host closed the connection) |
| 2023-06-19 03:29:54 +0200 | driib | (~driib@176.57.184.141) |
| 2023-06-19 03:37:06 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2023-06-19 03:37:23 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-06-19 03:41:28 +0200 | driib | (~driib@176.57.184.141) (Remote host closed the connection) |
| 2023-06-19 03:41:48 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 03:43:15 +0200 | dagi75224 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 255 seconds) |
| 2023-06-19 03:45:41 +0200 | <ijqq> | ah cool idea |
| 2023-06-19 03:50:51 +0200 | <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? |
| 2023-06-19 03:51:46 +0200 | <ijqq> | so it gives always gives the parser a chance to reach the delim? |
| 2023-06-19 03:53:37 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-06-19 03:55:24 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-19 03:55:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-19 03:57:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) (Remote host closed the connection) |
| 2023-06-19 04:00:49 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 04:01:53 +0200 | <ijqq> | here is a small section http://sprunge.us/3BBxP4 I think that works :) |
| 2023-06-19 04:06:04 +0200 | <[Leary]> | Looks right, though rather than a new primitive `singleCharAsString`, I would write `anyChar = is (const True)` and use `fmap pure <$> anyChar`. |
| 2023-06-19 04:06:57 +0200 | <[Leary]> | Err, `pure <$> anyChar`. |
| 2023-06-19 04:07:14 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2023-06-19 04:10:02 +0200 | <EvanR> | did you miss an opportunity to use the gobbling creature operator (:[]) |
| 2023-06-19 04:10:36 +0200 | <ijqq> | oh yep, nice |
| 2023-06-19 04:10:52 +0200 | <ijqq> | thanks for the help btw, I really appreciate it |
| 2023-06-19 04:12:04 +0200 | <ijqq> | hahaha Evan |
| 2023-06-19 04:16:56 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-19 04:21:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-19 04:21:54 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-19 04:21:54 +0200 | finn_elija | FinnElija |
| 2023-06-19 04:33:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) |
| 2023-06-19 04:35:28 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-19 04:38:02 +0200 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
| 2023-06-19 04:39:55 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2023-06-19 04:43:39 +0200 | alinab_ | (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
| 2023-06-19 04:43:46 +0200 | alinab_ | (sid468903@id-468903.helmsley.irccloud.com) |
| 2023-06-19 04:44:56 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2023-06-19 04:48:05 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection) |
| 2023-06-19 04:49:46 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-06-19 04:50:29 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 04:51:04 +0200 | parseval | (sid239098@2a03:5180:f:1::3:a5fa) |
| 2023-06-19 04:51:30 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 04:51:37 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-06-19 04:52:00 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 04:52:08 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2023-06-19 04:52:19 +0200 | buhman_ | (sid411355@id-411355.tinside.irccloud.com) (Server closed connection) |
| 2023-06-19 04:52:44 +0200 | buhman_ | (sid411355@id-411355.tinside.irccloud.com) |
| 2023-06-19 04:54:08 +0200 | phma | (phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99) (Read error: Connection reset by peer) |
| 2023-06-19 04:54:33 +0200 | phma | (phma@2001:5b0:211c:2af8:15:b59b:6820:5603) |
| 2023-06-19 04:55:31 +0200 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-19 04:56:34 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-19 05:02:11 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2023-06-19 05:02:32 +0200 | russruss2 | (~russruss@my.russellmcc.com) |
| 2023-06-19 05:04:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-06-19 05:08:15 +0200 | aforemny_ | (~aforemny@i59F516E6.versanet.de) |
| 2023-06-19 05:09:12 +0200 | aforemny | (~aforemny@2001:9e8:6ce0:8f00:7cf4:9859:63d6:96a8) (Ping timeout: 240 seconds) |
| 2023-06-19 05:10:24 +0200 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 258 seconds) |
| 2023-06-19 05:18:22 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-06-19 05:18:52 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-06-19 05:31:34 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (Server closed connection) |
| 2023-06-19 05:31:43 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2023-06-19 05:33:43 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: leaving) |
| 2023-06-19 05:35:13 +0200 | bilegeek_ | (~bilegeek@218.sub-174-228-102.myvzw.com) (Quit: Leaving) |
| 2023-06-19 05:58:01 +0200 | kimiamania6 | (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-19 05:59:31 +0200 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-19 06:03:45 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 265 seconds) |
| 2023-06-19 06:05:24 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-19 06:06:55 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-19 06:13:00 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-06-19 06:14:50 +0200 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2023-06-19 06:15:10 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:15:36 +0200 | gawen | (~gawen@user/gawen) |
| 2023-06-19 06:19:52 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-19 06:20:33 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 2023-06-19 06:21:29 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:24:22 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (Server closed connection) |
| 2023-06-19 06:24:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-19 06:24:47 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2023-06-19 06:25:40 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Client Quit) |
| 2023-06-19 06:27:58 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:29:59 +0200 | trev | (~trev@user/trev) |
| 2023-06-19 06:32:02 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 06:33:25 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-06-19 06:34:15 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:39:12 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-06-19 06:41:16 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:41:31 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2023-06-19 06:42:58 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:45:10 +0200 | dysfigured | (~dfg@dfg.rocks) (Server closed connection) |
| 2023-06-19 06:45:28 +0200 | dfg | (~dfg@user/dfg) |
| 2023-06-19 06:48:12 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 2023-06-19 06:51:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:51:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2023-06-19 06:52:27 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 06:59:00 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-06-19 06:59:09 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-06-19 07:02:41 +0200 | Buggys- | (Buggys@shelltalk.net) |
| 2023-06-19 07:03:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-06-19 07:03:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 2023-06-19 07:04:15 +0200 | phma | (phma@2001:5b0:211c:2af8:15:b59b:6820:5603) (Read error: Connection reset by peer) |
| 2023-06-19 07:05:25 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-19 07:05:29 +0200 | phma | (phma@2001:5b0:211b:a558:6f16:d106:7587:769) |
| 2023-06-19 07:10:44 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-19 07:10:51 +0200 | toastloop | (~toastloop@user/toastloop) (Read error: Connection reset by peer) |
| 2023-06-19 07:17:32 +0200 | jinsl | (~jinsl@123.120.169.188) (Ping timeout: 240 seconds) |
| 2023-06-19 07:18:15 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) |
| 2023-06-19 07:21:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-19 07:28:01 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-06-19 07:28:34 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 2023-06-19 07:28:44 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2023-06-19 07:30:38 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-19 07:32:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-19 07:34:08 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-19 07:34:56 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-19 07:36:16 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-19 07:40:50 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-19 07:42:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-06-19 07:49:24 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-06-19 07:50:26 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-19 07:51:45 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-19 07:57:48 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-19 08:02:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) |
| 2023-06-19 08:04:59 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-19 08:06:31 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 2023-06-19 08:09:56 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-19 08:17:12 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-06-19 08:17:30 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-06-19 08:23:40 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-06-19 08:24:07 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-19 08:24:54 +0200 | c_wraith | (~c_wraith@adjoint.us) (Server closed connection) |
| 2023-06-19 08:25:24 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-19 08:26:06 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2023-06-19 08:32:59 +0200 | shapr | (~user@2600:1700:c640:3100:3535:5e4a:aa6f:7d0) (Ping timeout: 240 seconds) |
| 2023-06-19 08:33:47 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-19 08:33:59 +0200 | Zamyatins_Sky | (~Zamyatins@broadband-188-255-84-143.ip.moscow.rt.ru) |
| 2023-06-19 08:34:29 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-19 08:38:46 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-19 08:41:18 +0200 | aforemny_ | aforemny |
| 2023-06-19 08:43:58 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-06-19 08:47:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-06-19 08:48:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-19 08:55:21 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-19 08:56:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-06-19 08:56:11 +0200 | tromp | (~textual@92.110.219.57) |
| 2023-06-19 08:56:47 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 2023-06-19 08:57:17 +0200 | werneta | (~werneta@70.142.214.115) |
| 2023-06-19 09:01:04 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 09:06:55 +0200 | lortabac | (~lortabac@37.170.17.4) |
| 2023-06-19 09:08:25 +0200 | dumptruckman | (~dumptruck@143-42-239-71.ip.linodeusercontent.com) (Server closed connection) |
| 2023-06-19 09:13:14 +0200 | lortabac | (~lortabac@37.170.17.4) (Read error: Connection reset by peer) |
| 2023-06-19 09:16:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-19 09:17:10 +0200 | lortabac | (~lortabac@88.125.6.227) |
| 2023-06-19 09:21:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-19 09:21:14 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (Server closed connection) |
| 2023-06-19 09:21:47 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2023-06-19 09:25:30 +0200 | hololeap | (~quassel@user/hololeap) (Server closed connection) |
| 2023-06-19 09:25:46 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-06-19 09:29:07 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-19 09:37:23 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-19 09:37:52 +0200 | lortabac | (~lortabac@88.125.6.227) (Ping timeout: 265 seconds) |
| 2023-06-19 09:38:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-19 09:39:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d29b:38fe:65fe:1c57) |
| 2023-06-19 09:42:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-06-19 09:54:12 +0200 | werneta | (~werneta@70.142.214.115) (Ping timeout: 240 seconds) |
| 2023-06-19 09:56:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-19 10:00:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-06-19 10:03:08 +0200 | foul_owl | (~kerry@212.102.47.117) (Ping timeout: 240 seconds) |
| 2023-06-19 10:07:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-19 10:07:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-19 10:08:49 +0200 | img | (~img@user/img) |
| 2023-06-19 10:10:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-19 10:13:31 +0200 | img | (~img@user/img) (Client Quit) |
| 2023-06-19 10:13:42 +0200 | arrowhead | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 2023-06-19 10:14:08 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) |
| 2023-06-19 10:17:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-06-19 10:18:30 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-06-19 10:21:35 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-19 10:25:53 +0200 | img | (~img@user/img) |
| 2023-06-19 10:28:04 +0200 | chele | (~chele@user/chele) |
| 2023-06-19 10:31:26 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Remote host closed the connection) |
| 2023-06-19 10:31:49 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-19 10:34:44 +0200 | aforemny | (~aforemny@i59F516E6.versanet.de) (Ping timeout: 240 seconds) |
| 2023-06-19 10:36:51 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) |
| 2023-06-19 10:38:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-19 10:46:15 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) (Ping timeout: 260 seconds) |
| 2023-06-19 10:46:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cce:9300:5557:5a11:a173:e573) |
| 2023-06-19 10:48:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-19 10:49:30 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 2023-06-19 10:50:19 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-19 10:52:23 +0200 | danse-nr3 | (~francesco@151.44.145.241) |
| 2023-06-19 11:03:34 +0200 | sanjai | (uid606752@id-606752.uxbridge.irccloud.com) |
| 2023-06-19 11:13:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-19 11:13:20 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-19 11:13:39 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection) |
| 2023-06-19 11:13:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-06-19 11:13:53 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-06-19 11:16:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-19 11:18:10 +0200 | ripspin | (~chatzilla@1.145.165.46) |
| 2023-06-19 11:18:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-19 11:22:52 +0200 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 11:23:37 +0200 | ripspin | (~chatzilla@1.145.165.46) (Remote host closed the connection) |
| 2023-06-19 11:24:12 +0200 | laxmik | (~user@cfeld-pcx40162.desy.de) |
| 2023-06-19 11:28:48 +0200 | danse-nr3_ | (~francesco@151.46.178.119) |
| 2023-06-19 11:30:54 +0200 | danse-nr3 | (~francesco@151.44.145.241) (Ping timeout: 252 seconds) |
| 2023-06-19 11:32:38 +0200 | user____ | (~user@dynamic-046-114-178-038.46.114.pool.telefonica.de) |
| 2023-06-19 11:34:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 11:41:17 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 2023-06-19 11:49:13 +0200 | ft | (~ft@p508dbdef.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-06-19 12:00:44 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-19 12:07:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) (Remote host closed the connection) |
| 2023-06-19 12:09:22 +0200 | mmhat | (~mmh@p200300f1c702b0a3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-19 12:11:42 +0200 | mmhat | (~mmh@p200300f1c702b0a3ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-06-19 12:19:05 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-06-19 12:26:54 +0200 | danse-nr3_ | (~francesco@151.46.178.119) (Remote host closed the connection) |
| 2023-06-19 12:27:16 +0200 | danse-nr3_ | (~francesco@151.46.178.119) |
| 2023-06-19 12:33:47 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-19 12:36:19 +0200 | ripspin | (~chatzilla@1.145.173.14) |
| 2023-06-19 12:47:20 +0200 | <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." |
| 2023-06-19 12:47:34 +0200 | <ddrone[m]> | The problem is that lsp-types is already listed as a dependency in .cabal file |
| 2023-06-19 12:49:44 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-06-19 12:50:28 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-19 12:50:31 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-19 12:51:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-06-19 12:53:14 +0200 | <ncf> | https://paste.tomsmeding.com/ |
| 2023-06-19 12:56:56 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-06-19 12:58:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-19 12:58:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 13:01:06 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-19 13:01:59 +0200 | xilo | (~yourname@84.32.165.17) (Server closed connection) |
| 2023-06-19 13:02:13 +0200 | xilo | (~yourname@84.32.165.17) |
| 2023-06-19 13:02:58 +0200 | <merijn> | Yeah, paste your cabal file |
| 2023-06-19 13:07:40 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-06-19 13:07:48 +0200 | <ddrone[m]> | Figured it a workaround already, pretty sure it's a bug with Cabal generating bad error message thoguh |
| 2023-06-19 13:07:56 +0200 | <ddrone[m]> | s/thoguh/though/ |
| 2023-06-19 13:08:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 13:10:04 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-19 13:10:19 +0200 | <merijn> | ddrone[m]: That seems unlikely, tbh. Can you pastebin the file/your workaround? |
| 2023-06-19 13:12:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 2023-06-19 13:13:30 +0200 | <ddrone[m]> | merijn: This is a "workaround" https://github.com/haskell/lsp/issues/494 |
| 2023-06-19 13:15:47 +0200 | <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"? |
| 2023-06-19 13:16:27 +0200 | <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 |
| 2023-06-19 13:17:18 +0200 | <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) |
| 2023-06-19 13:17:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-19 13:17:53 +0200 | <merijn> | It's a bit awkward their readme wasn't updated for the 2.0 release |
| 2023-06-19 13:18:12 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:5d76:93d4:4b5f:a8c9) |
| 2023-06-19 13:18:45 +0200 | <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 |
| 2023-06-19 13:19:07 +0200 | <merijn> | How is cabal suggesting you to add modules? |
| 2023-06-19 13:19:16 +0200 | <merijn> | It's suggesting you added the modules you wrote in the source |
| 2023-06-19 13:19:39 +0200 | <merijn> | How is it supposed to determine you wrote the wrong imports? |
| 2023-06-19 13:20:08 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-19 13:20:16 +0200 | <merijn> | You wrote imports in your source that don't exist, cabal reports that and list that package(s) that supply those imports |
| 2023-06-19 13:20:41 +0200 | danse-nr3_ | danse-nr3 |
| 2023-06-19 13:20:55 +0200 | <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" |
| 2023-06-19 13:21:54 +0200 | <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) |
| 2023-06-19 13:22:04 +0200 | <ddrone[m]> | Basically, from my POV Cabal shouldn't recommend me to change the version of a package that I already depend on |
| 2023-06-19 13:22:21 +0200 | <ddrone[m]> | Or at least it should provide way more context in the error message to not make it confusing |
| 2023-06-19 13:22:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-19 13:22:41 +0200 | <merijn> | I don't have the full error message, so I can't judge |
| 2023-06-19 13:23:11 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-19 13:23:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-06-19 13:24:25 +0200 | <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 |
| 2023-06-19 13:25:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-06-19 13:30:46 +0200 | <ddrone[m]> | Here you go: https://github.com/ddrone/cabal-issue-repro |
| 2023-06-19 13:31:18 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-19 13:32:50 +0200 | foul_owl | (~kerry@45.143.82.39) |
| 2023-06-19 13:34:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 13:40:03 +0200 | <lortabac> | interesting, I wonder how Cabal even knows about the previous version of the package |
| 2023-06-19 13:42:21 +0200 | <[Leary]> | It says it's a hidden package, so it should be "installed" in the environment. |
| 2023-06-19 13:43:35 +0200 | danse-nr3 | (~francesco@151.46.178.119) (Ping timeout: 260 seconds) |
| 2023-06-19 13:43:40 +0200 | <lortabac> | [Leary]: even if a previous version is installed, the freeze file has another version, why even bothering looking at the installed versions? |
| 2023-06-19 13:47:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-06-19 13:47:40 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:5d76:93d4:4b5f:a8c9) (Ping timeout: 260 seconds) |
| 2023-06-19 13:48:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-19 13:49:29 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-19 13:49:53 +0200 | <[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. |
| 2023-06-19 13:50:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 13:51:10 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-06-19 13:51:43 +0200 | <lortabac> | I don't know, it seems like a bug to me |
| 2023-06-19 13:51:58 +0200 | <lortabac> | or maybe just bad UX |
| 2023-06-19 13:52:08 +0200 | danse-nr3 | (~francesco@151.46.178.119) |
| 2023-06-19 13:52:48 +0200 | <[Leary]> | (or conflicts with the cabal file as is) |
| 2023-06-19 13:52:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 13:53:04 +0200 | <[Leary]> | And yeah, I'm not contesting that the behaviour here is bad. |
| 2023-06-19 13:53:13 +0200 | <[Leary]> | It merits an issue, if it still happens with the latest version. |
| 2023-06-19 13:53:27 +0200 | <merijn> | lortabac, [Leary]: The problem is that the package was using lsp-types 2.0 (therefore 1.6 is hidden and out of scope) |
| 2023-06-19 13:53:54 +0200 | <merijn> | but due to the refactoring of lsp-types the module names from the readme only exist in 1.6 and older |
| 2023-06-19 13:54:26 +0200 | <merijn> | lortabac: It checks the packages in the global store for modules, I think |
| 2023-06-19 13:54:40 +0200 | <merijn> | So at some point he installed 1.6 |
| 2023-06-19 13:54:42 +0200 | [exa] | (~exa@srv3n.blesmrt.net) (Server closed connection) |
| 2023-06-19 13:54:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-19 13:54:51 +0200 | [exa] | (~exa@srv3n.blesmrt.net) |
| 2023-06-19 13:58:28 +0200 | <ddrone[m]> | <[Leary]> "It merits an issue, if it..." <- I did file an issue: https://github.com/haskell/cabal/issues/9045 |
| 2023-06-19 14:07:10 +0200 | abrar_ | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (Server closed connection) |
| 2023-06-19 14:07:34 +0200 | abrar_ | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) |
| 2023-06-19 14:09:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 14:14:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 2023-06-19 14:18:47 +0200 | <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 |
| 2023-06-19 14:19:29 +0200 | <Unicorn_Princess> | i changed it by using a convertToKg :: MassUnit -> Float, helper function instead, which gets me a warning if any patterns are missing |
| 2023-06-19 14:19:32 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
| 2023-06-19 14:20:29 +0200 | <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 |
| 2023-06-19 14:22:12 +0200 | <merijn> | Unicorn_Princess: That seems very hard to detect in general (which is one reason some people dislike wildcard patterns in functions) |
| 2023-06-19 14:22:50 +0200 | <Unicorn_Princess> | that is what i feared |
| 2023-06-19 14:22:57 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-06-19 14:24:34 +0200 | danso | (~danso@user/danso) (Server closed connection) |
| 2023-06-19 14:24:48 +0200 | danso | (~danso@user/danso) |
| 2023-06-19 14:27:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-19 14:42:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 14:52:54 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) |
| 2023-06-19 14:53:18 +0200 | danse-nr3 | (~francesco@151.46.178.119) (Ping timeout: 252 seconds) |
| 2023-06-19 14:55:41 +0200 | <kuribas> | "To run GHC comfortably, your machine should have at least 64M of memory." Really? Shouldn't that be 4GB? |
| 2023-06-19 14:56:10 +0200 | <kuribas> | oh GHC 4.08 ... |
| 2023-06-19 15:07:39 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Server closed connection) |
| 2023-06-19 15:07:45 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-06-19 15:18:44 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-06-19 15:19:01 +0200 | Guest34 | (~Guest34@linc-15-b2-v4wan-163382-cust1404.vm15.cable.virginm.net) |
| 2023-06-19 15:20:07 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-19 15:22:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-19 15:22:52 +0200 | laxmik | (~user@cfeld-pcx40162.desy.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2023-06-19 15:23:26 +0200 | Guest34 | (~Guest34@linc-15-b2-v4wan-163382-cust1404.vm15.cable.virginm.net) (Client Quit) |
| 2023-06-19 15:32:05 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-19 15:37:38 +0200 | jil | (~user@vps-15050500.vps.ovh.net) (Server closed connection) |
| 2023-06-19 15:37:50 +0200 | jil | (~user@vps-15050500.vps.ovh.net) |
| 2023-06-19 15:41:42 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-19 15:41:43 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-19 15:41:43 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-19 15:53:00 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-06-19 16:01:41 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-06-19 16:01:42 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 2023-06-19 16:04:12 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-06-19 16:05:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-19 16:11:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 16:12:26 +0200 | danse-nr3 | (~francesco@151.44.203.114) |
| 2023-06-19 16:15:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Ping timeout: 240 seconds) |
| 2023-06-19 16:17:14 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection) |
| 2023-06-19 16:17:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f665c2859b62a6f2ac7.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-06-19 16:17:57 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2023-06-19 16:20:12 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-19 16:20:28 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-06-19 16:20:48 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-19 16:21:19 +0200 | winny | (~weechat@user/winny) (Server closed connection) |
| 2023-06-19 16:21:33 +0200 | thegeekinside | (~thegeekin@189.180.9.45) |
| 2023-06-19 16:22:09 +0200 | winny | (~weechat@user/winny) |
| 2023-06-19 16:23:48 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-19 16:25:15 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-19 16:30:47 +0200 | chomwitt | (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) |
| 2023-06-19 16:38:37 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-19 16:40:20 +0200 | ubert | (~Thunderbi@p200300ecdf0da9ac5cdf960cafa3cfa2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-19 16:40:53 +0200 | ubert | (~Thunderbi@p200300ecdf0da9b7936e74d537b318ad.dip0.t-ipconnect.de) |
| 2023-06-19 16:46:30 +0200 | shapr | (~user@2600:1700:c640:3100:b200:1e:c683:a8da) |
| 2023-06-19 16:52:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 16:56:56 +0200 | <dolio> | Defeintely need at least 64MB. |
| 2023-06-19 16:57:44 +0200 | <kuribas> | at least 64kb even. |
| 2023-06-19 16:58:13 +0200 | <dolio> | Dunno how much it's regressed, but I used GHC in college, and that machine only had 768MB, if I recall. |
| 2023-06-19 16:59:29 +0200 | <geekosaur> | that sent me back to the days when I had a "big" machine with 24MB and dual 486es 🙂 |
| 2023-06-19 16:59:54 +0200 | <dolio> | I suppose a lot of stuff has been rewritten since then. |
| 2023-06-19 17:00:39 +0200 | <kuribas> | we still run X-windows :) |
| 2023-06-19 17:01:53 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 2023-06-19 17:01:56 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-06-19 17:02:28 +0200 | <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. |
| 2023-06-19 17:04:25 +0200 | <kuribas> | running dumb bloated UIs written in javascript obviously. |
| 2023-06-19 17:04:56 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 258 seconds) |
| 2023-06-19 17:17:54 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Server closed connection) |
| 2023-06-19 17:18:11 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-06-19 17:19:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-19 17:19:32 +0200 | mauke | (~mauke@user/mauke) |
| 2023-06-19 17:23:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-19 17:26:43 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-19 17:28:05 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2023-06-19 17:40:29 +0200 | zazaeil | (~user@91.234.25.217) |
| 2023-06-19 17:44:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-19 17:44:40 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-19 17:46:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-19 17:46:18 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2023-06-19 17:46:29 +0200 | R3s1st0r | (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 2023-06-19 17:50:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-19 17:50:48 +0200 | R3s1st0r | (~Resistor@fixed-186-96-5-255.totalplay.net) (Remote host closed the connection) |
| 2023-06-19 17:51:11 +0200 | R3s1st0r | (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 2023-06-19 17:52:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-19 17:52:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-06-19 17:58:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-19 18:05:30 +0200 | matthias1 | (~igloo@47.155.114.211) |
| 2023-06-19 18:07:38 +0200 | danse-nr3 | (~francesco@151.44.203.114) (Ping timeout: 252 seconds) |
| 2023-06-19 18:09:13 +0200 | matthias1 | (~igloo@47.155.114.211) (Remote host closed the connection) |
| 2023-06-19 18:10:08 +0200 | hiredman | (~hiredman@138.68.1.198) |
| 2023-06-19 18:12:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 18:13:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-06-19 18:13:45 +0200 | danse-nr3 | (~francesco@151.44.203.114) |
| 2023-06-19 18:16:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 18:18:47 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 2023-06-19 18:19:12 +0200 | danse-nr3 | (~francesco@151.44.203.114) (Ping timeout: 240 seconds) |
| 2023-06-19 18:19:15 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2023-06-19 18:19:25 +0200 | [exa] | (~exa@srv3n.blesmrt.net) (Changing host) |
| 2023-06-19 18:19:25 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-06-19 18:21:41 +0200 | stilgart | (~Christoph@chezlefab.net) (Server closed connection) |
| 2023-06-19 18:21:50 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2023-06-19 18:22:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d29b:38fe:65fe:1c57) (Quit: WeeChat 2.8) |
| 2023-06-19 18:23:54 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-06-19 18:27:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 18:29:32 +0200 | danse-nr3 | (~francesco@151.44.203.114) |
| 2023-06-19 18:30:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-19 18:40:02 +0200 | laxmik | (~laxmik@2a01:c23:8dde:2500:d9a2:cb8d:4463:57a3) |
| 2023-06-19 18:41:08 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-19 18:44:38 +0200 | laxmik | (~laxmik@2a01:c23:8dde:2500:d9a2:cb8d:4463:57a3) (Client Quit) |
| 2023-06-19 18:50:46 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2023-06-19 18:52:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 19:05:00 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-06-19 19:14:39 +0200 | apache | (apache2@anubis.0x90.dk) (Server closed connection) |
| 2023-06-19 19:15:15 +0200 | apache2 | (apache2@46.101.137.181) |
| 2023-06-19 19:15:21 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-19 19:15:37 +0200 | tzh | (~tzh@24.21.73.154) |
| 2023-06-19 19:20:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-19 19:20:58 +0200 | danse-nr3 | (~francesco@151.44.203.114) (Ping timeout: 252 seconds) |
| 2023-06-19 19:23:32 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2023-06-19 19:24:18 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-19 19:24:45 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-06-19 19:25:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-19 19:25:17 +0200 | shapr | (~user@2600:1700:c640:3100:b200:1e:c683:a8da) (Remote host closed the connection) |
| 2023-06-19 19:26:37 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-19 19:26:42 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-19 19:28:42 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-19 19:30:26 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 2023-06-19 19:35:08 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-06-19 19:36:26 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-19 19:37:34 +0200 | ripspin | (~chatzilla@1.145.173.14) (Remote host closed the connection) |
| 2023-06-19 19:37:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-19 19:39:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection) |
| 2023-06-19 19:40:02 +0200 | AlexZenon | (~alzenon@178.34.163.88) (Ping timeout: 252 seconds) |
| 2023-06-19 19:40:11 +0200 | Alex_test | (~al_test@178.34.163.88) (Ping timeout: 258 seconds) |
| 2023-06-19 19:41:52 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 240 seconds) |
| 2023-06-19 19:42:01 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-19 19:44:59 +0200 | Alex_test | (~al_test@178.34.163.88) |
| 2023-06-19 19:46:11 +0200 | AlexZenon | (~alzenon@178.34.163.88) |
| 2023-06-19 19:46:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-19 19:48:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 19:58:11 +0200 | dfordvm | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (Server closed connection) |
| 2023-06-19 19:58:39 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2023-06-19 20:00:02 +0200 | danse-nr3 | (~francesco@151.44.216.151) |
| 2023-06-19 20:02:45 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-19 20:03:29 +0200 | R3s1st0r_ | (~Resistor@fixed-186-96-5-255.totalplay.net) |
| 2023-06-19 20:04:47 +0200 | shapr | (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) |
| 2023-06-19 20:07:10 +0200 | R3s1st0r | (~Resistor@fixed-186-96-5-255.totalplay.net) (Ping timeout: 252 seconds) |
| 2023-06-19 20:10:16 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-06-19 20:12:37 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-19 20:16:05 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-19 20:18:47 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-19 20:19:33 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-19 20:23:34 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-19 20:24:52 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-19 20:25:14 +0200 | <ijqq> | hello |
| 2023-06-19 20:25:27 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Quit: Client closed) |
| 2023-06-19 20:26:05 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 260 seconds) |
| 2023-06-19 20:28:26 +0200 | danse-nr3 | (~francesco@151.44.216.151) (Ping timeout: 252 seconds) |
| 2023-06-19 20:28:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-19 20:34:47 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-19 20:35:08 +0200 | chomwitt | (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-06-19 20:36:14 +0200 | <EvanR> | hello |
| 2023-06-19 20:36:25 +0200 | <ijqq> | How's it going? |
| 2023-06-19 20:37:14 +0200 | statusbot9 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Server closed connection) |
| 2023-06-19 20:37:30 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-06-19 20:38:52 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-19 20:42:35 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 20:43:00 +0200 | <EvanR> | code is frying my brain |
| 2023-06-19 20:43:14 +0200 | <ijqq> | what are you working on? |
| 2023-06-19 20:43:58 +0200 | <EvanR> | conveyor belt and factories thing |
| 2023-06-19 20:45:34 +0200 | <ijqq> | is it in haskell? |
| 2023-06-19 20:46:22 +0200 | <EvanR> | I'm writing the code is several languages at once which is probably part of the frustration |
| 2023-06-19 20:47:08 +0200 | <EvanR> | many things are easier in haskell then it doesn't translate to other languages (and vice versa) |
| 2023-06-19 20:47:26 +0200 | <ijqq> | ah okay, is it for work or something else? conveyor belt and factories thing is quite vague haha |
| 2023-06-19 20:47:55 +0200 | <EvanR> | nope just self inflicted |
| 2023-06-19 20:48:03 +0200 | <ijqq> | haha all the better |
| 2023-06-19 20:48:14 +0200 | danse-nr3 | (~francesco@151.44.216.151) |
| 2023-06-19 20:48:40 +0200 | <ijqq> | oh yeah I think it is a holiday in us or canada today |
| 2023-06-19 20:51:47 +0200 | <EvanR> | june 19th 1865 an enforcement order was issued to free all remaining slaves in texas |
| 2023-06-19 20:52:52 +0200 | bah_ | (~bah@l1.tel) (Server closed connection) |
| 2023-06-19 20:53:01 +0200 | bah | (~bah@l1.tel) |
| 2023-06-19 20:54:59 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-06-19 20:57:34 +0200 | <ijqq> | oh interesting. i don't know how i've never heard of it before. |
| 2023-06-19 21:02:51 +0200 | boukenshaou | (~Boukensha@223.178.82.245) |
| 2023-06-19 21:04:20 +0200 | <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 |
| 2023-06-19 21:04:25 +0200 | <ijqq> | like to edit, remove, etc. |
| 2023-06-19 21:04:26 +0200 | <ijqq> | http://sprunge.us/gttvK0?haskell |
| 2023-06-19 21:05:27 +0200 | <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. |
| 2023-06-19 21:05:42 +0200 | R3s1st0r__ | (~Resistor@static-189-206-205-218.alestra.net.mx) |
| 2023-06-19 21:05:44 +0200 | alpm | (~alp@user/alp) (Server closed connection) |
| 2023-06-19 21:05:57 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-19 21:06:10 +0200 | alpm | (~alp@user/alp) |
| 2023-06-19 21:07:11 +0200 | <jade[m]1> | I think it's fine the way it is honestly |
| 2023-06-19 21:07:13 +0200 | <EvanR> | at least for fmap, it can be defined for you using extension DeriveFunctor |
| 2023-06-19 21:07:57 +0200 | <jade[m]1> | you could make TomlString an instance of IsString and with -XOverloadedStrings make some of the creation of values more ergonomic |
| 2023-06-19 21:08:05 +0200 | R3s1st0r_ | (~Resistor@fixed-186-96-5-255.totalplay.net) (Ping timeout: 240 seconds) |
| 2023-06-19 21:08:26 +0200 | <ijqq> | oh okay right thank you, i didn't know about those extensions |
| 2023-06-19 21:08:34 +0200 | <jade[m]1> | jade[m]1: TomlValue rather, but then you need to parse it |
| 2023-06-19 21:09:04 +0200 | danse-nr3 | (~francesco@151.44.216.151) (Remote host closed the connection) |
| 2023-06-19 21:10:46 +0200 | <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? |
| 2023-06-19 21:12:26 +0200 | <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 |
| 2023-06-19 21:13:13 +0200 | <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 |
| 2023-06-19 21:13:18 +0200 | <EvanR> | IsString is handy when your type is similar to a String |
| 2023-06-19 21:13:36 +0200 | <EvanR> | or has a string-like variant |
| 2023-06-19 21:13:56 +0200 | <jade[m]1> | or even tTrue = TomlBool True and tFalse = TomlBool False |
| 2023-06-19 21:13:59 +0200 | <EvanR> | but it can also make type inference fail more |
| 2023-06-19 21:15:20 +0200 | <EvanR> | if it would require parsing into structured data first that is a questionable IsString |
| 2023-06-19 21:15:31 +0200 | <EvanR> | it would be more like MaybeString (not a real class xD) |
| 2023-06-19 21:15:42 +0200 | <jade[m]1> | haha yeah |
| 2023-06-19 21:16:01 +0200 | <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 |
| 2023-06-19 21:16:01 +0200 | <ijqq> | things and add things etc. and i was wondering if there is a more haskelly way to do it |
| 2023-06-19 21:16:15 +0200 | <jade[m]1> | you might just stick to what you have and write some convinience constructor aliases like str = TomlString |
| 2023-06-19 21:16:17 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-06-19 21:17:12 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-06-19 21:17:17 +0200 | <ijqq> | i currently have data types |
| 2023-06-19 21:17:18 +0200 | <ijqq> | data Expr = Pair [String] Value | Table [String] | ArrayTable [String] deriving (Show) |
| 2023-06-19 21:17:18 +0200 | <ijqq> | data Value = TomlString String | TomlBool Bool | TomlFloat | TomlInt Integer | TomlArray [Value] deriving (Show) |
| 2023-06-19 21:17:44 +0200 | <ijqq> | so I just need to transform this into a proper nested dictionary kind of thing |
| 2023-06-19 21:17:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-06-19 21:17:47 +0200 | <EvanR> | or you could just have a map of stuff like foo.bar.baz to values, use the whole path as the key |
| 2023-06-19 21:19:48 +0200 | <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. |
| 2023-06-19 21:20:10 +0200 | <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? |
| 2023-06-19 21:20:32 +0200 | <ijqq> | unless i'm misunderstanding what you mean? |
| 2023-06-19 21:21:20 +0200 | <EvanR> | I actually don't know the full scope of the objective. Seems to be a bit beyond "parse TOML" |
| 2023-06-19 21:21:49 +0200 | <EvanR> | in haskell (this test suite is a go program?) |
| 2023-06-19 21:26:38 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:3dce:4fb0:a4ec:86ee) |
| 2023-06-19 21:27:07 +0200 | <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 |
| 2023-06-19 21:27:07 +0200 | <ijqq> | give to stdout |
| 2023-06-19 21:28:29 +0200 | <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 |
| 2023-06-19 21:30:37 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-19 21:30:38 +0200 | <EvanR> | unless you also want to be writing a json library, you could use aeson as the target type of your parser |
| 2023-06-19 21:31:10 +0200 | <EvanR> | aesons Value type representing generic json data |
| 2023-06-19 21:32:13 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-19 21:32:35 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:3dce:4fb0:a4ec:86ee) (Quit: DDR is not Dance Dance Revolution) |
| 2023-06-19 21:32:58 +0200 | foul_owl | (~kerry@45.143.82.39) (Ping timeout: 252 seconds) |
| 2023-06-19 21:45:00 +0200 | <ijqq> | oh intersting, i will look into that |
| 2023-06-19 21:48:28 +0200 | thegeekinside | (~thegeekin@189.180.9.45) (Remote host closed the connection) |
| 2023-06-19 21:54:59 +0200 | esph | (~weechat@user/esph) (Server closed connection) |
| 2023-06-19 21:55:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-19 21:55:46 +0200 | esph | (~weechat@user/esph) |
| 2023-06-19 22:00:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 2023-06-19 22:02:21 +0200 | thegeekinside | (~thegeekin@189.180.9.45) |
| 2023-06-19 22:02:32 +0200 | user____ | (~user@dynamic-046-114-178-038.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-06-19 22:03:25 +0200 | thegeekinside | (~thegeekin@189.180.9.45) (Remote host closed the connection) |
| 2023-06-19 22:04:50 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-06-19 22:05:13 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 2023-06-19 22:05:30 +0200 | <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 |
| 2023-06-19 22:06:05 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-06-19 22:06:26 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-19 22:06:44 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:06:44 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:06:52 +0200 | shapr | (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) (Remote host closed the connection) |
| 2023-06-19 22:07:00 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:07:00 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:07:06 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:06 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:06 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:08 +0200 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:07:15 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:15 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:19 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2023-06-19 22:07:19 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-06-19 22:07:19 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2023-06-19 22:07:20 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:22 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) |
| 2023-06-19 22:07:23 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:26 +0200 | jackdk | (sid373013@cssa/jackdk) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:29 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:30 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 2023-06-19 22:07:30 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2023-06-19 22:07:32 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-19 22:07:32 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-06-19 22:07:34 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:35 +0200 | sanjai | (uid606752@id-606752.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:35 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2023-06-19 22:07:35 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2023-06-19 22:07:37 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2023-06-19 22:07:40 +0200 | thegeekinside | (~thegeekin@189.180.9.45) |
| 2023-06-19 22:07:42 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
| 2023-06-19 22:07:43 +0200 | sanjai | (uid606752@id-606752.uxbridge.irccloud.com) |
| 2023-06-19 22:07:46 +0200 | remsen | (ianremsen@tilde.team) (Ping timeout: 258 seconds) |
| 2023-06-19 22:07:50 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) |
| 2023-06-19 22:07:57 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) |
| 2023-06-19 22:08:09 +0200 | PotatoGim_ | (sid99505@id-99505.lymington.irccloud.com) |
| 2023-06-19 22:08:35 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-06-19 22:08:40 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Remote host closed the connection) |
| 2023-06-19 22:08:42 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2023-06-19 22:08:58 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 265 seconds) |
| 2023-06-19 22:09:01 +0200 | lexi-lambda | (sid92601@hampstead.irccloud.com) |
| 2023-06-19 22:09:01 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2023-06-19 22:09:04 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2023-06-19 22:09:09 +0200 | <meejah> | (using "cabal new-build") |
| 2023-06-19 22:09:16 +0200 | shapr | (~user@2600:1700:c640:3100:ca0d:6e86:9fe3:b540) |
| 2023-06-19 22:09:30 +0200 | cln | (cln@wtf.cx) (Ping timeout: 240 seconds) |
| 2023-06-19 22:09:56 +0200 | remsen | (ianremsen@tilde.team) |
| 2023-06-19 22:10:46 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2023-06-19 22:10:55 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-06-19 22:11:44 +0200 | <sm> | meejah: got a link for that package, eg on hackage ? |
| 2023-06-19 22:12:00 +0200 | cln | (~cln@wtf.cx) |
| 2023-06-19 22:12:06 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-19 22:12:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-19 22:12:23 +0200 | <geekosaur> | more to the point, perhaps pastebin the error |
| 2023-06-19 22:12:26 +0200 | <geekosaur> | @where paste |
| 2023-06-19 22:12:26 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-06-19 22:12:35 +0200 | <sm> | https://hackage.haskell.org/package/gi-gtk-declarative is it ? |
| 2023-06-19 22:13:45 +0200 | <sm> | uploaded 2021-09-17; gtk 3 to 4 is probably a major update - I'd call it "long shot" |
| 2023-06-19 22:14:22 +0200 | <sm> | [check the https://github.com/owickstrom/gi-gtk-declarative/issues/93](https://github.com/owickstrom/gi-gtk-declarative/issues/93) |
| 2023-06-19 22:15:11 +0200 | <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 |
| 2023-06-19 22:16:01 +0200 | <meejah> | ah, thanks ... so i guess i need to convince debian12 to insall gtk3? |
| 2023-06-19 22:16:46 +0200 | <meejah> | (maybe there's a different / better way to work with gtk...?) |
| 2023-06-19 22:17:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-19 22:17:42 +0200 | <geekosaur> | I think gtk2hs is still maintained although I don't know if it'll do any better with gtk4 than gi |
| 2023-06-19 22:17:47 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-19 22:17:51 +0200 | <geekosaur> | (despite the name it's on gtk3 now) |
| 2023-06-19 22:20:20 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-19 22:21:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-19 22:25:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-19 22:25:19 +0200 | jbalint_ | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Server closed connection) |
| 2023-06-19 22:25:30 +0200 | Patternmaster | (~georg@user/Patternmaster) (Server closed connection) |
| 2023-06-19 22:25:30 +0200 | jbalint | (~jbalint@071-090-119-177.res.spectrum.com) |
| 2023-06-19 22:25:43 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2023-06-19 22:25:44 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-19 22:27:59 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-19 22:28:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) (Remote host closed the connection) |
| 2023-06-19 22:29:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-19 22:30:23 +0200 | arrowhead | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) |
| 2023-06-19 22:32:37 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-06-19 22:35:00 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-19 22:48:27 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-19 22:49:14 +0200 | boukenshaou | (~Boukensha@223.178.82.245) (Remote host closed the connection) |
| 2023-06-19 22:50:52 +0200 | <meejah> | geekosaur: thanks |
| 2023-06-19 22:55:50 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2023-06-19 22:59:06 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-19 23:03:23 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-06-19 23:03:44 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-19 23:03:55 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-06-19 23:07:21 +0200 | shef | (~deglazewi@209-188-121-236.taosnet.com) |
| 2023-06-19 23:09:03 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-19 23:09:46 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-19 23:10:12 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-06-19 23:11:24 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-19 23:12:05 +0200 | Zamyatins_Sky | (~Zamyatins@broadband-188-255-84-143.ip.moscow.rt.ru) () |
| 2023-06-19 23:13:14 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Server closed connection) |
| 2023-06-19 23:13:39 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
| 2023-06-19 23:15:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:347f:c197:daa9:fd59) |
| 2023-06-19 23:16:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-19 23:20:59 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 2023-06-19 23:21:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-19 23:22:04 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-19 23:26:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-19 23:27:05 +0200 | foul_owl | (~kerry@212.102.47.117) |
| 2023-06-19 23:29:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-06-19 23:30:28 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-19 23:31:52 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 2023-06-19 23:32:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-19 23:39:45 +0200 | <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 |
| 2023-06-19 23:40:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-19 23:40:30 +0200 | <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 |
| 2023-06-19 23:41:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-19 23:41:55 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-19 23:43:47 +0200 | <glguy> | some yaml parsers try to do the same thing and then also lose information as yaml has "tags" |
| 2023-06-19 23:43:57 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-19 23:45:54 +0200 | arrowhead | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 2023-06-19 23:46:21 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) |
| 2023-06-19 23:47:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f66696c4a69c424ad64.dip0.t-ipconnect.de) |
| 2023-06-19 23:47:21 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-19 23:48:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-19 23:49:46 +0200 | img | (~img@user/img) |
| 2023-06-19 23:50:30 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a971-d3cb-1596-4118.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-06-19 23:51:32 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-06-19 23:51:37 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-19 23:53:08 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-06-19 23:56:13 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-19 23:56:27 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-06-19 23:56:38 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-06-19 23:57:29 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |