Logs on 2022-07-21 (liberachat/#haskell)
| 00:02:45 | × | slack1256 quits (~slack1256@186.11.18.101) (Remote host closed the connection) |
| 00:02:53 | × | gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 00:02:59 | → | slack1256 joins (~slack1256@186.11.18.101) |
| 00:05:08 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 00:05:25 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 00:08:33 | → | pavonia_ joins (~user@user/siracusa) |
| 00:09:50 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 00:09:51 | pavonia_ | is now known as pavonia |
| 00:10:01 | × | infinity0 quits (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 00:12:19 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 00:12:37 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 00:14:44 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:14:44 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:14:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:16:39 | → | infinity0 joins (~infinity0@185.112.146.113) |
| 00:19:26 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 00:19:43 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 00:22:54 | → | Psybur joins (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 00:25:32 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 00:28:38 | <albet70> | is there a function could take a large number bytes from a file? Data.ByteString.take use a Int value |
| 00:29:49 | <Clint> | what are you trying to do? |
| 00:29:53 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 00:29:53 | <exarkun> | So by large you mean "larger than an Int can represent"? |
| 00:31:23 | × | Colere quits (~colere@about/linux/staff/sauvin) (Ping timeout: 272 seconds) |
| 00:32:56 | <pavonia> | Shouldn't an Int be more than enough? |
| 00:33:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:604b:7f6a:615b:55d0) (Ping timeout: 244 seconds) |
| 00:35:23 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 00:35:40 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 00:35:59 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:36:44 | <hpc> | you never know when you're going to need a bytestring containing all the data humanity has ever produced :P |
| 00:39:52 | × | kaskal- quits (~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 00:41:01 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 00:41:20 | → | kaskal joins (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) |
| 00:41:43 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 00:42:33 | → | pavonia_ joins (~user@user/siracusa) |
| 00:43:26 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 255 seconds) |
| 00:43:55 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 00:44:14 | pavonia_ | is now known as pavonia |
| 00:44:39 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 00:46:04 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 00:46:35 | → | Guest21 joins (~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014) |
| 00:47:00 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 00:47:49 | → | toluene6 joins (~toluene@user/toulene) |
| 00:47:56 | × | toluene quits (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 00:47:56 | toluene6 | is now known as toluene |
| 00:49:10 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 00:51:12 | → | nosewings joins (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 00:53:54 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 00:58:10 | × | Guest21 quits (~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014) (Quit: Client closed) |
| 01:02:47 | → | Colere joins (~colere@about/linux/staff/sauvin) |
| 01:07:00 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 01:09:01 | <jackdk> | Probably want a streaming library, unless you have a galaxy of ram |
| 01:09:55 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 01:11:12 | <marcusxavier> | Is there anything that I can do to improve this code? https://gist.github.com/MarcusXavierr/63bd89c8a77dae17f428c265ae1d39fa |
| 01:12:35 | × | winny quits (~weechat@user/winny) (Remote host closed the connection) |
| 01:13:22 | → | winny joins (~weechat@user/winny) |
| 01:16:55 | → | cheater joins (~Username@user/cheater) |
| 01:16:58 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 01:17:54 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 01:21:18 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 01:22:49 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:25:17 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 01:33:27 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds) |
| 01:46:10 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 01:48:17 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 01:53:00 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 01:53:34 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 01:54:54 | <Boarders__> | is there a good way to parse a collection of words in a list/set? |
| 01:54:58 | <Boarders__> | using megaparsec |
| 01:57:52 | × | winny quits (~weechat@user/winny) (Remote host closed the connection) |
| 02:01:05 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 02:03:12 | → | zaquest joins (~notzaques@5.130.79.72) |
| 02:03:31 | <jackdk> | what precisely do you mean by that? |
| 02:05:45 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 02:06:23 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 02:12:57 | → | zebrag joins (~chris@user/zebrag) |
| 02:15:25 | → | nate4 joins (~nate@98.45.169.16) |
| 02:16:18 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 02:16:35 | <Axman6> | albet70: Int in GHC is always the size of a machine word, so should be able to address everything that could possibly fit into memory |
| 02:16:53 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 02:17:31 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 02:30:05 | × | cyphase_eviltwin quits (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 02:30:57 | <Axman6> | (well, half of everything I guess since it's signed) |
| 02:32:15 | <Axman6> | @check \xs -> not (null xs) ==> (reverse . drop 1 . reverse) xs == init xs |
| 02:32:17 | <lambdabot> | error: |
| 02:32:17 | <lambdabot> | • Couldn't match expected type ‘Test.QuickCheck.Safe.SProperty’ with actual ... |
| 02:32:38 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 02:32:39 | <Axman6> | > reverse . drop 1 . reverse $ "ABC" |
| 02:32:41 | <lambdabot> | "AB" |
| 02:32:46 | <Axman6> | > init "ABC" |
| 02:32:48 | <lambdabot> | "AB" |
| 02:32:52 | <Axman6> | marcusxavier: ^ |
| 02:35:51 | <Axman6> | marcusxavier: comparing the length of a list is almost always a bad idea, since it might never return the length. you could use atLeast3 (a:b:c:xs) = True; atLeast3 _ = False |
| 02:36:27 | <Axman6> | middle doesn't do what you're claiming in the error, I can pass it [1,2] and it will give me back 2. I think you want (l:m:h:xs) |
| 02:36:38 | <dibblego> | > reverse . drop 1 . reverse $ [] |
| 02:36:39 | → | cyphase joins (~cyphase@user/cyphase) |
| 02:36:40 | <lambdabot> | [] |
| 02:36:46 | <dibblego> | > init $ [] |
| 02:36:48 | <lambdabot> | *Exception: Prelude.init: empty list |
| 02:36:57 | × | toluene quits (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 02:37:04 | <Axman6> | it also uses tails so the list will be nonempty |
| 02:37:31 | → | toluene joins (~toluene@user/toulene) |
| 02:38:22 | <Axman6> | I;d remove the ++ "\n" from createString and instead use unlines instead of concat above |
| 02:39:08 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 02:40:41 | <Axman6> | Rather than using fst and snd everywhere, you can pattern match on (a,b) in your foldrs: removeRow = foldr (\x@(a,b) acc -> if b > 0 then (a, b - 1) : acc else x : acc ) [] |
| 02:41:06 | <Axman6> | canContinue is just a hidden way of using any: |
| 02:41:09 | <Axman6> | @t any |
| 02:41:09 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 02:41:11 | <Axman6> | :t any |
| 02:41:12 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
| 02:41:40 | <Axman6> | > any ((>0) . snd) $ zip [1,2,3] [-1,0,1] |
| 02:41:41 | <lambdabot> | True |
| 02:42:35 | <Axman6> | also using foldl for canContinue isn't a great idea - you will always process every value in the list, even if you know you can return True. use foldr instead (or any) |
| 02:46:17 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 02:48:23 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:49:38 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:51:03 | × | slack1256 quits (~slack1256@186.11.18.101) (Ping timeout: 268 seconds) |
| 02:52:17 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 02:54:04 | → | gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 02:54:35 | × | td_ quits (~td@muedsl-82-207-238-080.citykom.de) (Ping timeout: 260 seconds) |
| 02:56:21 | → | td_ joins (~td@muedsl-82-207-238-040.citykom.de) |
| 02:56:31 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 03:01:56 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 03:05:21 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 03:05:51 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 03:09:04 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 03:10:03 | → | cyphase joins (~cyphase@user/cyphase) |
| 03:12:58 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 03:16:53 | <Axman6> | marcusxavier: does that all make sense? |
| 03:17:05 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 03:18:29 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 03:19:02 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 03:20:22 | × | nosewings quits (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Remote host closed the connection) |
| 03:22:41 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 03:23:28 | × | gleostocha quits (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 03:24:58 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 03:30:30 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 03:32:59 | × | foul_owl quits (~kerry@23.82.194.107) (Ping timeout: 268 seconds) |
| 03:37:35 | <Axman6> | Clinton[m]: Not sure if there's a GHC Generics alternative to this class, but generics-sop (which is generially easier to work with than GHC.Generics, and completely compatible) provides DatatypeInfo https://hackage.haskell.org/package/generics-sop-0.5.1.2/docs/Generics-SOP.html#t:DatatypeInfo and HasDatatypeInfo: https://hackage.haskell.org/package/generics-sop-0.5.1.2/docs/Generics-SOP.html#t:HasDatatypeInfo |
| 03:41:56 | <Clinton[m]> | Axman6: I probably should go down that path eventually, but I've worked it out with the raw GHC style approach now, and didn't want to learn a new library, at least initially. The raw approach actually has a lot of power even if it is fiddly. |
| 03:42:34 | <Clinton[m]> | Is there an easy way in Visual Studio Code to reload the HLS plugin? I've notice it doesn't notice changes cross project. Closing the window and completely reopening is annoying. |
| 03:42:53 | <Axman6> | there's a restart haskell language server command |
| 03:43:11 | <Axman6> | there's also reloading the window, which is relatively quick |
| 03:43:41 | <Axman6> | cmd-shift-p "haskell" and "reload" should find both of those |
| 03:44:07 | <albet70> | why there's no Data.ByteString.splitOn? |
| 03:45:45 | × | marcusxavier quits (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Quit: WeeChat 3.6) |
| 03:46:45 | → | foul_owl joins (~kerry@23.82.194.108) |
| 03:48:00 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:48:05 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 03:49:12 | <Axman6> | is splitOn c = splitWith (== c)? |
| 03:49:40 | <Axman6> | there definitely should be a version which uses memchr though |
| 03:50:23 | <Axman6> | you can use elemIndex and splitAt |
| 03:50:40 | <albet70> | splitWith work on one byte, not a series bytes |
| 03:54:36 | <Axman6> | it has ASX_Bilateral_Demand_Transfer.feature:1232 |
| 03:54:57 | <Axman6> | https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/Data-ByteString.html#v:breakSubstringuh, uh, |
| 03:55:09 | <Axman6> | ffs, what is my terminal doing |
| 03:55:19 | <Axman6> | anyway, you want breakSubstring |
| 03:57:07 | <Axman6> | if you are using it multiple times with the same needle, you should take note of the last line in the docs for it, and use let search = breakSubstring "my pattern" in map search xs or whatever |
| 03:58:59 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection) |
| 03:59:17 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) |
| 04:04:26 | × | toluene quits (~toluene@user/toulene) (Ping timeout: 268 seconds) |
| 04:05:03 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 268 seconds) |
| 04:06:17 | → | zebrag joins (~chris@user/zebrag) |
| 04:06:28 | → | toluene joins (~toluene@user/toulene) |
| 04:07:02 | × | zebrag quits (~chris@user/zebrag) (Client Quit) |
| 04:11:55 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 04:16:09 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 04:18:02 | × | bajskorfven00 quits (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 04:23:00 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 04:23:18 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:32:38 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 04:35:03 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 04:39:14 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 04:44:05 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 04:44:30 | → | notzmv joins (~zmv@user/notzmv) |
| 04:47:08 | → | mbuf joins (~Shakthi@122.165.55.71) |
| 05:01:02 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 05:01:22 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:02:23 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:06:37 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 05:09:38 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 05:18:39 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 05:19:46 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:31:10 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 05:33:32 | → | ccntrq joins (~Thunderbi@2a01:c22:88a1:0:3616:e744:87c3:802a) |
| 05:34:10 | <qrpnxz> | in a way, lazy IO is like doing (pure @IO (unsafePerformIO a)), and when you put it like that it sounds like an insane thing to do lol |
| 05:36:56 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds) |
| 05:44:04 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 05:44:59 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 05:45:14 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:46:53 | → | john joins (~john@115.96.77.44) |
| 05:47:14 | <maerwald[m]> | lazy IO is just boring |
| 05:47:41 | <maerwald[m]> | It's a half assed streaming substitute |
| 05:48:39 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 05:52:58 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 06:02:08 | × | john quits (~john@115.96.77.44) (Remote host closed the connection) |
| 06:03:21 | <qrpnxz> | that seem to be the concensus. Adding to the list of AVOID in base |
| 06:07:50 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 268 seconds) |
| 06:11:13 | <maerwald[m]> | <qrpnxz> "that seem to be the concensus..." <- Nah, people are busy discussing whether to add |> to base |
| 06:11:35 | <qrpnxz> | i saw that post lmao |
| 06:12:05 | <maerwald[m]> | I wish I got that many comments for my proposal. But bikeshedding never happens on deeply technical issues |
| 06:12:09 | <qrpnxz> | is that not just trivially added to your lib if you want?! i rather many other things |
| 06:12:32 | <qrpnxz> | oof, what's your prop |
| 06:12:53 | <maerwald[m]> | Fixing all of core libraries |
| 06:12:56 | <maerwald[m]> | 😂 |
| 06:13:03 | <qrpnxz> | mmm, for ex? |
| 06:13:53 | <maerwald[m]> | Countless of encoding issues. Filepath (which I fixed), but also unix providing half assed String APIs |
| 06:14:11 | <qrpnxz> | 😬 |
| 06:14:38 | <maerwald[m]> | Adding posix_spawn api |
| 06:15:05 | <maerwald[m]> | But I guess the |> operator is more interesting 😅 |
| 06:15:38 | <maerwald[m]> | Oh and fixing IsString |
| 06:15:43 | <qrpnxz> | adding |> easy actionable :) but [insert jurassic park quote here] |
| 06:16:03 | <qrpnxz> | maerwald[m]: what part of isstring |
| 06:16:43 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 06:17:13 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:17:38 | <maerwald[m]> | qrpnxz: https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443228 |
| 06:17:38 | <qrpnxz> | i don't like bytestring isstring behaviour, but idk if to accept it or frown about it |
| 06:19:48 | <qrpnxz> | "If OverloadedStrings should still be implemented as part of a class, it will have to be one that can express failure." pmuch this, tho there's a bunch of other stuff mentioned there that kind of going over my head. Will look into. |
| 06:21:59 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) |
| 06:22:10 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 06:24:08 | → | chomwitt joins (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 06:24:57 | <qrpnxz> | validate-literals! Yes indeed. I was just thinking earlier about how much compile time execution GHC does on known values (I have no idea), but if it did this check for isstring at build that'd be awesome. Actually just practical too. Ran into this exact issue in Real Life on a Java code base where shit was broken and turns out that a static json string in the code was actually invalid. My |
| 06:24:59 | <qrpnxz> | solution was to add a test that all it did was instanciate the class (thereby running the parser), but this would be even nicer. |
| 06:25:44 | <qrpnxz> | best part is if it does that check then you can have fromstring return maybe and for known goods it can just return the value |
| 06:26:29 | <qrpnxz> | so use is just as ergonomic. If your string is bad and in your code you assume it was good, it's gonna fail type check so all good |
| 06:31:32 | → | gmg joins (~user@user/gehmehgeh) |
| 06:33:29 | <Maxdamantus> | If the code fails even with static values, isn't it more likely to fail with dynamic values? |
| 06:33:30 | × | Vajb quits (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 06:33:41 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 06:35:11 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 06:35:12 | <Maxdamantus> | Those errors should either be handled, or a different type should be used. I've mentioned before that imo there should be a standard string type that supports arbitrary byte sequences while also offering all of the Unicode functionality from `Text`. |
| 06:38:21 | <Maxdamantus> | Actually, I guess it's not quite the same issue, because Haskell string literals represent arbitrary code point sequences (as opposed to arbitrary byte sequences or arbitrary scalar value sequences). |
| 06:39:32 | → | acidjnk_new joins (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) |
| 06:39:59 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 06:40:39 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:48:52 | <cdepillabout[m]> | The last message on https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443228 is "Nah, no way I'm making a GHC proposal for this." |
| 06:48:58 | <cdepillabout[m]> | That made me chuckle 🙂 |
| 06:49:09 | <qrpnxz> | i don't think those two feature set combined make sense. Unicode is not arbitrary, it's unicode. But I think i kind of get what you are getting at. In Go you work with two main kind of buffers: []byte and string. string is like []byte, except it's immutable and known good UTF-8. Interfaces like io.Reader just take []byte. There's duplicated functionality: a whole lib for working with []byte |
| 06:49:10 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 06:49:11 | <qrpnxz> | (search, replace, comparison) and another with basically same interface for string. So basically in Go utf-8 is just blessed by this string type. String constants are always type string (Go source code is utf-8 always also). I guess what i'm getting at is that blessed encoding in bytes works pretty well. Moving to haskell, i think fromstring for bytestring should just do utf8 by default at |
| 06:49:13 | <qrpnxz> | minimum. Yes truncating is faster, but this should be compile time anyway, and when am i gonna even want that? utf-8 is losslessly translatable back to [Char] as well. It just makes sense to do that. |
| 06:50:06 | <Maxdamantus> | Go strings are arbitrary byte sequences that are conventionally UTF-8. |
| 06:50:13 | <Maxdamantus> | (that's my preferred model for strings) |
| 06:50:23 | <Maxdamantus> | (also Unicode's preferred model afaict) |
| 06:50:29 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 06:51:00 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 06:51:49 | <Maxdamantus> | Go source code is required to be well-formed UTF-8, but string literals don't need to represent well-formed Unicode. "\xff" is an allowed string literal. |
| 06:52:29 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 06:52:57 | <qrpnxz> | mm yes true. Perhaps actually string should be [Word8] and let people turn into [Char] if they actually care about code points |
| 06:53:29 | <Maxdamantus> | Which is almost never. |
| 06:53:30 | <qrpnxz> | or legit just be a foldable immutable array i mean |
| 06:53:30 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 06:53:51 | <Maxdamantus> | Only really happens when converting to UTF-16 or when implementing a text renderer. |
| 06:54:11 | <Maxdamantus> | (or at least something related to rendering) |
| 06:54:11 | <qrpnxz> | or whenever you need to look at a character? lol |
| 06:54:33 | <Maxdamantus> | What would you do with a character? |
| 06:55:27 | <qrpnxz> | i suppose i could convert the thing i'm looking for into utf-8 instead of converting the haystack |
| 06:55:37 | <qrpnxz> | but if you did the other way around is what i meant |
| 06:56:04 | <Maxdamantus> | Indeed. If you're implementing something like a parser, you're effectively looking for byte sequence prefixes. |
| 06:56:31 | <Maxdamantus> | And if you're splitting by a substring, same thing, you're splitting by a byte sequence. |
| 06:57:09 | × | toluene quits (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 06:57:17 | <qrpnxz> | also generally i actually just care about the encoded size resource wise than the code point count, etc, etc. |
| 06:57:56 | <qrpnxz> | byte seq rules. But i'm guessing haskell did [Char] because... it's old and therefore wasn't wise? lol |
| 06:58:20 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 06:58:29 | → | toluene7 joins (~toluene@user/toulene) |
| 06:58:39 | <Maxdamantus> | Yes. Probably before UTF-8 was invented, definitely before it was really known about. |
| 06:59:05 | <Maxdamantus> | Other languages made similar mistakes with adopting UTF-16. |
| 06:59:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 06:59:48 | <qrpnxz> | wasn't utf-8 invented before utf-16. I just can't imagine why we ever invented it |
| 07:00:22 | <[exa]> | qrpnxz: utf8 comes from plan9 afaik, which is ooooooold |
| 07:00:24 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:00:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) (Remote host closed the connection) |
| 07:00:41 | <Maxdamantus> | I guess I should have said UCS-2. |
| 07:00:45 | <qrpnxz> | not that old, wasn't plan9 near the end of the labs, like the 90S? |
| 07:00:48 | <qrpnxz> | *90s |
| 07:01:20 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 07:01:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) |
| 07:01:33 | <qrpnxz> | (maybe it is that old, just doesn't feel that old) anyway |
| 07:02:07 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 07:03:20 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:05:14 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 07:05:23 | <qrpnxz> | but Strings are used all the time. As a long time C programmer i'm hurt little bit every time i see one in haskell and just think "this coulda been cache friendly array 😢" |
| 07:05:41 | → | Vajb joins (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 07:06:12 | <qrpnxz> | and probably i overestimate those costs, but still |
| 07:06:22 | → | zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 07:06:57 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 07:07:03 | <qrpnxz> | if text or bytestring were in base, i think more library would use it. Sometimes i think it's avoided just not to depend on these really basic packages i feel like |
| 07:07:23 | <qrpnxz> | i should same "fundamental" not so much basic |
| 07:07:27 | <qrpnxz> | *say |
| 07:07:38 | <maerwald[m]> | Maxdamantus: unix fdRead is broken, because it allows you to read n bytes and turn those into Chars, which fails of you happen to split inside a multibyte UTF-8 codepoint |
| 07:08:02 | <qrpnxz> | fdRead return String?! |
| 07:08:31 | <qrpnxz> | omg it does |
| 07:08:33 | <qrpnxz> | wtf |
| 07:08:58 | <maerwald[m]> | https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-IO.html#v:fdRead |
| 07:09:00 | <qrpnxz> | that lib import bytestring too like ?!/1 |
| 07:09:12 | <qrpnxz> | i'm so confused |
| 07:09:19 | <maerwald[m]> | ByteString based fdRead is coming in the next release |
| 07:09:31 | <qrpnxz> | you speak poetry |
| 07:09:37 | <qrpnxz> | great! |
| 07:09:40 | <Maxdamantus> | That's pretty funny. |
| 07:09:51 | <qrpnxz> | 😁 |
| 07:10:00 | → | chele joins (~chele@user/chele) |
| 07:10:00 | <maerwald[m]> | The shit String has caused in Haskell is hard to fathom |
| 07:10:45 | <qrpnxz> | i think the FFI directly take return String too no? No idea how that behaves |
| 07:11:53 | <maerwald[m]> | qrpnxz: it decodes |
| 07:12:01 | <maerwald[m]> | Depends on which API |
| 07:12:01 | × | ccntrq quits (~Thunderbi@2a01:c22:88a1:0:3616:e744:87c3:802a) (Quit: ccntrq) |
| 07:12:15 | → | ccntrq joins (~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de) |
| 07:12:16 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 07:12:20 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Client Quit) |
| 07:12:28 | <maerwald[m]> | For filepath it's some shady roundtrip escaping that sometimes works |
| 07:12:30 | <maerwald[m]> | Sometimes not |
| 07:12:40 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 07:12:42 | <qrpnxz> | maerwald[m]: surely, but what is invalid enc behaviour idk |
| 07:12:49 | <maerwald[m]> | Some parts of unix assume latin-1 |
| 07:13:17 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 07:13:17 | <maerwald[m]> | qrpnxz: CString to String is decoding |
| 07:13:33 | <maerwald[m]> | That's the main problematic part |
| 07:13:35 | <qrpnxz> | i meant behaviour of decoding an invalid encodinG :) |
| 07:14:10 | <maerwald[m]> | The encoding may be valid, but not roundtrippable |
| 07:14:42 | <maerwald[m]> | qrpnxz: https://hasufell.github.io/posts/2022-06-29-fixing-haskell-filepaths.html |
| 07:14:58 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 07:15:02 | <maerwald[m]> | https://gist.github.com/hasufell/c600d318bdbe010a7841cc351c835f92 |
| 07:15:03 | <qrpnxz> | i mean, it's it doing utf-8? if it's invalid utf8 what does it do exactly. Insert unicode invalid char code point? |
| 07:15:22 | <qrpnxz> | or worse does it pull a bytestring and truncate everything |
| 07:15:24 | <maerwald[m]> | Uses lone surdogates for escaping |
| 07:15:36 | <maerwald[m]> | But, surrogates are invalid UTF-8 😂 |
| 07:15:57 | <maerwald[m]> | Now you have UTF-8 that fails a scrict parser |
| 07:16:12 | <qrpnxz> | i'm mind blown |
| 07:16:18 | <maerwald[m]> | https://unicode.org/L2/L2009/09236-pep383-problems.html |
| 07:16:21 | <qrpnxz> | 🤯 |
| 07:16:27 | <maerwald[m]> | Unicode consortium is not a fan |
| 07:17:56 | <maerwald[m]> | Then https://github.com/haskell/unix/issues/237 |
| 07:18:09 | <qrpnxz> | it goes by locale wow. I suppose that's reasonable |
| 07:18:20 | <maerwald[m]> | Here unix assumes latin-1 |
| 07:18:26 | <maerwald[m]> | qrpnxz: no |
| 07:18:30 | <maerwald[m]> | It's the worst |
| 07:18:53 | <maerwald[m]> | Because the escaping technique only works properly for ascii supersets like utf8 |
| 07:19:13 | <maerwald[m]> | That's why python enforces utf8 |
| 07:19:59 | → | vglfr joins (~vglfr@88.155.27.105) |
| 07:20:01 | <qrpnxz> | it's terrible for a filesystem interface, but for FFI i think it's fine. If i have a function that calls a winapi that takes a string that supposed to be like text, then it makes sense. If that FFI is to a function like createdir or something, i should be giving it a signature of ByteString or something, in which case what it does for String is irrelevant because i picked what i should have |
| 07:20:03 | <qrpnxz> | picked, you get me? |
| 07:20:14 | <maerwald[m]> | And if your data is not actually utf8, now you get excessive escaping and nonsensical results... although they roundtrip properly |
| 07:20:15 | <maerwald[m]> | You can't win |
| 07:21:06 | <qrpnxz> | If you picked (badly) String, then this behaviour kind of makes sense for that (bad) choice. Only real solution in that case is to not type that FFI call non-sense (String) and type it with sense (ByteString) |
| 07:22:02 | <maerwald[m]> | qrpnxz: that's what OsPath does (ShortByteString though) |
| 07:23:00 | → | coot joins (~coot@213.134.190.95) |
| 07:23:04 | <qrpnxz> | neat-o, around what sizes is shortbytestring worth it? |
| 07:23:05 | <qrpnxz> | do you know? |
| 07:24:29 | → | michalz joins (~michalz@185.246.204.93) |
| 07:24:48 | <maerwald[m]> | qrpnxz: size? |
| 07:24:56 | <maerwald[m]> | The name is misleading |
| 07:25:03 | <maerwald[m]> | It's unpinned bytearray |
| 07:25:28 | <maerwald[m]> | So many operations incure a memcpy |
| 07:25:33 | <qrpnxz> | doesn't it also have less overhead |
| 07:25:52 | <qrpnxz> | i guess it's more about what you are going to use it for than how long it is |
| 07:26:03 | <qrpnxz> | where you get the benefit |
| 07:26:15 | <maerwald[m]> | It's good for avoiding memory fragmentation |
| 07:26:48 | <maerwald[m]> | If you have lots of small ByteString's it's gonna be bad for fragmentation |
| 07:26:48 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 07:27:05 | <qrpnxz> | ahhh yeah i see |
| 07:29:19 | → | phma_ joins (phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126) |
| 07:29:39 | → | ccntrq1 joins (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) |
| 07:29:47 | <maerwald[m]> | filepaths have a size limit, so this makes sense |
| 07:29:55 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:30:56 | <qrpnxz> | and it's not that big, only a few hundred on linux i think |
| 07:30:58 | × | phma quits (~phma@host-67-44-208-242.hnremote.net) (Read error: Connection reset by peer) |
| 07:31:24 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:31:49 | <qrpnxz> | ah SBS was cleaned up as part of this neat. I did notice that recently suddenly you could use SBSs a lot more like just bytestrings now (the module got a bunch of corresponding functions) |
| 07:32:15 | × | ccntrq quits (~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 07:32:15 | ccntrq1 | is now known as ccntrq |
| 07:33:29 | phma_ | is now known as phma |
| 07:36:28 | <qrpnxz> | hasufell good link. Looks like PosixString became bytestring |
| 07:36:52 | <qrpnxz> | tho OsPath is SBS |
| 07:37:02 | <qrpnxz> | but you can convert |
| 07:37:24 | <qrpnxz> | idk the cost of that conversion tho |
| 07:38:44 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 07:39:13 | <maerwald[m]> | qrpnxz: PosixString is also ShortByteString |
| 07:40:25 | <qrpnxz> | mmm, where it says i would find System.Posix.PosixString, i just actually see System.Posix.ByteString, and in there and all other *.ByteString, the type is ByteString not SBS |
| 07:41:04 | <qrpnxz> | type synonym as RawFilePath |
| 07:43:11 | <maerwald[m]> | qrpnxz: what? |
| 07:43:56 | <maerwald[m]> | https://hackage.haskell.org/package/filepath-1.4.100.0/docs/System-OsPath-Types.html#t:PosixPath |
| 07:44:05 | <qrpnxz> | i don't know what to add to that lol |
| 07:44:14 | <qrpnxz> | oh |
| 07:44:28 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) (Remote host closed the connection) |
| 07:44:43 | → | fserucas_ joins (~fserucas@246.76.114.89.rev.vodafone.pt) |
| 07:45:02 | <qrpnxz> | well it pointed out unix package, so that's where i go look lol. I mean it even says module System.Posix.PosixString |
| 07:45:32 | <qrpnxz> | which is also not exist in filepath |
| 07:46:27 | <maerwald[m]> | https://github.com/haskell/unix/blob/master/System/Posix/IO/PosixString.hsc#L76 |
| 07:46:38 | <maerwald[m]> | Not sure where you see ByteString there |
| 07:47:12 | <qrpnxz> | right there https://hackage.haskell.org/package/unix |
| 07:47:53 | <maerwald[m]> | Aha |
| 07:47:57 | <qrpnxz> | also here in the latest tagged version https://github.com/haskell/unix/tree/v2.7.2.2/System/Posix |
| 07:48:08 | <maerwald[m]> | ByteString is a different API |
| 07:48:18 | <qrpnxz> | so i'm guessing this just hasn't happened yet |
| 07:48:27 | <maerwald[m]> | PosixPath API is not released yet |
| 07:48:43 | <qrpnxz> | ic |
| 07:48:47 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 07:48:56 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 07:49:20 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:51:07 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 07:53:57 | <maerwald[m]> | qrpnxz: imo, String API should be removed and ByteString API be the default (except filepaths should use PosixPath) |
| 07:54:01 | <maerwald[m]> | It's insane to have 3 variants |
| 07:54:36 | <qrpnxz> | agree |
| 07:54:57 | <qrpnxz> | i mean, the string api is just wrong basically. That's the real reason to remove |
| 07:55:07 | <qrpnxz> | wrong or more limited than it should be |
| 07:55:09 | <qrpnxz> | and slower |
| 07:55:16 | <maerwald[m]> | Yeah, it works occasionally |
| 07:55:42 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 07:56:26 | <maerwald[m]> | I think that's why unix fell into disrepair. There are severeal projects trying to fix it because everyone got frustrated with it and forked |
| 07:57:50 | <qrpnxz> | lol sad |
| 07:57:53 | × | vglfr quits (~vglfr@88.155.27.105) (Ping timeout: 272 seconds) |
| 07:58:40 | <maerwald[m]> | https://hackage.haskell.org/package/unix-bytestring |
| 07:58:40 | <maerwald[m]> | https://hackage.haskell.org/package/rawfilepath |
| 07:58:40 | <maerwald[m]> | https://hackage.haskell.org/package/filepath-bytestring |
| 07:58:57 | <maerwald[m]> | Haskell may have the most fragmented ecosystem |
| 08:01:36 | <qrpnxz> | should we add |>, tho. We are totally fragmenting functional programming by not having |> 😁 |
| 08:02:28 | <[exa]> | what's |> ? alternative to the right? |
| 08:03:13 | <[exa]> | (as in, |> :: Alternative f => f a -> f b -> f (Maybe b) or so) |
| 08:05:28 | <maerwald[m]> | I'm not going to participate in that dicussion lol |
| 08:08:03 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:11:13 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) |
| 08:12:18 | <qrpnxz> | [exa]: joking. Referring to the latest bikeshed in /r/haskell |
| 08:12:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 08:14:50 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 08:16:39 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 08:17:04 | <[exa]> | oh my. :D okay |
| 08:21:06 | → | Tuplanolla joins (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 08:23:22 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 08:30:17 | <tomsmeding> | [exa]: (|>) = (&) |
| 08:30:36 | <tomsmeding> | [1,2,3] |> map succ |> filter even |> print |
| 08:31:03 | <tomsmeding> | This is common style in Elm and probably other languages |
| 08:31:44 | <tomsmeding> | People proposed adding it to base in order to be more consistent (in notation) with other popular functional languages |
| 08:32:30 | <naso> | F# |
| 08:32:35 | <tomsmeding> | Understandably there was pushback |
| 08:33:14 | → | gurkenglas joins (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 08:34:29 | <naso> | i quite like this style, especially if there is editor support so if you put each item '|> x' on its own line you get automatic type annotations of each x |
| 08:35:55 | <naso> | (ionide for F# does this iirc) |
| 08:37:33 | <naso> | i didn't say that right.. the type is not of 'x' but of the value up to that point in the pipeline |
| 08:42:53 | <maerwald[m]> | tomsmeding: kowainik uses their own Relude anyway, I don't understand why they care about base |
| 08:42:55 | <[exa]> | this is what we get from not having -XPipeIsOperator |
| 08:43:43 | <maerwald[m]> | I think it's totally fine to expose beginners to an alternative prelude |
| 08:43:59 | <maerwald[m]> | base might be the worst |
| 08:45:02 | <[exa]> | the whole issue can be solved by literally typing "hey if you actually like |>, just put (|>)=(&) at the top of your source!!111" to like 3 or 4 tutorials |
| 08:48:10 | <qrpnxz> | after importing Data.Function because for some reason not everything in that module is already exported |
| 08:49:18 | × | bjobjo quits (~bjobjo@user/bjobjo) (Ping timeout: 264 seconds) |
| 08:49:30 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 08:50:38 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:50:41 | → | bjobjo joins (~bjobjo@user/bjobjo) |
| 08:51:00 | <tomsmeding> | TIL that's just (&), fix, on |
| 08:51:20 | <maerwald[m]> | tomsmeding: making proposals to base is the second best way to get burnout |
| 08:51:29 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 08:51:38 | <tomsmeding> | I'm not proposing anything lol |
| 08:52:00 | × | shriekingnoise quits (~shrieking@201.212.175.181) (Quit: Quit) |
| 08:52:21 | <tomsmeding> | maerwald[m]: https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443241 |
| 08:52:32 | → | ccntrq1 joins (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) |
| 08:52:37 | × | ccntrq quits (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Read error: Connection reset by peer) |
| 08:52:37 | ccntrq1 | is now known as ccntrq |
| 08:53:08 | <maerwald[m]> | XD |
| 08:53:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 08:56:05 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 08:56:42 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 09:02:29 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 09:04:24 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 09:08:30 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 09:08:32 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 09:09:09 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 09:09:09 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 09:09:24 | → | __monty__ joins (~toonn@user/toonn) |
| 09:09:46 | × | jpds2 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 09:10:41 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 09:11:06 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 09:11:48 | → | jpds2 joins (~jpds@gateway/tor-sasl/jpds) |
| 09:14:06 | → | CiaoSen joins (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:17:05 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 09:17:23 | → | nate4 joins (~nate@98.45.169.16) |
| 09:17:28 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:20:12 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 09:22:01 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 09:24:57 | × | CiaoSen quits (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 09:25:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 09:26:39 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 09:26:57 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:29:02 | × | chomwitt quits (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 255 seconds) |
| 09:30:06 | × | coot quits (~coot@213.134.190.95) (Ping timeout: 268 seconds) |
| 09:32:49 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 09:33:51 | → | v0d1ch joins (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) |
| 09:37:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 09:39:04 | → | coot joins (~coot@213.134.190.95) |
| 09:43:43 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 09:47:59 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 09:54:42 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:56:02 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 255 seconds) |
| 10:04:51 | → | alternateved joins (~user@staticline-31-183-144-54.toya.net.pl) |
| 10:06:22 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 10:06:32 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 10:10:25 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 10:12:47 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 10:13:37 | × | yin quits (~z@user/zero) (Ping timeout: 260 seconds) |
| 10:19:43 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f) |
| 10:20:38 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 10:21:16 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Ping timeout: 244 seconds) |
| 10:21:16 | use-value1 | is now known as use-value |
| 10:23:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:23:41 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 10:25:09 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 10:27:18 | → | mmhat joins (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) |
| 10:40:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:42:11 | × | jespada quits (~jespada@45.162.228.190) (Ping timeout: 268 seconds) |
| 10:43:07 | → | mncheck joins (~mncheck@193.224.205.254) |
| 10:45:57 | × | gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 10:48:55 | → | stefan-_ joins (~cri@42dots.de) |
| 10:49:29 | → | jespada joins (~jespada@177.67.80.187) |
| 10:51:03 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 10:52:14 | → | lys joins (sid194105@user/lys) |
| 10:53:30 | × | noteness quits (~noteness@user/noteness) (Remote host closed the connection) |
| 10:53:54 | → | noteness joins (~noteness@user/noteness) |
| 10:55:21 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 10:55:56 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 10:56:22 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 10:57:47 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 10:58:27 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) (Ping timeout: 244 seconds) |
| 11:11:05 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 11:12:06 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 11:12:13 | → | ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 11:14:20 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 11:17:51 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 11:25:50 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 11:30:50 | × | iteratee quits (~kyle@162.218.222.107) (Ping timeout: 240 seconds) |
| 11:31:49 | × | zer0bitz quits (~zer0bitz@2001:2003:f748:2000:816c:2bf2:33a9:87c2) (Read error: Connection reset by peer) |
| 11:32:08 | × | noteness quits (~noteness@user/noteness) (Remote host closed the connection) |
| 11:32:46 | × | lys quits (sid194105@user/lys) () |
| 11:34:23 | → | noteness joins (~noteness@user/noteness) |
| 11:38:27 | → | lys joins (sid194105@id-194105.uxbridge.irccloud.com) |
| 11:39:13 | × | lys quits (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
| 11:39:13 | → | lys joins (sid194105@user/lys) |
| 11:51:40 | × | jpds2 quits (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 11:51:40 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 11:51:40 | × | gmg quits (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
| 11:51:40 | × | califax quits (~califax@user/califx) (Write error: Connection reset by peer) |
| 11:51:40 | × | noteness quits (~noteness@user/noteness) (Read error: Connection reset by peer) |
| 11:52:01 | → | califax joins (~califax@user/califx) |
| 11:52:33 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 11:52:34 | → | gmg joins (~user@user/gehmehgeh) |
| 11:52:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:52:56 | → | noteness joins (~noteness@user/noteness) |
| 11:55:00 | × | kino-shinkai quits (~kino-shin@user/kino-shinkai) (Quit: The Lounge - https://thelounge.chat) |
| 11:55:11 | → | jpds2 joins (~jpds@gateway/tor-sasl/jpds) |
| 11:58:39 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 11:59:17 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 12:00:07 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:00:42 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 12:01:02 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 12:01:09 | × | ccntrq quits (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Remote host closed the connection) |
| 12:01:27 | → | ccntrq joins (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) |
| 12:01:53 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) |
| 12:01:54 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 12:03:03 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:03:48 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) |
| 12:05:04 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 12:05:30 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 12:05:31 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f) (Ping timeout: 272 seconds) |
| 12:05:32 | use-value1 | is now known as use-value |
| 12:06:36 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:08:35 | → | Kaipei joins (~Kaiepi@156.34.47.253) |
| 12:09:09 | → | lortabac joins (~lortabac@37.101.76.86) |
| 12:10:47 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 12:11:26 | × | phma quits (phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126) (Read error: Connection reset by peer) |
| 12:12:14 | → | phma joins (~phma@host-67-44-208-91.hnremote.net) |
| 12:12:57 | ← | Codex parts (~terop@91-153-238-204.elisa-laajakaista.fi) (WeeChat 3.5) |
| 12:15:44 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 12:18:11 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 12:18:16 | → | frost joins (~frost@user/frost) |
| 12:18:21 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 12:19:00 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 12:19:48 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 12:19:57 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 12:19:58 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 12:19:58 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:21:52 | → | winny joins (~weechat@user/winny) |
| 12:22:47 | × | jpds2 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 12:24:19 | → | jpds2 joins (~jpds@gateway/tor-sasl/jpds) |
| 12:29:10 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 12:32:05 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 12:32:48 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 12:38:18 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 12:41:07 | → | ccntrq1 joins (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) |
| 12:42:26 | × | mbuf quits (~Shakthi@122.165.55.71) (Ping timeout: 268 seconds) |
| 12:42:33 | × | ccntrq quits (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Ping timeout: 276 seconds) |
| 12:42:33 | ccntrq1 | is now known as ccntrq |
| 12:43:51 | → | mikoto-chan joins (~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi) |
| 12:46:12 | × | jespada quits (~jespada@177.67.80.187) (Ping timeout: 268 seconds) |
| 12:50:53 | → | dcoutts joins (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 12:51:05 | → | jespada joins (~jespada@200.123.141.150) |
| 12:52:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 12:54:42 | jpds2 | is now known as jpds |
| 12:57:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 12:57:53 | → | mbuf joins (~Shakthi@122.165.55.71) |
| 12:58:57 | × | jespada quits (~jespada@200.123.141.150) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:03:07 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 13:04:41 | × | ccntrq quits (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Remote host closed the connection) |
| 13:05:18 | → | ccntrq joins (~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c) |
| 13:06:01 | × | toluene7 quits (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 13:06:38 | → | toluene joins (~toluene@user/toulene) |
| 13:08:50 | → | ccntrq1 joins (~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51) |
| 13:08:54 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 13:09:47 | × | ccntrq quits (~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c) (Ping timeout: 260 seconds) |
| 13:09:47 | ccntrq1 | is now known as ccntrq |
| 13:10:50 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 240 seconds) |
| 13:11:33 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 13:13:53 | × | acidjnk_new quits (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 13:15:01 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 13:17:50 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:18:10 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 13:18:23 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 13:18:25 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 13:18:29 | → | nate4 joins (~nate@98.45.169.16) |
| 13:18:59 | → | califax joins (~califax@user/califx) |
| 13:20:27 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 13:21:26 | → | naso joins (~naso@193-116-244-197.tpgi.com.au) |
| 13:22:51 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 13:24:09 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 13:26:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:26:41 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:30:39 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 13:31:49 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 13:32:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:32:42 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 13:32:48 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 13:33:42 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 13:40:35 | → | leeb joins (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 13:43:25 | → | ccntrq1 joins (~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8) |
| 13:44:12 | × | ccntrq quits (~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51) (Ping timeout: 260 seconds) |
| 13:44:12 | ccntrq1 | is now known as ccntrq |
| 13:46:23 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 13:58:21 | × | mikoto-chan quits (~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 14:06:43 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 14:06:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:06:43 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 14:07:09 | → | califax joins (~califax@user/califx) |
| 14:07:14 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 14:07:20 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:08:02 | → | acidjnk_new joins (~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de) |
| 14:09:24 | → | benin0 joins (~benin@183.82.24.82) |
| 14:10:15 | → | biberu\ joins (~biberu@user/biberu) |
| 14:10:40 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 14:11:52 | biberu\ | is now known as biberu |
| 14:13:14 | × | v0d1ch quits (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) (Quit: Client closed) |
| 14:18:31 | → | dschrempf joins (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) |
| 14:22:46 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 14:25:06 | → | benin00 joins (~benin@183.82.24.116) |
| 14:27:02 | → | renzhi joins (~xp@2607:fa49:6500:b100::c32e) |
| 14:27:05 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 14:27:16 | × | benin0 quits (~benin@183.82.24.82) (Ping timeout: 268 seconds) |
| 14:27:17 | benin00 | is now known as benin0 |
| 14:30:22 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:30:40 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 14:32:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:36:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 14:37:57 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 14:40:30 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:40:47 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 14:47:13 | → | califax_ joins (~califax@user/califx) |
| 14:47:39 | × | coot quits (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 14:48:04 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:48:24 | califax_ | is now known as califax |
| 14:49:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 14:51:19 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 14:53:13 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 14:59:55 | → | n8chan joins (~nate@98.45.169.16) |
| 15:01:36 | × | lortabac quits (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 15:01:55 | × | neightchan quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 15:02:10 | → | shriekingnoise joins (~shrieking@201.212.175.181) |
| 15:03:13 | → | coot joins (~coot@213.134.190.95) |
| 15:03:14 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 15:05:40 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 15:05:57 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 15:08:24 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 15:09:52 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 15:10:00 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 15:12:33 | → | Midjak joins (~Midjak@82.66.147.146) |
| 15:12:42 | × | Hash quits (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 15:15:24 | → | mastarija joins (~mastarija@2a05:4f46:e02:8c00:143f:9462:5d9b:e82e) |
| 15:16:13 | <mastarija> | Can anyone help me understand why I get this overlapping instances error for a simple generic servant server with authentication? |
| 15:16:34 | <mastarija> | Error : https://pastebin.com/r5bY0day |
| 15:16:48 | → | Hash joins (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 15:16:54 | <mastarija> | Code : https://pastebin.com/GvXbmyv5 |
| 15:17:07 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 15:18:11 | <mastarija> | I'm not sure if I'm using the `genericServeTWithContext` correctly, but from what I understand I should be able to use a custom monad and add context with JWT settings |
| 15:18:33 | → | Midjak joins (~Midjak@82.66.147.146) |
| 15:18:43 | <merijn> | mastarija: Not an answer, but consider using paste.tomsmeding.com to avoid the atrocious syntax highlighting :p |
| 15:19:12 | <geekosaur> | and to group the error with the code instead of having them be separate |
| 15:19:12 | <mastarija> | Ah.. I will :D |
| 15:19:49 | <mastarija> | geekosaur, wouldn't that create attrocious syntax hilighting in "console output" code? |
| 15:21:13 | <geekosaur> | it doesn't try to highlight everything, andin particular doesn't try to use background colors as part of highlighting (I use a plugin that redirects pastebn urls to the raw equivalents to avoid that but then I also lose line numbers and such |
| 15:21:15 | <geekosaur> | ) |
| 15:21:47 | <mastarija> | https://paste.tomsmeding.com/pKpMf0ms |
| 15:21:50 | × | dschrempf quits (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) (Ping timeout: 255 seconds) |
| 15:21:53 | <mastarija> | There we go :D |
| 15:22:03 | <mastarija> | My problems. All in one place. |
| 15:22:03 | <geekosaur> | iirc the worse paste.tomsmeding.com does is highlight uppercase first words in console output mode, which is bearable |
| 15:22:38 | → | ccntrq1 joins (~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de) |
| 15:24:06 | × | ccntrq quits (~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8) (Ping timeout: 264 seconds) |
| 15:24:06 | ccntrq1 | is now known as ccntrq |
| 15:24:06 | × | phma quits (~phma@host-67-44-208-91.hnremote.net) (Read error: Connection reset by peer) |
| 15:25:31 | → | phma joins (phma@2001:5b0:2172:d858:ec5c:8ab7:6325:1bc7) |
| 15:25:37 | <geekosaur> | hm, I don't know Servant well enough, but this actually looks somewhat broken because of e.g. the "depends on the instantiation of `'" (why is it empty, ghc?) |
| 15:25:52 | <mastarija> | Yes. I was wondering about that. |
| 15:26:26 | <geekosaur> | also I don't like how the first matching instance has a TypeError constraint, suggesting Servant doesn't like something about it |
| 15:29:10 | <geekosaur> | I do wonder if you need to be more specific about the `ctx`, since that looks like what it's choking on |
| 15:29:23 | <mastarija> | hm.. well, it has a type |
| 15:29:29 | <mastarija> | Don't know what else to give him |
| 15:29:33 | → | ccntrq1 joins (~Thunderbi@2a01:c22:8db9:ee00:c376:60cb:62d2:aab9) |
| 15:29:45 | <geekosaur> | but is that type specific enough? |
| 15:31:24 | × | ccntrq quits (~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 15:31:24 | ccntrq1 | is now known as ccntrq |
| 15:31:30 | <mastarija> | I'm looking at auth HasServer instance right now |
| 15:31:32 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:31:42 | <geekosaur> | hm, there's a #haskell-servant but it's pretty small. still, might be worth asking there if nobody here can help |
| 15:31:43 | <mastarija> | geekosaur, it seems like I need to add CookieSettings as well |
| 15:31:57 | <mastarija> | But I already had that... |
| 15:32:01 | <mastarija> | I'll try again :D |
| 15:32:24 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 15:32:26 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 15:32:48 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 15:32:53 | → | califax joins (~califax@user/califx) |
| 15:34:53 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 244 seconds) |
| 15:37:30 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 15:37:44 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 15:39:12 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 15:44:08 | → | mikoto-chan joins (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 15:46:43 | × | dcoutts_ quits (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Remote host closed the connection) |
| 15:46:50 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 15:46:53 | → | dcoutts_ joins (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 15:46:58 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 15:47:01 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 15:47:08 | → | dcoutts__ joins (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 15:49:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 15:50:31 | × | dcoutts quits (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds) |
| 15:51:24 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 15:51:33 | → | hosk1 joins (~hosk@90-231-13-185-no3430.tbcn.telia.com) |
| 15:54:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 272 seconds) |
| 15:55:05 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 15:56:04 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 15:57:44 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 16:03:29 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 16:03:47 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 16:04:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:04:56 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 16:06:44 | × | hays quits (rootvegeta@fsf/member/hays) (Remote host closed the connection) |
| 16:06:55 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 16:07:02 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) |
| 16:07:14 | × | mbuf quits (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 16:08:29 | × | califax quits (~califax@user/califx) (Ping timeout: 268 seconds) |
| 16:08:29 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 16:09:05 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 16:09:19 | → | califax joins (~califax@user/califx) |
| 16:09:27 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 16:10:22 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 16:12:56 | → | johnw joins (~johnw@2600:1700:cf00:db0:dc35:4fc6:f087:ce5b) |
| 16:14:09 | × | mikoto-chan quits (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 16:17:15 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 16:17:30 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 16:17:41 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:20:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 16:20:55 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 16:22:06 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 16:25:18 | × | benin0 quits (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 16:29:26 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 272 seconds) |
| 16:30:21 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:32:04 | × | ccntrq quits (~Thunderbi@2a01:c22:8db9:ee00:c376:60cb:62d2:aab9) (Remote host closed the connection) |
| 16:32:13 | → | econo joins (uid147250@user/econo) |
| 16:32:20 | → | slack1256 joins (~slack1256@186.11.17.101) |
| 16:33:23 | × | naso quits (~naso@193-116-244-197.tpgi.com.au) () |
| 16:36:44 | → | mikoto-chan joins (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 16:38:58 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 16:39:15 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 16:43:10 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds) |
| 16:44:02 | → | dcoutts joins (~duncan@host86-150-41-225.range86-150.btcentralplus.com) |
| 16:45:57 | × | causal quits (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
| 16:47:15 | × | dcoutts_ quits (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds) |
| 16:47:33 | → | dcoutts_ joins (~duncan@host86-150-41-225.range86-150.btcentralplus.com) |
| 16:48:15 | × | dcoutts__ quits (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 276 seconds) |
| 16:52:14 | → | dcoutts__ joins (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 16:54:16 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 16:54:39 | × | dcoutts_ quits (~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 268 seconds) |
| 16:54:46 | × | dcoutts quits (~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 272 seconds) |
| 16:55:39 | → | dcoutts joins (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 16:57:17 | → | dcoutts_ joins (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 16:59:09 | <mastarija> | Turns out there was a bug in servant-auth-server where they didn't teach Auth how to go over NamedRoutes |
| 16:59:31 | <mastarija> | I just wrote orphan instances until that's fixed in the next release |
| 16:59:58 | <mastarija> | But the error was soooo cryptic :D |
| 17:00:12 | × | dcoutts__ quits (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds) |
| 17:00:36 | × | dcoutts quits (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds) |
| 17:01:12 | → | dcoutts joins (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 17:01:15 | <geekosaur> | that's the big downside of doing type level stuff |
| 17:01:29 | <geekosaur> | the error messages are impenetrable |
| 17:02:54 | → | dcoutts__ joins (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 17:05:45 | × | dcoutts_ quits (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds) |
| 17:06:00 | × | dcoutts__ quits (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 17:06:01 | → | dcoutts_ joins (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 17:06:22 | → | dcoutts__ joins (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 17:06:27 | × | dcoutts quits (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds) |
| 17:06:39 | × | mikoto-chan quits (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 17:06:58 | × | mastarija quits (~mastarija@2a05:4f46:e02:8c00:143f:9462:5d9b:e82e) (Quit: Leaving) |
| 17:09:27 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 17:10:08 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 17:10:55 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 17:11:01 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:12:02 | → | mikoto-chan joins (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 17:13:27 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 17:13:46 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 17:15:29 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 17:16:33 | → | jao joins (~jao@92.233.85.247) |
| 17:16:56 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 17:18:14 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 17:18:40 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 17:20:02 | → | nate4 joins (~nate@98.45.169.16) |
| 17:21:14 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) (Ping timeout: 268 seconds) |
| 17:22:21 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 17:23:30 | × | mikoto-chan quits (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 264 seconds) |
| 17:25:08 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 17:30:05 | × | PiDelport quits (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:31:16 | → | coot joins (~coot@213.134.190.95) |
| 17:38:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:42:29 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 17:42:46 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 17:43:33 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 17:43:50 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 17:47:44 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 17:48:01 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 17:50:03 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 17:52:00 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 17:55:48 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 17:56:05 | → | JoeBloggs7003141 joins (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 17:57:00 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 268 seconds) |
| 18:02:30 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 264 seconds) |
| 18:03:55 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:06:52 | → | indigo_ibs joins (~user@95.146.83.181) |
| 18:11:12 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 18:12:26 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 18:12:32 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 18:13:07 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:13:08 | → | gmg joins (~user@user/gehmehgeh) |
| 18:14:14 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:14:32 | → | indigo_i` joins (~user@95.146.83.181) |
| 18:14:46 | <qrpnxz> | omg, why is pastebin haskell highlighting so bad?! |
| 18:16:56 | × | indigo_ibs quits (~user@95.146.83.181) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 28.1)) |
| 18:17:22 | → | gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 18:17:23 | <yushyin> | maybe try the paste service that is mentioned in the topic |
| 18:18:02 | ← | indigo_i` parts (~user@95.146.83.181) () |
| 18:18:22 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 18:18:26 | → | indigo_i` joins (~user@95.146.83.181) |
| 18:21:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:25:20 | <qrpnxz> | yes, i'm commenting on earlier convo |
| 18:25:40 | <qrpnxz> | i thought it would be subtly bad, and i click and it's just absolutely horrendous |
| 18:26:10 | hosk1 | is now known as goober |
| 18:26:11 | <yushyin> | ah |
| 18:26:13 | → | Polo joins (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 18:26:20 | × | Polo quits (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 18:26:20 | → | Polo joins (~Gambino@user/polo) |
| 18:29:05 | → | Pickchea joins (~private@user/pickchea) |
| 18:31:25 | → | v0d1ch joins (~v0d1ch@87.116.177.10) |
| 18:32:43 | × | JoeBloggs7003141 quits (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 18:32:47 | × | winny quits (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 18:32:59 | × | tafa quits (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 18:35:14 | → | tafa joins (~tafa@user/tafa) |
| 18:35:46 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 18:36:58 | × | v0d1ch quits (~v0d1ch@87.116.177.10) (Quit: Client closed) |
| 18:37:16 | → | winny joins (~weechat@user/winny) |
| 18:38:38 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 18:39:16 | Polo | is now known as money |
| 18:39:16 | × | money quits (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:40:49 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 18:43:55 | → | SamBellamy joins (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 18:47:36 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 244 seconds) |
| 18:50:57 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 18:51:33 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:54:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 18:54:50 | × | [exa] quits (exa@user/exa/x-3587197) (Ping timeout: 244 seconds) |
| 18:55:59 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 19:00:19 | × | zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 19:00:43 | → | [exa] joins (exa@srv3.blesmrt.net) |
| 19:00:57 | × | alternateved quits (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 19:02:23 | × | winny quits (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 19:02:53 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 19:03:17 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:03:18 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:03:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:04:01 | → | winny joins (~weechat@user/winny) |
| 19:14:06 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 19:18:32 | × | acidjnk_new quits (~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 19:19:54 | → | kenran joins (~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de) |
| 19:24:36 | → | Digit joins (~user@user/digit) |
| 19:26:03 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:29:37 | → | acidjnk_new joins (~acidjnk@p200300d6e705867599c6c88ced65ac2d.dip0.t-ipconnect.de) |
| 19:30:36 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 19:32:50 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:33:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:33:43 | × | h_ quits (rootvegeta@fsf/member/hays) (Client Quit) |
| 19:34:31 | → | jespada joins (~jespada@190.7.36.46) |
| 19:37:17 | → | zer0bitz joins (~zer0bitz@2001:2003:f748:2000:10dd:cdb6:6796:296b) |
| 19:41:11 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:46:12 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:46:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 19:47:36 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 19:48:43 | × | h_ quits (rootvegeta@fsf/member/hays) () |
| 19:49:07 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 19:49:15 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 19:49:17 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:51:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:51:27 | × | h_ quits (rootvegeta@fsf/member/hays) (Client Quit) |
| 19:51:38 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:51:49 | × | h_ quits (rootvegeta@fsf/member/hays) (Client Quit) |
| 19:52:01 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:52:03 | × | h_ quits (rootvegeta@fsf/member/hays) (Client Quit) |
| 19:52:15 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 19:52:57 | × | h_ quits (rootvegeta@fsf/member/hays) (Client Quit) |
| 19:53:18 | → | king_gs joins (~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7) |
| 19:54:22 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 19:55:13 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 19:56:26 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:57:53 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 19:57:53 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 19:57:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 19:58:26 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:58:47 | → | aliosablack joins (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) |
| 19:59:39 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:59:58 | → | gmg joins (~user@user/gehmehgeh) |
| 20:00:56 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 20:00:57 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 20:02:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:06:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 20:08:20 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 20:08:23 | × | fserucas_ quits (~fserucas@246.76.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 20:09:16 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 20:09:52 | → | coot joins (~coot@213.134.190.95) |
| 20:11:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 20:11:39 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 20:14:12 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 20:15:05 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:20:04 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 20:23:25 | × | kenran quits (~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 20:26:26 | × | winny quits (~weechat@user/winny) (Remote host closed the connection) |
| 20:27:19 | → | winny joins (~weechat@user/winny) |
| 20:27:21 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 20:28:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 20:28:44 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 20:29:34 | → | quarkyalice joins (~quarkyali@user/quarkyalice) |
| 20:32:05 | × | quarkyalice quits (~quarkyali@user/quarkyalice) (Client Quit) |
| 20:33:05 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 20:33:48 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 20:38:13 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 20:40:18 | × | king_gs quits (~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7) (Quit: king_gs) |
| 20:41:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 20:41:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:41:16 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 244 seconds) |
| 20:41:43 | → | gmg joins (~user@user/gehmehgeh) |
| 20:42:27 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 20:42:42 | → | yin joins (~yin@user/zero) |
| 20:44:28 | × | michalz quits (~michalz@185.246.204.93) (Remote host closed the connection) |
| 20:44:46 | <tomsmeding> | qrpnxz: which paste are you looking at and what's bad about it? |
| 20:44:46 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 20:45:30 | <tomsmeding> | Oh you mean the pastebin.com thing, yes I was surprised as well lol |
| 20:46:15 | <tomsmeding> | It doesn't understand DataKinds, and it does this super annoying thing of highlighting strings with a background colour |
| 20:46:22 | <tomsmeding> | I don't know who thinks that is useful |
| 20:46:54 | → | gleostocha joins (~runic@c-73-15-32-211.hsd1.ca.comcast.net) |
| 20:46:55 | <geekosaur> | there is, thankfully, an extension for chrome/chromium that redirects all pastebin.com urls to /raw/ |
| 20:47:25 | <geekosaur> | the existence of which proves that it's not just haskell and not just us 🙂 |
| 20:48:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 20:49:21 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:49:53 | × | qrpnxz quits (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 255 seconds) |
| 20:51:21 | × | aliosablack quits (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) (Ping timeout: 276 seconds) |
| 20:51:43 | → | qrpnxz joins (~qrpnxz@fsf/member/qrpnxz) |
| 20:53:55 | × | gleostocha quits (~runic@c-73-15-32-211.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 20:54:10 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 20:55:29 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 20:55:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:57:13 | <tomsmeding> | Lol mastarija's error has << The choice depends on the instantiation of ‘’ >> which has got to be the most helpful hint ever |
| 20:57:51 | <Rembane> | GHC is ashamed! :D |
| 20:58:02 | → | gleostocha joins (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) |
| 20:58:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 21:00:04 | <geekosaur> | wonder what it takes to get that added to @ghc |
| 21:06:52 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 21:07:16 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 21:08:04 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 21:09:24 | → | notzmv joins (~zmv@user/notzmv) |
| 21:10:02 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 21:10:12 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 21:11:24 | → | funkyindieeee1 joins (~funkyindi@user/funkyindieeee1) |
| 21:15:35 | <yin> | how do vty and ansi-terminal compare? |
| 21:16:53 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 21:16:54 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 21:16:54 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 21:19:53 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 21:21:20 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 21:21:22 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:21:23 | × | gleostocha quits (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:21:33 | → | nate4 joins (~nate@98.45.169.16) |
| 21:21:36 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 21:22:29 | <geekosaur> | ansi-terminal is even lower level than vty, it provides functions abstracting the raw escape sequences but you have to put them together yourself. vty puts them together to provide a low level UI. brick uses that to assemble a higher level UI |
| 21:23:11 | <geekosaur> | and vty is built atop ansi-terminal (see its dependencies on hackage) |
| 21:25:00 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) (Remote host closed the connection) |
| 21:25:17 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) |
| 21:26:36 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 21:31:49 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 21:33:36 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:35:01 | <yin> | hm... now i'm looking at ansi-terminal-game |
| 21:35:47 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:35:52 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 21:36:49 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:37:26 | → | zzz joins (~yin@user/zero) |
| 21:37:32 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 21:40:44 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 21:47:09 | → | slack3106 joins (~slack1256@191.126.99.209) |
| 21:49:10 | × | slack1256 quits (~slack1256@186.11.17.101) (Ping timeout: 240 seconds) |
| 21:53:07 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 21:53:36 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 21:53:59 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 21:57:09 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:00:03 | → | janus joins (janus@anubis.0x90.dk) |
| 22:02:45 | × | slack3106 quits (~slack1256@191.126.99.209) (Read error: Connection reset by peer) |
| 22:02:49 | → | slack1256 joins (~slack1256@186.11.17.101) |
| 22:03:32 | <janus> | if i have a map to lists, where a bunch of these list values share a lot of data, how do i store this efficiently? can i still have fast lookups? |
| 22:04:01 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 22:04:50 | <janus> | i could even tell the map the equivalence relation to form buckets on, then the map could have difference lists within these buckets |
| 22:04:58 | <janus> | seems like a pretty general problem |
| 22:05:54 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 22:11:09 | <dsal> | What are you doing now and why do you feel it's inefficient? |
| 22:11:24 | → | gurkenglas joins (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 22:15:09 | <janus> | right now I have a `Map PackageId [Dependency]` but while talking to gbaz previously, it sounded like this might be too much data |
| 22:15:41 | <janus> | but since packages often have the same dependencies across versions, i figure it could save space to bucket by PackageName |
| 22:15:57 | <janus> | PackageId = PackageName + Version |
| 22:16:03 | <qrpnxz> | janus: the values are boxed so they should already be sharing as efficiently as possible, no? Or are you meaning that you have many duplicate values that are actually different objects, and you would like to have them be the same object? I think you can indeed do that by systematically checking every value and so on, but idk how much worth it that is |
| 22:16:54 | → | a joins (~a@2a00:23c6:2925:8801:18bf:2f44:ba3b:2314) |
| 22:17:01 | <janus> | qrpnxz: this is backed by AcidState/SafeCopy so i can't imagine how it would be sharing |
| 22:17:13 | a | is now known as Guest4375 |
| 22:17:23 | <qrpnxz> | you could have the function that produces Dependency values to first check if it already exists as an object even better. Reminds me of compiler symbol tables |
| 22:18:29 | × | slack1256 quits (~slack1256@186.11.17.101) (Remote host closed the connection) |
| 22:19:05 | <janus> | qrpnxz: i can't mess with the production of Dependency values since this has already been written to disk and i don't wanna write a migration |
| 22:19:57 | <janus> | qrpnxz: but nothing prevents me from having a custom CompactDependency type, which i did consider. but it's gonna be a pain because Dependency is in Cabal-syntax |
| 22:20:52 | × | Guest4375 quits (~a@2a00:23c6:2925:8801:18bf:2f44:ba3b:2314) (Remote host closed the connection) |
| 22:21:05 | <janus> | but if i have this DList thing working on plain old Dependency , maybe that won't be necessary |
| 22:21:08 | <qrpnxz> | i mean, you don't have to change Dependency type. Just whatever function you are getting Dep values from instead of returning a spanking new Dep value, it checks this table and returns whatever is already in there. It could even save you the time of at all constructing the object |
| 22:21:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 22:21:47 | <qrpnxz> | or even you can just carry keys to the table |
| 22:21:55 | <janus> | what table? |
| 22:22:41 | <qrpnxz> | the table i'm proposing you create :) Every Dep you create would go on the table. Instead of creating new Deps that are equal to one you already made, you pull the one you already made |
| 22:23:31 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:23:40 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 22:24:01 | <janus> | it's just that fetching a PkgInfo from the PackageIndex is a pure operation right now. if i start having it construct stuff based on some caching layer , it makes it impure |
| 22:24:20 | <janus> | maybe that's necessary but i think what i originally proposed doesn't require impurity |
| 22:24:48 | <qrpnxz> | you could filter the output of that, to build the table, replace duplicates with the same object, throw away the table. |
| 22:25:10 | <qrpnxz> | takes time, but still saves memory |
| 22:25:18 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 22:25:58 | <janus> | ok, but that's kinda what i originally asked for a pre-made solution for. a Map with bucketing, that just needs Eq to do buckets |
| 22:26:17 | <janus> | which would the also be able to have them share values |
| 22:27:27 | <qrpnxz> | that's just Set. I don't think set replaces keys if you try to insert a repeat value. So you can just insert and pull the key out |
| 22:28:16 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 22:28:35 | <janus> | the Deps can very within one bucket, it just isn't common |
| 22:28:40 | <janus> | *vary |
| 22:29:27 | → | wenjie joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 22:29:30 | × | zer0bitz quits (~zer0bitz@2001:2003:f748:2000:10dd:cdb6:6796:296b) (Ping timeout: 264 seconds) |
| 22:29:50 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:29:50 | <wenjie> | what is the command for automatically recompile a project when files are changed? |
| 22:29:59 | <wenjie> | is it ghcide? |
| 22:30:07 | <monochrom> | yes |
| 22:30:08 | <qrpnxz> | if it's automatic wouldn't it not have a command |
| 22:30:48 | <janus> | I guess I could have `Map PackageName (Map DepSetId [Dependency], Map Version DepSetId)` |
| 22:31:18 | <janus> | just isn't as good as it could be when you have small changes to the dependency set, which is probably super common in Hackage |
| 22:31:21 | <geekosaur> | wenjie, ghcid can do it but ionly for itself. stack has a flag to recompile when a file is changed |
| 22:31:34 | <wenjie> | monochrom: i launched ghcide inside a cabal folder, it terminates. I remember previous the program didn't terminate |
| 22:31:58 | <wenjie> | and keep monitoring for changes |
| 22:32:37 | <wenjie> | or maybe it was another similar program... |
| 22:33:21 | <wenjie> | just realized that ghcide and ghcid are not the same |
| 22:33:30 | × | acidjnk_new quits (~acidjnk@p200300d6e705867599c6c88ced65ac2d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:33:39 | <wenjie> | i'm looking for ghcid |
| 22:35:45 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 22:36:22 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 22:37:18 | → | RevoGen joins (~RevoGen@136.167.36.244) |
| 22:38:00 | <wenjie> | is yaml a good choice for serializing some textual program status? |
| 22:38:40 | <wenjie> | it seems haskell has a good yaml parsing library |
| 22:39:21 | <Rembane> | wenjie: No. JSON is better. |
| 22:40:28 | <wenjie> | ok i'll try aeson first thanks |
| 22:40:34 | <Clint> | aeson does yaml |
| 22:45:44 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:46:51 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 22:49:07 | <exarkun> | Just remember, YAML is a superset of JSON. |
| 22:49:29 | × | ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 22:50:30 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 22:53:38 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 22:54:48 | → | mncheck-m joins (~mncheck@193.224.205.254) |
| 22:54:51 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 22:55:19 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 22:55:42 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 22:57:01 | × | indigo_i` quits (~user@95.146.83.181) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 28.1)) |
| 22:57:09 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 22:57:11 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 23:00:20 | × | zzz quits (~yin@user/zero) (Ping timeout: 260 seconds) |
| 23:00:23 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 23:00:50 | → | zzz joins (~yin@user/zero) |
| 23:01:16 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 23:01:33 | → | nosewings joins (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 23:02:03 | <jackdk> | yaml libraries exist and are fine but yaml is a bad format |
| 23:09:26 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 23:13:16 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 23:13:33 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 23:13:36 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 23:14:31 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:14:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 23:14:31 | finn_elija | is now known as FinnElija |
| 23:16:08 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:19:23 | × | wenjie quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 23:21:30 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 23:22:24 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 23:22:29 | → | pavonia joins (~user@user/siracusa) |
| 23:22:44 | <monochrom> | Oh oops, I misread too, I had ghcid in mind, no e. |
| 23:23:33 | <monochrom> | Seen on a CV: I know c/c++, j/java/javascript, ghc/ghci/ghcid/ghcide |
| 23:26:41 | → | xff0x joins (~xff0x@2405:6580:b080:900:b066:fe39:acdd:e9df) |
| 23:27:45 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 23:28:42 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
| 23:30:33 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 23:30:53 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 23:31:10 | <jackdk> | Someone should write a position description demanding years of experience in ghcidef |
| 23:32:24 | × | segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 23:38:20 | → | Digit joins (~user@user/digit) |
| 23:41:17 | → | turlando joins (~turlando@user/turlando) |
| 23:41:29 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 23:41:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 23:41:41 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 23:41:41 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 23:41:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:42:16 | × | gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 23:42:39 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:48:10 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 23:48:33 | × | RevoGen quits (~RevoGen@136.167.36.244) (Remote host closed the connection) |
| 23:48:41 | → | RevoGen joins (~RevoGen@136.167.36.244) |
| 23:49:40 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 23:50:14 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 23:51:18 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 23:52:03 | × | RevoGen quits (~RevoGen@136.167.36.244) (Remote host closed the connection) |
| 23:52:19 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 23:59:36 | × | yin quits (~yin@user/zero) (Ping timeout: 268 seconds) |
| 23:59:41 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
All times are in UTC on 2022-07-21.