Logs on 2023-06-17 (liberachat/#haskell)
| 00:01:44 | <c_wraith> | you mean fancy new rgb color? |
| 00:01:50 | × | micro quits (~micro@user/micro) (Server closed connection) |
| 00:01:56 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:01:57 | → | micro joins (~micro@user/micro) |
| 00:02:13 | sm | . o O ( red line: rrrrrrrrrrrrrrrrrr ) |
| 00:03:01 | <pie_> | whoops, looks like increasing the iteration count totally goofs something... |
| 00:03:14 | <EvanR> | aalib |
| 00:03:25 | → | califax joins (~califax@user/califx) |
| 00:03:29 | <EvanR> | I recall a mandlebrot demo using that somewhere in bbdemo |
| 00:03:45 | <pie_> | i wonder if its a coincidence that this worked at all |
| 00:04:59 | <sm> | https://github.com/busyloop/lolcat it |
| 00:12:16 | <pie_> | well, here we go, kinda works http://ix.io/4yrK |
| 00:12:38 | <pie_> | heh <sm> https://github.com/busyloop/lolcat it |
| 00:13:05 | <pie_> | doing things properly is too hard :p |
| 00:15:14 | <sm> | pie_: cool. Nice to compare different implementations |
| 00:15:40 | <EvanR> | doing terrible terminal tech "properly" xD |
| 00:17:15 | <EvanR> | I guess graphics isn't in any better shape |
| 00:17:57 | <EvanR> | you have people saying not to use (modernish) opengl |
| 00:18:21 | <sm> | GLUT or gloss look pretty fine for this |
| 00:19:09 | <EvanR> | gloss ftw |
| 00:23:19 | × | Aleksejs quits (~Aleksejs@107.170.21.106) (Server closed connection) |
| 00:23:29 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 00:33:45 | <pie_> | i added lenses |
| 00:33:56 | <pie_> | gotta love how haskell is always great and terrible at the same time |
| 00:34:55 | → | sh1n joins (~sh1n@181.229.226.220) |
| 00:35:34 | → | kritty joins (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 00:36:33 | <pie_> | wow that haskell-mandelbrot-set feels shorter than my entire mandelbrot function :/ |
| 00:36:46 | <pie_> | (its not, but it _feels_ like it) |
| 00:37:42 | <pie_> | i guess this is done for now http://ix.io/4yrS |
| 00:44:25 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:44:59 | × | disconnect3d quits (~disconnec@user/disconnect3d) (Server closed connection) |
| 00:45:08 | → | disconnect3d joins (~disconnec@user/disconnect3d) |
| 00:46:34 | <pie_> | ok i may have figured out how to make the zooming less obnoxious |
| 00:46:57 | <pie_> | it would pan (sort of) towards the center because of the way i handled the coordinated |
| 00:47:02 | <pie_> | coordinates |
| 00:49:32 | × | ijqq_ quits (uid603979@id-603979.helmsley.irccloud.com) () |
| 00:50:03 | → | ijqq joins (uid603979@id-603979.helmsley.irccloud.com) |
| 00:50:22 | <ijqq> | btw what does Channel mode: +Cnt mean in irc? |
| 00:51:02 | × | kritty quits (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 00:52:25 | <EvanR> | pie_, how much of your program is dedicated to the terminal and how much is the actual mandlebrot set |
| 00:55:38 | <yushyin> | ijqq: https://libera.chat/guides/channelmodes |
| 00:55:52 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 00:56:10 | <ijqq> | oh interesting, thank you |
| 00:58:45 | <ijqq> | http://sprunge.us/suiJ4Y |
| 00:58:45 | <ijqq> | how can I improve this? |
| 00:59:15 | <pie_> | repo https://github.com/deliciouslytyped/haskell-mandelbrot-sandbox |
| 00:59:18 | <pie_> | EvanR: half and half |
| 00:59:28 | <pie_> | or maybe 1/4 3/4 |
| 01:03:04 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:03:09 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 01:06:46 | <pie_> | added some screenshots to the repo |
| 01:08:10 | <ijqq> | looks cool :) |
| 01:08:37 | <ijqq> | i tried to run it but i don't have the dependencies it seems |
| 01:09:13 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:09:24 | <pie_> | i think the only external dependency is micro lens |
| 01:09:43 | <pie_> | despite what i added to the readme |
| 01:10:20 | <pie_> | hm. |
| 01:10:25 | <pie_> | it also only works properly in ghci |
| 01:10:50 | <pie_> | i probably need to set some sort of terminal buffering mode... |
| 01:11:05 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:49 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 01:12:55 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:12:55 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:12:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:13:13 | × | txaas quits (~txaas@user/jarlg) (Quit: WeeChat 3.6) |
| 01:16:29 | <pie_> | ok that fixed that but breaks the status line for some reason... |
| 01:16:48 | <pie_> | ok got it |
| 01:17:12 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:16 | <pie_> | Maybe I should get rid of the lenses dependency. Then it'd work standalone. |
| 01:20:07 | <ijqq> | that would be cool. i would try to get lens but i've just had a day of errors from ghc and hls and other versions not matching, so i'm scared to touch anything now |
| 01:21:55 | <EvanR> | you should be scared to touch anything in haskell, it might be ⊥ |
| 01:21:55 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 01:22:09 | <pie_> | x) |
| 01:22:20 | <pie_> | EvanR: but I like bit bottoms and I cannot lie |
| 01:22:47 | <pie_> | everyone failed to realize mc hammer solved the halting problem |
| 01:23:17 | <ijqq> | hehe |
| 01:28:51 | <EvanR> | did you just mistake sir mix-a-lot for hammer |
| 01:29:21 | <pie_> | I mean, the name is mix-a-lot |
| 01:29:26 | <pie_> | I'm gonna mix it up a lot |
| 01:36:13 | <hpc> | i was going to say, mc hammer's known for chmod 000 /bin/touch |
| 01:37:35 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 01:41:07 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 01:41:28 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:42:52 | × | k`` quits (~user@136.56.140.2) (Ping timeout: 252 seconds) |
| 01:45:52 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 01:50:27 | → | sympt joins (~sympt@user/sympt) |
| 01:52:11 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 01:54:19 | × | kristjansson_ quits (sid126207@id-126207.tinside.irccloud.com) (Server closed connection) |
| 01:54:50 | → | kristjansson_ joins (sid126207@id-126207.tinside.irccloud.com) |
| 01:58:31 | → | tubogram4474 joins (~tubogram@user/tubogram) |
| 01:59:54 | × | tubogram447 quits (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 01:59:54 | tubogram4474 | is now known as tubogram447 |
| 02:01:23 | <pie_> | I wasnt alive in the 80s or whichever decade this is exactly but playing with this, im really getting a vibe |
| 02:01:46 | <pie_> | with the slow top down scan screen updates and blockiness |
| 02:02:11 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 02:02:37 | <EvanR> | 80s PCs tended to have fancy color graphics, then DOS happened and it all went away |
| 02:02:37 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 02:03:13 | → | tubogram4471 joins (~tubogram@user/tubogram) |
| 02:03:44 | <EvanR> | back to solitaire rendered with codepage heart and clubs |
| 02:04:47 | × | rando25892 quits (~andor2985@172.58.85.62) (Changing host) |
| 02:04:47 | → | rando25892 joins (~andor2985@user/rando25892) |
| 02:05:05 | <pie_> | ha |
| 02:05:27 | × | tubogram447 quits (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 02:05:27 | tubogram4471 | is now known as tubogram447 |
| 02:05:49 | <pie_> | i was just thinking earlier that i get hints sometimes that core windows is actually a very sophisticated kernel, but with all the crap they make us put up with on top of it... |
| 02:07:31 | <pie_> | now if only terminal emulators had double buffering and a way to draw faster |
| 02:07:32 | <pie_> | :p |
| 02:07:46 | <pie_> | (yes i want text more graphics mode xp) |
| 02:07:50 | <pie_> | *mode |
| 02:08:26 | <EvanR> | that's what I was saying earlier you have term-emus that are blazing fast, others dirt slow for whatever reason. Sometimes because of extra features sometimes no excuse |
| 02:09:30 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 02:09:36 | <pie_> | i forgot that im using ssh in the windows terminal |
| 02:09:48 | <EvanR> | your chosen term might just be dirt slow |
| 02:09:49 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 02:09:50 | <nyc> | There has to be a queue (FIFO) API that allows for smoother replicateM use. |
| 02:09:54 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 02:12:21 | <pie_> | EvanR: Im not so suer. |
| 02:12:36 | <pie_> | or the network, or theyre both slow |
| 02:12:42 | <pie_> | or tmux is slow |
| 02:13:14 | <pie_> | multiple of these feel kind of unlikely given the latency i experience but thats a lot less redraws |
| 02:13:22 | <pie_> | *the latency i usually experience |
| 02:13:48 | <pie_> | I might be pushing a whopping several kilobytes per second |
| 02:14:00 | <EvanR> | oh, you're streaming mass quantities of control codes, a screens worth, continually over the network |
| 02:14:09 | <pie_> | though maybe its higher than that given the burst |
| 02:14:36 | <EvanR> | putty or whatever might be throttling you |
| 02:14:43 | → | bilegeek joins (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) |
| 02:15:01 | <EvanR> | aalib never worked great over the network |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:15:27 | <pie_> | oh bro |
| 02:15:31 | <pie_> | its way faster outside tmux |
| 02:15:35 | <pie_> | waaay |
| 02:15:41 | <EvanR> | ok blame tmux |
| 02:15:59 | <pie_> | like, its still not instant but its definitely faster |
| 02:16:36 | <pie_> | this just got a lot more fun |
| 02:16:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:16:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:16:44 | finn_elija | is now known as FinnElija |
| 02:18:14 | <pie_> | i should add a feature to load and save coordinates but i should really stop |
| 02:20:48 | <pie_> | turns out its more fun when your machine isnt constantly lagging |
| 02:23:14 | <pie_> | gamers might be on to something |
| 02:23:14 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 02:24:50 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Server closed connection) |
| 02:24:57 | <pie_> | hm i should do like a telnet or something mandelbrot browser as a network service thing as a project |
| 02:25:08 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) |
| 02:27:27 | <EvanR> | go ahead and make it a bulletin board system |
| 02:27:48 | <pie_> | heh |
| 02:27:55 | <EvanR> | you could charge by the minute |
| 02:29:17 | → | cheater_ joins (~Username@user/cheater) |
| 02:30:54 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 02:31:03 | cheater_ | is now known as cheater |
| 02:33:57 | <pie_> | Ok I guess I should stop patting myself on the back now and get back to doing something I'm supposed to be doing |
| 02:39:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:40:55 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 265 seconds) |
| 02:42:31 | → | td_ joins (~td@i5387091A.versanet.de) |
| 02:45:44 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 02:45:54 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 02:49:06 | × | sh1n quits (~sh1n@181.229.226.220) (Read error: Connection reset by peer) |
| 02:56:29 | → | Nokurn joins (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 02:57:18 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 02:57:29 | <nyc> | {- Okasaki-style -} data Fifo t = Fifo ![t] ![t] deriving (Eq, Ord, Read, Show) ; remove = \case { Fifo [] [] -> Nothing ; Fifo (h:t) y -> Just (Fifo t y, h) ; Fifo[] y -> let ~(h:t) = reverse y in Just (Fifo t [], h) } |
| 02:58:32 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 03:00:42 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection) |
| 03:03:45 | <nyc> | There should be a better interface. |
| 03:06:53 | <EvanR> | -- lt barclay (TNG: The Nth Degree) |
| 03:15:44 | × | dtman34 quits (~dtman34@76.156.89.180) (Ping timeout: 246 seconds) |
| 03:16:41 | → | falafel joins (~falafel@172.58.242.200) |
| 03:18:32 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 03:26:35 | → | brettgilio joins (~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 03:29:23 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:29:44 | × | ijqq quits (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:44:55 | × | xff0x_ quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 03:45:18 | → | xff0x_ joins (~xff0x@178.255.149.135) |
| 03:48:45 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 258 seconds) |
| 03:58:10 | → | mncheck joins (~mncheck@193.224.205.254) |
| 04:01:03 | × | bilegeek quits (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) (Quit: Leaving) |
| 04:02:56 | <sm> | pie_: network will certainly slow things a bit. But give dtach a try also, I wonder how it compares to tux. And mosh vs ssh. |
| 04:03:32 | × | xff0x_ quits (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 04:03:52 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 04:05:44 | → | xff0x_ joins (~xff0x@ai098135.d.east.v6connect.net) |
| 04:10:41 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) |
| 04:11:25 | × | mei quits (~mei@user/mei) (Ping timeout: 240 seconds) |
| 04:11:36 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 04:12:10 | <nyc> | Removing n with replicateM and a state monad and doing it with splitAt are both slightly longer than recursion in a Maybe monad. |
| 04:15:50 | → | mei joins (~mei@user/mei) |
| 04:34:46 | <[Leary]> | nyc: Pointlessly golfed, but how about `(!?) . unfoldr (fmap (\t@(q,_) -> (t,q)) . remove)`? |
| 04:38:19 | × | systemfault quits (sid267009@id-267009.uxbridge.irccloud.com) (Server closed connection) |
| 04:38:29 | → | systemfault joins (sid267009@id-267009.uxbridge.irccloud.com) |
| 04:47:50 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:50:38 | × | dragestil quits (~znc@user/dragestil) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 04:51:02 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 04:51:21 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 04:52:57 | × | gry quits (quasselcor@botters/gry) (Server closed connection) |
| 04:53:17 | → | gry joins (quasselcor@botters/gry) |
| 04:56:14 | <nyc> | [Leary]: I think the behavior is different around insufficient queues. |
| 04:56:52 | × | falafel quits (~falafel@172.58.242.200) (Ping timeout: 240 seconds) |
| 05:02:53 | <nyc> | [Leary]: It also needed to return the list of everything removed, not just the last one. |
| 05:03:58 | <[Leary]> | nyc: Yeah, I neglected to test it; it's just straight-up the wrong type, oops. I fixed it up, but it got ugly: `list n q = fmap ($ []) <$> unfoldr (\(q,dl) -> pop q <&> (\(q,x) -> dupe (q,dl . (x:)))) (q,id) !? n` |
| 05:04:30 | <[Leary]> | Err, where `remove` became `pop`. |
| 05:05:00 | <[Leary]> | I feel like I'm doing something stupid with `unfoldr` and `dupe` though. |
| 05:05:54 | <[Leary]> | Oh, I see what you mean about insufficent queues. Hah, it's still wrong then. |
| 05:06:03 | <nyc> | What are pop & dupe? |
| 05:06:34 | <[Leary]> | My `pop` is just your `remove`. `dupe` is `a -> (a, a)`. |
| 05:10:27 | <nyc> | There's an off by one. |
| 05:10:41 | <[Leary]> | I'm on fire today. |
| 05:13:04 | <nyc> | I think more maintainability might be needed. |
| 05:15:11 | <nyc> | I forget how to invoke lambdabot. |
| 05:16:11 | <nyc> | > (flip (,)) 1 2 |
| 05:16:13 | <lambdabot> | (2,1) |
| 05:16:29 | <nyc> | > (\n (Fifo fs rs) -> let { (xs, fs') = splitAt n fs ; k = length xs ; (ys, rs') | k == n = ([], rs) | otherwise = splitAt (n - k) $ reverse rs } in if k + length ys < n then Nothing else if k == n then Just (Fifo fs' rs, xs) else Just (Fifo rs' [], xs ++ ys)) 5 (Fifo [1..3] [4..5]) |
| 05:16:30 | <lambdabot> | error: Not in scope: data constructor ‘Fifo’ |
| 05:18:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 05:26:09 | <nyc> | I also came up with (\n queue -> (\(m, y) -> fmap ((,) y) m) . runIdentity . flip runStateT queue . runMaybeT $ replicateM n $ do { (q', x) <- MaybeT . pure . remove =<< lift get ; lift $ put q' ; pure x }) 5 (Fifo [] [1..10]) |
| 05:26:39 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 05:26:48 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 05:29:01 | → | dragestil joins (~znc@user/dragestil) |
| 05:37:50 | → | trev joins (~trev@user/trev) |
| 05:40:25 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:48:19 | × | ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 05:48:34 | → | ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com) |
| 05:55:31 | × | ringo__ quits (~ringo@157.230.117.128) (Server closed connection) |
| 05:55:51 | → | ringo__ joins (~ringo@157.230.117.128) |
| 05:57:59 | × | end\ quits (~end^@user/end/x-0094621) (Remote host closed the connection) |
| 05:58:13 | → | end\ joins (~end^@user/end/x-0094621) |
| 06:00:15 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 06:02:24 | × | rando25892 quits (~andor2985@user/rando25892) (Quit: BitchX-1.2.1 -- just do it.) |
| 06:03:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:07:10 | end\ | is now known as end^ |
| 06:17:43 | → | yaroot_ joins (~yaroot@p3136152-ipngn5601souka.saitama.ocn.ne.jp) |
| 06:18:38 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 258 seconds) |
| 06:18:38 | yaroot_ | is now known as yaroot |
| 06:27:16 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 06:27:34 | × | integral quits (sid296274@user/integral) (Server closed connection) |
| 06:27:46 | → | integral joins (sid296274@user/integral) |
| 06:28:25 | × | tubogram447 quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 06:30:29 | <[Leary]> | nyc: Had another go. Fixed it for real this time (actually tested): `list n q0 = fmap ($ []) <$> foldr (<=<) pure (replicate n go) (q0,id) where go (q,dl) = remove q <&> second \x -> dl . (x:)`. |
| 06:31:29 | <[Leary]> | Basically `stimes` on `EndoM`. |
| 06:33:25 | → | tubogram4471 joins (~tubogram@user/tubogram) |
| 06:33:45 | → | acidjnk joins (~acidjnk@p200300d6e7072f8821c033a15ffbac05.dip0.t-ipconnect.de) |
| 06:34:00 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 06:34:29 | <jade[m]1> | what exactly is the task? |
| 06:36:16 | × | AkechiShiro quits (~licht@2a01:e0a:5f9:9681:cc64:47a4:1f57:8f59) (Ping timeout: 248 seconds) |
| 06:36:24 | × | tubogram4471 quits (~tubogram@user/tubogram) (Client Quit) |
| 06:37:17 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 06:37:43 | <[Leary]> | jade[m]1: Write `Int -> Fifo t -> Maybe (Fifo t, [t])`, pulling n elements off the front of an Okasaki-style queue when possible, preferably via `remove :: Fifo t -> Maybe (Fifo t, t)` rather than the internal interface. |
| 06:38:50 | → | tubogram4471 joins (~tubogram@user/tubogram) |
| 06:39:47 | <int-e> | :t unfoldr |
| 06:39:48 | <lambdabot> | (b -> Maybe (a, b)) -> b -> [a] |
| 06:42:20 | × | zxrom quits (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 06:46:13 | → | zxrom joins (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 06:50:47 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 06:51:43 | → | echoreply joins (~echoreply@45.32.163.16) |
| 07:00:49 | × | kimiamania6 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 07:03:51 | → | gmg joins (~user@user/gehmehgeh) |
| 07:15:14 | × | glowcoil quits (sid3405@id-3405.tinside.irccloud.com) (Server closed connection) |
| 07:15:23 | → | glowcoil joins (sid3405@id-3405.tinside.irccloud.com) |
| 07:19:49 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:24:12 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 07:27:38 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 07:27:44 | → | end\ joins (~end^@user/end/x-0094621) |
| 07:28:10 | × | davl_ quits (~davl@207.154.228.18) (Server closed connection) |
| 07:28:39 | → | davl joins (~davl@207.154.228.18) |
| 07:36:32 | → | kimiamania6 joins (~65804703@user/kimiamania) |
| 07:40:48 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 07:41:26 | × | kimiamania6 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 07:42:24 | → | kimiamania6 joins (~65804703@user/kimiamania) |
| 07:42:25 | → | hisa385 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 07:44:30 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds) |
| 07:44:30 | hisa385 | is now known as hisa38 |
| 07:59:59 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:05:44 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 08:08:11 | → | Pickchea joins (~private@user/pickchea) |
| 08:09:38 | × | kimiamania6 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 08:09:59 | → | kimiamania6 joins (~65804703@user/kimiamania) |
| 08:16:42 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:20:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 08:21:34 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 08:22:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:24:12 | → | laxmik joins (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 08:26:19 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 08:29:05 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 08:30:24 | × | jargon quits (~jargon@184.101.75.235) (Remote host closed the connection) |
| 08:37:36 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 08:37:43 | × | kimiamania6 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 08:38:07 | → | kimiamania6 joins (~6790af62@user/kimiamania) |
| 08:38:27 | → | ubert joins (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) |
| 08:39:15 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 08:40:58 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) |
| 08:42:20 | × | sympt quits (~sympt@user/sympt) (Ping timeout: 252 seconds) |
| 08:50:34 | × | lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 08:50:44 | → | lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com) |
| 08:51:02 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 08:54:03 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:01:03 | → | sympt joins (~sympt@user/sympt) |
| 09:06:12 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 09:07:28 | → | tubogram44711 joins (~tubogram@user/tubogram) |
| 09:09:25 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:09:42 | × | tubogram4471 quits (~tubogram@user/tubogram) (Ping timeout: 240 seconds) |
| 09:09:42 | tubogram44711 | is now known as tubogram4471 |
| 09:10:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 09:11:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 09:12:40 | × | laxmik quits (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 09:13:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:14:26 | → | yhhhGuest17 joins (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 09:15:29 | <carbolymer> | how can I find plan.json location using cabal? |
| 09:15:42 | → | fendor joins (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 09:15:58 | × | yhhhGuest17 quits (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 09:17:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:20:26 | → | yhhhGuest17 joins (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 09:21:03 | × | yhhhGuest17 quits (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 09:21:19 | → | yhhhGuest17 joins (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 09:21:34 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 09:21:54 | <tomsmeding> | carbolymer: isn't that always at dist-newstyle/cache/plan.json |
| 09:22:20 | → | jargon joins (~jargon@184.101.75.235) |
| 09:23:18 | <tomsmeding> | carbolymer: https://hackage.haskell.org/package/cabal-plan-0.7.3.0/docs/src/Cabal.Plan.html#findPlanJson |
| 09:23:24 | <tomsmeding> | see fromBuildDir |
| 09:25:41 | → | gurkenglas joins (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 09:25:54 | <carbolymer> | tomsmeding: usually, I think stack put it's in .stack or something, so I wanted to have reliable way for that |
| 09:26:12 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 09:27:47 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) (Remote host closed the connection) |
| 09:27:48 | <carbolymer> | tomsmeding: thanks |
| 09:27:49 | × | yhhhGuest17 quits (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 09:28:00 | → | yhhhGuest17 joins (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 09:29:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:35:14 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:38:35 | → | kuribas joins (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) |
| 09:38:43 | × | yhhhGuest17 quits (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 09:39:15 | → | yhhhGuest17 joins (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 09:41:22 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 09:44:37 | ← | yhhhGuest17 parts (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) () |
| 09:47:03 | → | chromoblob joins (~user@37.113.180.121) |
| 09:51:38 | → | notzmv joins (~zmv@user/notzmv) |
| 09:52:52 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 09:53:25 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 09:57:24 | → | chromoblob joins (~user@37.113.180.121) |
| 09:59:56 | <tomsmeding> | carbolymer: stack doesn't put cabal stuff anywhere because it's stack, not cabal, right? |
| 09:59:59 | × | yandere quits (sid467876@id-467876.ilkley.irccloud.com) (Server closed connection) |
| 10:00:09 | → | yandere joins (sid467876@id-467876.ilkley.irccloud.com) |
| 10:01:45 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 10:01:57 | <geekosaur> | don't confuse cabal-install with Cabal, and remember that builds used to be done via Setup.hs which uses Cabal |
| 10:02:16 | <geekosaur> | I think dist-newstyle goes under .stack-work? |
| 10:04:46 | <int-e> | @quote cabal |
| 10:04:47 | <lambdabot> | ivanm says: yeah, blame dcoutts... with his gtk2hs hat, he blames his c2hs hat for not playing nicely with his cabal hat |
| 10:07:45 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 10:12:00 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 10:12:54 | × | kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Server closed connection) |
| 10:13:02 | → | kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 10:14:45 | <geekosaur> | hm, that said I think caba.plan is from the cabal-install side of things |
| 10:30:42 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 10:31:15 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 258 seconds) |
| 10:35:10 | <carbolymer> | tomsmeding: probably just puts iwhole dist-newstyle into .stack-work, I don't remember now, probably I'll drop this stack angle |
| 10:44:10 | × | m1dnight_ quits (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 11:07:36 | → | titibandit joins (~titibandi@user/titibandit) |
| 11:07:52 | → | __monty__ joins (~toonn@user/toonn) |
| 11:08:13 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 11:17:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:21:59 | × | ell quits (~ellie@user/ellie) (Server closed connection) |
| 11:22:17 | → | ell joins (~ellie@user/ellie) |
| 11:22:33 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 11:47:55 | → | ell0 joins (~ellie@user/ellie) |
| 11:48:20 | × | mustafa__ quits (sid502723@id-502723.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 11:48:29 | × | yandere quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 11:48:36 | × | jinsl quits (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 11:48:36 | → | mustafa__ joins (sid502723@id-502723.hampstead.irccloud.com) |
| 11:48:39 | → | yandere joins (sid467876@id-467876.ilkley.irccloud.com) |
| 11:48:53 | → | jinsl joins (~jinsl@123.120.169.188) |
| 11:48:59 | × | tritlo_ quits (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 11:49:00 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 11:49:16 | × | ell quits (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 11:49:16 | ell0 | is now known as ell |
| 11:49:30 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 11:49:42 | → | tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com) |
| 11:50:00 | × | acertain_ quits (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 11:50:00 | × | rubin55_ quits (sid175221@id-175221.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 11:50:32 | → | rubin55_ joins (sid175221@id-175221.hampstead.irccloud.com) |
| 11:50:45 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 11:50:48 | → | acertain_ joins (sid470584@id-470584.hampstead.irccloud.com) |
| 11:50:51 | → | cyphase joins (~cyphase@user/cyphase) |
| 11:55:59 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 11:59:00 | × | dsal quits (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 11:59:10 | → | dsal joins (sid13060@id-13060.lymington.irccloud.com) |
| 12:03:32 | × | gurkenglas quits (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 12:05:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:07:01 | × | kuribas quits (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 12:09:10 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 12:10:46 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 12:13:32 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 12:14:14 | × | quintasan quits (~quassel@quintasan.pl) (Server closed connection) |
| 12:14:25 | → | quintasan joins (~quassel@quintasan.pl) |
| 12:15:22 | × | ddellacosta quits (~ddellacos@146.70.185.10) (Ping timeout: 252 seconds) |
| 12:15:44 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 12:17:21 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 12:19:13 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 12:19:40 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 12:19:56 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 12:22:01 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:22:03 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 12:22:20 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 12:32:05 | → | chromoblob joins (~user@37.113.180.121) |
| 12:33:41 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 12:39:57 | → | ripspin joins (~chatzilla@1.145.230.77) |
| 12:40:06 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 12:46:14 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 12:46:31 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:48:52 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 12:54:07 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 12:54:33 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 12:56:00 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 12:59:23 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 13:00:07 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:00:09 | × | ripspin quits (~chatzilla@1.145.230.77) (Remote host closed the connection) |
| 13:02:57 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:03:23 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 13:05:00 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 13:18:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:19:49 | sajith_ | is now known as sajith |
| 13:21:04 | → | m1dnight joins (~christoph@78-22-4-67.access.telenet.be) |
| 13:22:59 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:31:52 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 13:35:41 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:38:19 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 13:50:12 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 14:00:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 14:00:40 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:01:12 | × | zxrom quits (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 14:02:13 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 14:02:39 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:05:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:10:54 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:12:55 | → | zxrom joins (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 14:14:17 | → | ripspin joins (~chatzilla@1.145.195.81) |
| 14:21:19 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 14:22:14 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 14:22:24 | <nyc> | [Leary]: Interesting. |
| 14:22:39 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 14:23:59 | × | ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Server closed connection) |
| 14:24:11 | → | ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 14:30:18 | × | pat67 quits (~pat67@145.14.135.137) (Read error: Connection reset by peer) |
| 14:30:43 | → | pat67 joins (~pat67@145.14.135.137) |
| 14:31:27 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 14:31:28 | × | talismanick quits (~user@2601:204:ef01:8ca0::a680) (Remote host closed the connection) |
| 14:31:41 | → | talismanick joins (~user@2601:204:ef01:8ca0::a680) |
| 14:31:46 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:32:45 | × | dsrt^ quits (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Ping timeout: 258 seconds) |
| 14:32:45 | → | cheater joins (~Username@user/cheater) |
| 14:33:16 | × | telser quits (~quassel@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 14:33:17 | <nyc> | [Leary]: I think there's an aspect of this that involves communication with other programmers, and that seems like it might be a bit tough for other programmers to interpret. |
| 14:33:45 | × | bairyn quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds) |
| 14:34:41 | → | ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 14:37:35 | → | smoge joins (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 14:42:34 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 14:44:20 | × | ubert quits (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:44:39 | → | ubert joins (~Thunderbi@p200300ecdf0da912f884ed912556b966.dip0.t-ipconnect.de) |
| 14:45:01 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 14:46:06 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 14:46:34 | × | smoge quits (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Quit: Client closed) |
| 14:59:10 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 15:19:12 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:19:30 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:19:53 | → | smoge joins (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 15:23:50 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 15:24:43 | × | smoge quits (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Client Quit) |
| 15:28:47 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 15:29:12 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 240 seconds) |
| 15:33:01 | → | ijqq joins (uid603979@id-603979.helmsley.irccloud.com) |
| 15:36:18 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 15:45:26 | → | Pickchea joins (~private@user/pickchea) |
| 15:51:01 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:54:01 | × | raym quits (~ray@user/raym) (Ping timeout: 258 seconds) |
| 15:54:15 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 15:57:46 | → | trev joins (~trev@user/trev) |
| 15:58:11 | → | chromoblob joins (~user@37.113.180.121) |
| 15:59:57 | → | raym joins (~ray@user/raym) |
| 16:02:12 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 16:03:14 | → | gurkenglas joins (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 16:04:45 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 16:06:41 | × | jmct quits (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 16:06:50 | → | jmct joins (sid160793@id-160793.tinside.irccloud.com) |
| 16:09:54 | × | idnar quits (sid12240@debian/mithrandi) (Server closed connection) |
| 16:10:04 | → | idnar joins (sid12240@debian/mithrandi) |
| 16:11:00 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 16:11:40 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 16:12:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 16:13:04 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:16:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 16:20:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 16:21:16 | → | laxmik joins (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 16:23:09 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 16:24:40 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:27:10 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Client Quit) |
| 16:27:29 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 16:29:31 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 16:30:04 | <jonathan_> | Is there any tooling for generating a swgger api from an openAPI specification? |
| 16:30:30 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 240 seconds) |
| 16:30:40 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:31:46 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 16:32:19 | <Rembane> | jonathan_: Would this be helpful to you? https://hackage.haskell.org/package/openapi3 |
| 16:32:28 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 16:34:01 | <jonathan_> | Rembane: if I were to embark on creating such a tool, yes. |
| 16:34:10 | × | koz_ quits (~koz@121.99.240.58) (Server closed connection) |
| 16:34:19 | <jonathan_> | But not exactly what I'm looking for |
| 16:35:06 | <jonathan_> | Ideally, I'd like to go from an openapi spec to a servant api :) |
| 16:35:57 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:8153:dfbb:aa33:a760) (Remote host closed the connection) |
| 16:36:13 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:59b4:50:6695:cd56) |
| 16:36:27 | → | koz joins (~koz@121.99.240.58) |
| 16:36:57 | × | zxrom quits (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 16:37:17 | <Rembane> | jonathan_: Got it. That doesn't seem to exist on Hackage, but maybe someone else here has used that kind of package. |
| 16:40:24 | × | gurkenglas quits (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 16:42:18 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 16:46:14 | → | cheater joins (~Username@user/cheater) |
| 16:47:26 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 16:48:28 | <jonathan_> | Hmm, I'm thinking about how I'd implement it.. Is there any package that has a term level dsl that can be compiled into type level servant? |
| 16:51:30 | × | Cheery_ quits (~cheery@server-239-7.tentacle.cloud) (Server closed connection) |
| 16:51:37 | → | Cheery joins (~cheery@server-239-7.tentacle.cloud) |
| 16:55:19 | <davean> | jonathan_: This seems more the place for code generation. |
| 16:56:01 | → | zxrom joins (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 16:57:06 | × | ripspin quits (~chatzilla@1.145.195.81) (Remote host closed the connection) |
| 16:57:38 | → | Guest63 joins (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) |
| 16:58:33 | × | Guest63 quits (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) (Client Quit) |
| 16:59:54 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 17:01:59 | <jonathan_> | davean: I don't follow, haven't done a lot autogenerating. Would you mind elaborating? I imagined a pipeline using "openapi3" to go from openapi3 spec to haskell types, then some translation between the openapi3 haskell types to a term level servant dsl, then compile/reflect the term level servant dsl to type level. Do you see a simpler route? Mine assumes that the last step is available as a package somewhere. |
| 17:08:48 | <Guillaum[m]> | Would it be a stupid idea to use threadLabel and labelThread as a simple form of thread local storage by storing a value encoded (e.g. as JSON)? Would the size of the payload or the frequent read/write have dramatic impact on the performance? |
| 17:09:10 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 17:09:41 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 17:12:50 | → | chromoblob joins (~user@37.113.180.121) |
| 17:14:06 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:14:44 | × | zxrom quits (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 17:16:05 | <int-e> | . o O ( oh that's a great idea, I'll steal it... hey, stop writing over *my* data! ) |
| 17:17:29 | → | titibandit joins (~titibandi@user/titibandit) |
| 17:17:48 | <davean> | jonathan_: what weight is your term level DSL doing? |
| 17:18:20 | × | laxmik quits (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 17:18:21 | <davean> | Why not just write out the types from the openapi3 data? |
| 17:19:22 | <jonathan_> | Because I'm less familiar with how to do that :) How would that work? Template haskell? |
| 17:19:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 17:34:33 | → | laxmik joins (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 17:38:52 | → | nehsou^ joins (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) |
| 17:40:22 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 17:45:17 | × | laxmik quits (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 17:45:53 | → | laxmik joins (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 17:47:06 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 17:48:42 | × | kimiamania6 quits (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 17:49:05 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 17:49:11 | → | kimiamania6 joins (~6790af62@user/kimiamania) |
| 17:54:20 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:54:28 | → | __monty__ joins (~toonn@user/toonn) |
| 17:55:14 | → | cheater_ joins (~Username@user/cheater) |
| 17:55:32 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 17:57:22 | <davean> | jonathan_: Thats one way |
| 17:57:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 17:57:29 | cheater_ | is now known as cheater |
| 17:58:44 | × | Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection) |
| 18:01:21 | <jonathan_> | davean: I also found https://hackage.haskell.org/package/haskell-generate. Did you have something specific in mind? ;) |
| 18:03:36 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 18:03:39 | <davean> | jonathan_: or you just emit code directly, as text, like https://github.com/expipiplus1/vulkan/tree/main/generate-new |
| 18:03:57 | <davean> | lots of options. Not much reason to generate it every compile like with TH generally. |
| 18:04:00 | <jonathan_> | davean: Ah, fair |
| 18:04:21 | <davean> | So with like servant you'd have a command to generate an API Types module all your human code would use. |
| 18:04:30 | <davean> | you can also make running that command part of the cabal build BTW |
| 18:04:58 | <davean> | thats kinda how a lot of parser and FFI tools tie in |
| 18:05:01 | → | titibandit joins (~titibandi@user/titibandit) |
| 18:06:56 | → | cheater_ joins (~Username@user/cheater) |
| 18:09:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 18:09:51 | cheater_ | is now known as cheater |
| 18:10:40 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:13:11 | × | tubogram4471 quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 18:13:47 | <Guillaum[m]> | int-e: good point. I'm not considering doing that in a library but in an application, so as long as nobody is using this trick in a lib I should be fine. But you raised an interesting point, thank you. |
| 18:22:09 | → | tubogram44711 joins (~tubogram@user/tubogram) |
| 18:23:37 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 18:28:16 | → | zxrom joins (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 18:28:39 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 18:31:10 | × | leeb quits (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Server closed connection) |
| 18:31:23 | → | leeb joins (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 18:32:47 | → | zxrom_ joins (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 18:34:15 | × | zxrom quits (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 18:38:56 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:38:56 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:38:56 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:43:30 | [_] | is now known as [itchyjunk] |
| 18:46:10 | zxrom_ | is now known as zxrom |
| 18:46:48 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 18:47:01 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 18:48:58 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 18:55:43 | → | michalz joins (~michalz@185.246.207.217) |
| 18:56:52 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 240 seconds) |
| 18:57:52 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 19:00:45 | × | laxmik quits (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 19:05:50 | × | int-e quits (~noone@int-e.eu) (Server closed connection) |
| 19:05:58 | → | int-e joins (~noone@int-e.eu) |
| 19:08:26 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 246 seconds) |
| 19:12:12 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 19:13:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:14:00 | → | Pickchea joins (~private@user/pickchea) |
| 19:14:06 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 19:14:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 19:14:34 | × | mzg quits (mzg@lazy.unconscious.biz) (Server closed connection) |
| 19:14:41 | → | mzg joins (mzg@lazy.unconscious.biz) |
| 19:20:43 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:24:21 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 19:25:12 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 19:30:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 19:34:00 | → | gmg joins (~user@user/gehmehgeh) |
| 19:40:08 | × | kimiamania6 quits (~6790af62@user/kimiamania) (Ping timeout: 252 seconds) |
| 19:45:32 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 19:46:52 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 19:47:01 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 19:51:03 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 19:51:03 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 19:51:03 | Feuermagier_ | is now known as Feuermagier |
| 19:51:11 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 19:51:22 | → | kimiamania6 joins (~6790af62@user/kimiamania) |
| 19:53:28 | → | biberu joins (~biberu@user/biberu) |
| 19:54:52 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 19:56:29 | × | talismanick quits (~user@2601:204:ef01:8ca0::a680) (Ping timeout: 240 seconds) |
| 19:57:35 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 19:58:17 | × | Logio quits (em@kapsi.fi) (Server closed connection) |
| 19:58:26 | → | Logio joins (em@kapsi.fi) |
| 19:59:33 | → | jonathan_ joins (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 20:02:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 20:05:04 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 20:05:27 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:08:02 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 20:08:13 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:09:52 | → | mon_aaraj joins (~montchncs@2001:470:69fc:105::8e6b) |
| 20:13:34 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 20:14:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:15:33 | × | ec quits (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 20:15:46 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:17:21 | → | paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 20:21:08 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 20:21:32 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 20:23:54 | × | shane quits (~shane@ana.rch.ist) (Server closed connection) |
| 20:24:02 | → | shane joins (~shane@ana.rch.ist) |
| 20:29:18 | → | pavonia joins (~user@user/siracusa) |
| 20:30:12 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 20:31:28 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:33:45 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::2) |
| 20:36:54 | × | _________ quits (~nobody@user/noodly) (Server closed connection) |
| 20:37:01 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:37:17 | → | _________ joins (~nobody@user/noodly) |
| 20:37:47 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:39:30 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 20:44:09 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:45:50 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:48:52 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 20:49:25 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:49:45 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:51:25 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 20:51:38 | × | jonathan_ quits (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 20:52:44 | × | rubin55_ quits (sid175221@id-175221.hampstead.irccloud.com) () |
| 20:53:09 | → | rubin55 joins (sid175221@id-175221.hampstead.irccloud.com) |
| 21:02:32 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 21:05:52 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 21:11:32 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 21:11:56 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:17:42 | → | Midjak joins (~Midjak@82.66.147.146) |
| 21:18:59 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 21:19:27 | → | wroathe joins (~wroathe@50.205.197.50) |
| 21:19:28 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 21:19:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:20:02 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 21:23:01 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 21:24:30 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Server closed connection) |
| 21:24:37 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 21:26:29 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 21:28:03 | × | extor quits (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
| 21:29:00 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 21:32:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 21:33:34 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:36:28 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:41:15 | → | wroathe joins (~wroathe@50.205.197.50) |
| 21:41:15 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 21:41:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:43:08 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) (Ping timeout: 240 seconds) |
| 21:44:48 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:56:13 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:57:18 | × | byorgey quits (~byorgey@155.138.238.211) (Server closed connection) |
| 21:57:26 | → | byorgey joins (~byorgey@155.138.238.211) |
| 21:59:20 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:02:36 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 22:03:37 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:16:20 | × | acidjnk quits (~acidjnk@p200300d6e7072f8821c033a15ffbac05.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:16:52 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 22:18:14 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 22:18:50 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 22:23:18 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 22:27:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 22:32:41 | × | dunj3 quits (~dunj3@kingdread.de) (Server closed connection) |
| 22:34:53 | → | dunj3 joins (~dunj3@kingdread.de) |
| 22:47:04 | <nyc> | I've got a cabal.project file in the top-level directory and some foo.cabal files in a directory below. How do I run a test suite target defined in the cabal file below? |
| 22:50:48 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 22:55:02 | <sclv> | nyc: add those cabal files to the packages: section of the cabal file |
| 22:55:08 | <sclv> | of the project file |
| 22:55:48 | <sclv> | and then run like “cabal test foo:test-suites” or “cabal test foo” |
| 23:01:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:01:17 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:01:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:03:59 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:04:06 | × | fendor quits (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 23:04:46 | <arrowhead> | I have this problem but I don't have a packaga.yaml : https://stackoverflow.com/questions/69956129/what-to-do-so-i-can-import-data-list-split-module-in-haskell |
| 23:05:08 | <arrowhead> | How do I solve it? Even addind a package.yaml with dependencies: - split == 0.2.3.3 it still doesn't work |
| 23:05:23 | <arrowhead> | I have already added ", split" to my Project.cabal file and '- split-0.2.3.3" to my stack.yaml's extra-deps. Both cabal and stack will build and run fine. Also did cabal install split --lib. |
| 23:05:33 | <arrowhead> | How do I fix VS Code complaining about my import Data.List.Split saying "Could not find module ‘Data.List.Split’"? |
| 23:06:49 | <sclv> | the issue is you need to configure vs code to run via the project at all. |
| 23:07:29 | <arrowhead> | I have the plugin settings checked to use ghcup, is that what you mean? |
| 23:07:34 | <sclv> | #haskell-language-server has the experts, but is low traffic |
| 23:07:41 | <arrowhead> | ok will try that |
| 23:07:52 | <sclv> | not just ghcup. the cradle to use the cabal.project or stack.project |
| 23:08:11 | <arrowhead> | what is the cradle? |
| 23:08:54 | <arrowhead> | "How to manage/find HLS installations." > GHCup |
| 23:09:16 | <sclv> | https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-project-build |
| 23:09:29 | <geekosaur> | isn't it considered a bug if you need an explicit cradle these days? |
| 23:09:33 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 23:09:51 | <sclv> | idk im just pointing to the docs |
| 23:10:10 | <arrowhead> | Ah. I'm not getting any cradle issues... at least that I an see |
| 23:10:12 | <arrowhead> | can* |
| 23:12:00 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 23:14:59 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 23:16:32 | → | deglazewithcheet joins (~deglazewi@209-188-121-236.taosnet.com) |
| 23:17:17 | deglazewithcheet | is now known as shef |
| 23:17:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 23:20:56 | × | bcmiller quits (~bm3719@66.42.95.185) (Server closed connection) |
| 23:21:12 | → | bcmiller joins (~bm3719@66.42.95.185) |
| 23:21:50 | <arrowhead> | sclv: thank you for the help anyways |
| 23:22:14 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 23:22:20 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 240 seconds) |
| 23:22:20 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 23:23:48 | × | shef quits (~deglazewi@209-188-121-236.taosnet.com) (Ping timeout: 252 seconds) |
| 23:25:11 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 23:27:07 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 23:27:31 | → | bilegeek joins (~bilegeek@2600:1008:b085:8180:1da1:2103:9ba6:bd4d) |
| 23:27:47 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:31:12 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 23:32:27 | <Nosrep> | what would prevent ghc from doing the worker-wrapper transformation on this demand signature? |
| 23:32:32 | <Nosrep> | Str=<1P(1P(1L,SL,SL,SL,SL,1L),1P(1L,SL,SL,SL,SL,1L),A,A,SL)> |
| 23:32:37 | <arrowhead> | I fixed it by accident! The solution was to add my project folder to VS Code's Workspace. That made the IDE stop underlining red the "import Data.List.Split" file and now I have a fully-functional IDE+LSP from GHCup. Amazing work. Thank you all. |
| 23:33:06 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:35:32 | <[Leary]> | Nosrep: Just a guess, but everything in there is either lazy or absent, so there's nothing for a wrapper to unbox. |
| 23:37:12 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 23:37:33 | <Nosrep> | i thought it only looked at the outer layer for unboxing? which is 1P which should be strict |
| 23:38:19 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) |
| 23:39:21 | <Nosrep> | https://www.youtube.com/watch?v=XiTO1EGKrhE over here (around 19:33) there's a signature of 1P(A,1L,MP(L)) which does get the worker |
| 23:41:56 | × | mxs quits (~mxs@user/mxs) (Ping timeout: 265 seconds) |
| 23:41:59 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 23:42:05 | → | mxs joins (~mxs@user/mxs) |
| 23:42:44 | × | Angelz quits (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds) |
| 23:42:44 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 23:43:36 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 23:44:04 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 23:47:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:49:45 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 23:49:45 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 23:50:31 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 23:50:36 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:54:05 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 23:55:06 | → | mauke_ joins (~mauke@user/mauke) |
| 23:56:32 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:56:32 | × | arrowhead quits (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 23:56:32 | mauke_ | is now known as mauke |
| 23:57:05 | → | arrowhead joins (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 23:58:08 | → | notzmv joins (~zmv@user/notzmv) |
All times are in UTC on 2023-06-17.