Logs on 2022-05-17 (liberachat/#haskell)

00:00:12	×	a1paca_ quits (~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in)
00:01:23	<seydar>	ahh, no syntax highlighting for `common` and `import`
00:01:25	×	califax quits (~califax@user/califx) (Remote host closed the connection)
00:01:30	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
00:01:33	<seydar>	therefore i won't use it and will choose to suffer instead
00:02:02	→	causal joins (~user@50.35.83.177)
00:03:30	<jackdk>	They've been supported since cabal 2.2. consider upgrading your editor instead?
00:03:33	<seydar>	why is life so difficult: https://paste.tomsmeding.com/LhQwEV6B
00:04:46	<sm>	<helpfully> the errors seem clear ?
00:06:06	<sm>	clear-ish ? you need to manually list all the source files, under either exposed-modules: or other-modules:
00:06:47	<sm>	unless using hpack or stack or a near-future version of cabal I expect
00:08:14	<seydar>	"monads are just monoids in the category of endofunctors, what's not to get?"
00:08:42	<seydar>	oh wait
00:08:43	<maerwald>	sm: will cabal support sourcefile wildcards? I forgot the discussion
00:08:44	<seydar>	this is embarrassing
00:08:50	→	inversed_ joins (~inversed@176.248.27.211)
00:08:53	<maerwald>	I'm personally quite against it
00:08:57	×	inversed quits (~inversed@176.248.27.211) (Ping timeout: 248 seconds)
00:09:03	sm	too, sclv probably knows
00:09:07	<seydar>	those errors are the errors i should be getting because i gave up halfway through trying to get options-applicative to work
00:09:35	×	sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
00:13:20	<sclv>	the tradeoff is a cabal file needs to be a full manifest of the package. so general wildcards as such are off the table. but with an exact-print roundtrip we could have something that auto-rewrote a cabal file to insert modules based on scanning a directory
00:13:31	<EvanR>	we need better haskell memes
00:16:02	<geekosaur>	that "monads" meme has definitely outlived its time. if indeed it hadn'timmediately
00:21:26	→	Guest4388 joins (~anon@2a02-a444-23b5-1-149e-308-7ccb-251f.fixed6.kpn.net)
00:22:06	<seydar>	hard disagree
00:23:25	<sm>	hpack gives the wildcards for those who want them, while keeping .cabal explicit
00:24:19	<maerwald[m]>	sm: even stack is moving away from hpack
00:24:29	<jackdk>	cabal-fmt recognises a magic comment that makes it update the list of modules, this avoids the need to use hpack and fight with yaml
00:24:48	<Axman6>	:o
00:24:50	<maerwald[m]>	jackdk: that doesn't work too well though
00:24:58	<maerwald[m]>	Only for simple cases
00:25:08	<jackdk>	possibly. it has worked well enough for me - perhaps all of my cases are simple
00:26:29	<sm>	maerwald: it's not dropping hpack or anything like that.. my point was there's at least one existing solution of the "convenience layer on top of explicit layer" type
00:26:40	→	prolic joins (~prolic@2803:2a00:2c0f:b96d:9117:52d2:a70c:a92a)
00:27:00	<sm>	cabal-fmt sounds like another
00:27:32	<prolic>	hi guys, got a newbie question again
00:27:58	×	Guest4388 quits (~anon@2a02-a444-23b5-1-149e-308-7ccb-251f.fixed6.kpn.net) (Quit: Leaving)
00:28:12	<sm>	thank god :)
00:28:15	<prolic>	Given I have "data A = B \| C" I want a function "myFunc :: B -> C", which gives me a nice error message. How can I do this?
00:28:36	<Axman6>	that type doesn't make sense given that definition
00:28:44	<Axman6>	B and C are values, not types
00:28:46	<maerwald[m]>	sm: maybe stack will drop it
00:28:58	<Axman6>	B :: A, C :: A
00:29:03	<sm>	I can't see that happening, but maybe maerwald
00:29:05	→	sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
00:29:08	<maerwald[m]>	Because it causes problems for their reproducibility scheme
00:29:19	<geekosaur>	prolic, think of A as an enum. B and C are its values
00:30:11	<prolic>	Ok, makes sense so far. But I actually don't want that function. I have a record with "{myField :: [C]}" - I don't want any "B" inside here.
00:30:58	<prolic>	or a type alias like: "type D = C"
00:31:05	<Axman6>	it looks like you're still making the same istake, C is a value,. not a type
00:31:40	<Axman6>	can you have [B,C,B,B] which is a value which has type [A]
00:31:43	<prolic>	so I need to do "{myField:: [A]}" and then take care of what I put inside?
00:32:30	<sclv>	or create separate types for B and C and when you want them
00:32:47	<sclv>	want them both, use Either B C
00:33:05	<Axman6>	data B = B; data C = C; data A = OneB B \| OneC C
00:33:36	<prolic>	hmm.. that might work for me
00:33:38	<prolic>	thanks man
00:33:44	<prolic>	told you I'm a newbie :)
00:33:56	<Axman6>	but if you can be a bit more concrete about what you want to do, we can probably help more
00:35:56	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
00:36:07	<prolic>	https://pastebin.com/WMRjzcdN - something like this
00:37:00	×	Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
00:37:10	<geekosaur>	I wonder if what you really want is data B = B ...; data C = C ...; data A = SomeA A \| SomeB B
00:37:29	<geekosaur>	er, data A = SomeB B \| SomeC C
00:37:39	<geekosaur>	then you can use C directly still, while having A
00:37:53	<prolic>	That's what Axman6 suggested, I think this works fine
00:38:10	×	xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds)
00:38:32	<prolic>	Only prob is I have to come up for a better name for "SomeA" and "SomeB"
00:42:52	<seydar>	i'm having some trouble with options-application: https://paste.tomsmeding.com/KiKZlC7a
00:43:11	<seydar>	my problems derive from my infamiliarity with the library and my limited skills with types
00:43:41	<Axman6>	options-application -> optparse-applicative?
00:44:13	<Axman6>	Encode <> xComponents <> yComponents should probably be Encode <$> xComponents <*> yComponents
00:47:12	<seydar>	Axman6: that gets me closer, but not quite: Expected type: Parser (Int -> Command) Actual type: Parser Command
00:47:35	→	nehsou^ joins (~nehsou@128-092-160-234.biz.spectrum.com)
00:48:13	<Axman6>	have you use applicative before?
00:48:48	<Axman6>	because looking closer, it's clear that Encode expects onle one argument but when you wrute Encode <$> xComponents <*> yComponents you're trying to apply it to two
00:49:05	<Axman6>	> (,) <$> Just 1 <*> Just 2
00:49:07	<lambdabot>	Just (1,2)
00:49:15	<Axman6>	> (,) <$> Just 1 <> Just 2 <> Just "Oh no"
00:49:17	<lambdabot>	error:
00:49:17	<lambdabot>	• Couldn't match type ‘(a0, a1)’ with ‘[Char] -> b’
00:49:17	<lambdabot>	Expected type: Maybe ([Char] -> b)
00:49:26	<EvanR>	it's reporting a confusion between B and A -> B which indicates a number-of-arguments thing
00:49:36	<seydar>	I was hoping I could combine it all in the EncodeOpts datatype
00:49:41	<EvanR>	number-of-arguments mismatch
00:49:43	<seydar>	but I guess that's unnecessary
00:50:05	<Axman6>	I think you actually want: fmap Encode $ EncodeOpts <$> xComponents <*> yComponents
00:51:39	→	abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
00:52:04	<seydar>	that puts me in a Command/Parser Command mismatch
00:52:09	<seydar>	because Encode just wants a Command
00:52:32	<seydar>	I'm trying to have Encode take a string as an argument and have flags
00:52:42	<seydar>	flags are dumb though, I can get rid of those
00:54:13	<EvanR>	the ultimately configurable monster pattern
00:54:23	<EvanR>	one api entry point, many config options
00:55:19	×	raehik quits (~raehik@82.21.176.157) (Ping timeout: 240 seconds)
00:55:43	<seydar>	How do I attach flags to a command?
00:56:56	<EvanR>	it starts with your data types
00:57:06	<EvanR>	put Flags in Command somewhere
00:57:15	<EvanR>	then figure out how to parse it
00:57:43	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
00:57:50	<EvanR>	I see you already have SomethingOpts, so nvm
00:57:56	<seydar>	i'll have to keep playing with that then
00:58:10	<seydar>	cabal says it can't find my source code which it was previously complaining about: https://paste.tomsmeding.com/wTDpX1Zd
01:00:48	×	Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
01:00:59	<sclv>	since the executable uses the same modules the lib does, you need to add them to the `other-modules:` field of the executable
01:01:33	<sclv>	alternately, you can split your lib modules into a src/ directory, and your executable Main into an app/ directory, and then have the executable explicitly have a build-depends on the lib
01:01:56	<seydar>	sclv: so those deps need to be listed twice under the executable header?
01:02:24	<sclv>	no, they only need to be listed _once_ in the executable stanza. currently they are listed zero times.
01:04:55	<seydar>	perfect! thank you!
01:05:12	<seydar>	so... where did it put the executable? unless `cabal build` doesn't do that?
01:05:22	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
01:06:45	<sclv>	`cabal list-bin`
01:08:44	<seydar>	sclv: is there perhaps an alternative version of that command?
01:09:18	<sclv>	nope, that's it.
01:09:40	<sclv>	at the end of a `cabal build` it prints out the location of the executable too, if you read thru the output
01:10:41	<seydar>	https://paste.tomsmeding.com/c8nbZj0l
01:10:45	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:10:53	<seydar>	it's not printing it out for me
01:11:06	<seydar>	i think i found the executable though -- it was buried like 8 directories deep under some x/ folder
01:14:10	→	a6a45081-2b83 joins (~aditya@2601:640:8800:6b6:49a4:1744:4ea:ba78)
01:15:41	×	ubert quits (~Thunderbi@p200300ecdf15884b90b4ffb36f546538.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:15:42	ub	is now known as ubert
01:16:03	→	xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
01:16:20	→	ubert1 joins (~Thunderbi@p200300ecdf15883e59cedd0c714ad84e.dip0.t-ipconnect.de)
01:16:52	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:18:21	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
01:18:50	×	bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
01:19:04	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
01:20:30	→	andrey__ joins (~andrey@p200300dbcf1305000a20156e72af94e4.dip0.t-ipconnect.de)
01:21:45	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:22:59	×	andrey_ quits (~andrey@p200300dbcf05e8005ddecd234143f629.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
01:23:15	×	raoul quits (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
01:29:27	×	byorgey quits (~byorgey@155.138.238.211) (Ping timeout: 276 seconds)
01:30:15	×	bcmiller quits (~bm3719@66.42.95.185) (Ping timeout: 246 seconds)
01:30:39	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
01:33:08	×	stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!)
01:34:21	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
01:34:27	×	echoreply quits (~echoreply@45.32.163.16) (Ping timeout: 246 seconds)
01:43:19	<EvanR>	seydar, yeah that's what list-bin would've told you xD
01:44:10	<seydar>	i'm so close i can almost taste it
01:44:11	<seydar>	https://paste.tomsmeding.com/oEqVxeXu
01:44:42	<seydar>	but i can't figure out how to combine the two subcommands in a way that make me, ghc, and simon peyton jones happy
01:45:10	<seydar>	I feel like I shouldn't need to put line 89 in an Opts datatype
01:46:29	<prolic>	Axman6 - it compiled ! Thanks for your help, you're the best!
01:48:10	<EvanR>	seydar, you defined Opts (which this parser returns) to be a wrapped Command
01:48:51	<EvanR>	so you are wrapping the commands
01:49:47	<seydar>	EvanR right, I was trying to appease the compiler, otherwise I get: No instance for (Semigroup (Parser Command))
01:50:39	<seydar>	https://paste.tomsmeding.com/8nwCHwLt
01:50:43	<seydar>	line 89 still gives me trouble
01:51:41	<seydar>	I need a different function besides <> to combine them
01:51:44	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
01:51:46	<EvanR>	i don't see how Opts helps with the semigroup thing
01:52:29	<EvanR>	what did you expect <> to be doing
01:52:30	<seydar>	it helps because it got me a different error
01:53:10	<seydar>	I was using <> because it was originally hsubparser (encode <> decode) and (please don't be mad) I was randomly changing things and seeing if it made a different
01:53:22	<seydar>	I just decided to use <\|> not knowing if it's a real function, and it compiled
01:53:24	<EvanR>	did you want to fail over to another parser if the first one fails
01:53:29	<EvanR>	because that's <\|>
01:54:12	<EvanR>	:t (<\|>)
01:54:14	<lambdabot>	Alternative f => f a -> f a -> f a
01:54:33	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
01:56:30	×	cheater quits (~Username@user/cheater) (Quit: (BitchX) For a good time, call 1-900-4BitchX)
01:57:09	→	cheater joins (~Username@user/cheater)
01:57:57	<seydar>	EvanR: here was my problem: i was mixing Parser Command with Mod CommandFields Command
01:58:30	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
01:58:37	<seydar>	THAT's why i kept trying to do hsubparser (encode <> decode) -- but it didn't work because encode and decoded were the wrong function, and i needed to use encOptions and decOptions
02:00:53	×	prolic quits (~prolic@2803:2a00:2c0f:b96d:9117:52d2:a70c:a92a) (Quit: Client closed)
02:04:37	→	finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:04:37	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:04:37	finn_elija	is now known as FinnElija
02:05:07	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
02:05:50	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
02:09:52	→	byorgey joins (~byorgey@155.138.238.211)
02:10:30	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
02:10:50	×	Benzi-Junior quits (~BenziJuni@88-149-64-179.du.xdsl.is) (Ping timeout: 240 seconds)
02:11:34	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
02:12:33	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:16:06	→	bcmiller joins (~bm3719@66.42.95.185)
02:18:21	→	echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
02:18:29	→	raoul joins (~raoul@95.179.203.88)
02:21:24	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
02:27:34	→	AlexNoo_ joins (~AlexNoo@178.34.163.80)
02:29:27	×	AlexZenon quits (~alzenon@178.34.162.184) (Ping timeout: 240 seconds)
02:29:47	×	Alex_test quits (~al_test@178.34.162.184) (Ping timeout: 240 seconds)
02:31:00	×	AlexNoo quits (~AlexNoo@178.34.162.184) (Ping timeout: 248 seconds)
02:33:21	→	AlexZenon joins (~alzenon@178.34.163.80)
02:33:56	→	Alex_test joins (~al_test@178.34.163.80)
02:38:51	×	pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
02:39:47	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
02:41:04	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
02:42:13	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:43:10	×	terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
02:44:26	→	terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1)
02:45:46	<Axman6>	seydar: optparse-applicative can be a bit difficult to figure out how to use, even when you just follow the types. it'd definitely worth spending time looking at the examples (and cargo culting yourself from there until it makes sense)
02:47:55	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
02:49:19	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
02:50:42	×	mixfix41 quits (~sdenynine@user/mixfix41) (Ping timeout: 276 seconds)
02:51:39	×	Kaipei quits (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
02:54:00	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
02:54:38	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds)
02:55:03	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
02:56:18	<seydar>	Axman6: i appreciate the validation
02:56:38	<seydar>	how do i send an email to the hackage board of trustees so i can upload my latest and greatest library?
02:57:32	<seydar>	I found Herbert Valerio Riedel's email address, but I doubt he wants me to just shoot him a line
02:57:57	<Axman6>	https://hackage.haskell.org/accounts
02:58:40	<seydar>	Axman6: right, i have an account
02:59:03	<Axman6>	https://hackage.haskell.org/users/register-request
02:59:08	<Axman6>	see the red box
02:59:23	<seydar>	ahhhhhh thank you
02:59:34	<seydar>	i knew i read it somewhere but i couldn't figure out where
02:59:40	<seydar>	i made an account and then didn't go back to that page
03:02:19	<seydar>	thank you everyone for your help in all of this!
03:02:36	<seydar>	please make sure to find a way to include my library in your next program
03:02:59	<seydar>	i expect all haskell applications that display images to use blurhashes now until the images can be fully loaded
03:03:47	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
03:04:14	→	dust_ joins (~dust@122.171.188.87)
03:06:26	→	nate1 joins (~nate@98.45.169.16)
03:10:53	×	a6a45081-2b83 quits (~aditya@2601:640:8800:6b6:49a4:1744:4ea:ba78) (Remote host closed the connection)
03:11:10	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
03:12:09	×	seydar quits (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving)
03:13:41	<sm>	^^ = my typical getting started with o-a experience
03:14:08	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
03:14:23	<sm>	so.. what's a blurhash ?
03:14:52	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
03:16:52	→	frost joins (~frost@user/frost)
03:18:10	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
03:18:47	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
03:19:58	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
03:22:30	×	dust_ quits (~dust@122.171.188.87) (Ping timeout: 272 seconds)
03:27:34	→	[itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
03:28:07	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
03:28:23	→	srk- joins (~sorki@user/srk)
03:29:37	→	dust_ joins (~dust@122.171.188.87)
03:29:53	×	srk quits (~sorki@user/srk) (Ping timeout: 252 seconds)
03:30:00	<jackdk>	sm: image placeholder generator that's small enough to fit in a data URI: https://blurha.sh/
03:30:10	<sm>	thanks
03:31:07	srk-	is now known as srk
03:35:56	×	Hash quits (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Ping timeout: 252 seconds)
03:40:00	×	laalyn quits (~laalyn@c-73-189-182-49.hsd1.ca.comcast.net) (Quit: Client closed)
03:40:23	→	Hash joins (~Hash@hey.howstoned.ru)
03:41:07	→	srk- joins (~sorki@user/srk)
03:44:00	×	srk quits (~sorki@user/srk) (Ping timeout: 276 seconds)
03:44:01	srk-	is now known as srk
03:44:24	<Axman6>	noice
03:44:58	×	meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
03:49:43	×	zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
03:49:54	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
03:50:44	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
03:51:31	×	monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER)
03:56:04	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
03:58:07	→	monochrom joins (trebla@216.138.220.146)
03:58:34	×	chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
03:59:17	→	chexum joins (~quassel@gateway/tor-sasl/chexum)
04:05:39	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
04:08:29	→	zaquest joins (~notzaques@5.130.79.72)
04:10:48	→	Kaiepi joins (~Kaiepi@156.34.47.253)
04:14:29	×	phma quits (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer)
04:16:31	→	nattiestnate joins (~nate@202.138.250.62)
04:16:42	→	phma joins (~phma@197.sub-174-212-160.myvzw.com)
04:16:46	→	jinsun joins (~jinsun@user/jinsun)
04:16:49	→	jinsun__ joins (~jinsun@user/jinsun)
04:17:09	→	Infinite joins (~Infinite@49.39.124.179)
04:18:12	×	jinsun__ quits (~jinsun@user/jinsun) (Client Quit)
04:18:14	×	jinsun quits (~jinsun@user/jinsun) (Client Quit)
04:18:35	→	jinsun joins (~jinsun@user/jinsun)
04:18:37	→	jinsun__ joins (~jinsun@user/jinsun)
04:18:40	×	jinsun quits (~jinsun@user/jinsun) (Client Quit)
04:18:49	×	jinsun__ quits (~jinsun@user/jinsun) (Client Quit)
04:19:33	→	jinsun joins (~jinsun@user/jinsun)
04:19:39	×	dust_ quits (~dust@122.171.188.87) (Quit: Konversation terminated!)
04:24:20	→	Guest\|92 joins (~Guest\|92@35.24.208.138)
04:28:28	×	Infinite quits (~Infinite@49.39.124.179) (Ping timeout: 252 seconds)
04:29:10	×	Guest\|92 quits (~Guest\|92@35.24.208.138) (Client Quit)
04:29:41	×	xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
04:40:35	→	coot joins (~coot@213.134.190.95)
04:50:34	→	Guest33 joins (~Guest33@2607:fb90:9c4e:b360:842e:cc64:3d28:eed4)
04:56:17	<Guest33>	Hello! I'm pretty new to Haskell and I'm attempting to write a program that deals with streams of pcap packets. I have a handful of packet types I care about and was considering creating a class "NDPPacket" of which there are several instances. The problem that crops up is that a function can't return a class of things, it needs to return a
04:56:17	<Guest33>	specific instance... so I can't just turn the stream of Network.Pcap.Streaming.Packet into a stream of different kinds of NDPPacket.
04:56:18	<Guest33>	What's a more Haskell-way of thinking about this problem?
04:58:21	→	takuan joins (~takuan@178-116-218-225.access.telenet.be)
04:58:22	<Axman6>	That's right, classes aren't something you subtype - when you say Foo a => String -> a, it means that the _caller_ gets to choose what a is. There are times when this does make sense, like Monoid a => String -> a can basically only do one thing, return mempty
04:58:56	<Axman6>	but if you do something like Show a => String -> a, you're saying that this code can return any single type which has a Show instance, and that doesn't make much sense
05:00:44	→	Lears joins (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
05:00:59	×	[Leary] quits (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Ping timeout: 260 seconds)
05:02:31	<Axman6>	Guest33: one way to do that is to define a sum type of all the packets you care about: data Packet = TCP TCPPacket \| UDP UDPPacket \| IMCP IMCPPacket \| ...
05:02:52	<Axman6>	those individual packet types can be instances of some class if it makes sense to have common operations on all of them
05:04:04	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
05:04:19	→	Vajb joins (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56)
05:04:26	×	nattiestnate quits (~nate@202.138.250.62) (Quit: WeeChat 3.5)
05:06:09	→	phma_ joins (phma@2001:5b0:2172:8568:a3aa:b9ca:4718:8641)
05:06:24	<Guest33>	Axman6: I might resort to a sum type. There are definitely same-kinds of things I am doing across all packet types. Since I am learning, I also tend to wonder about building a larger system where all packet types aren't known to (for eg) a single source file. In any case, thanks for your help!
05:06:30	×	phma quits (~phma@197.sub-174-212-160.myvzw.com) (Ping timeout: 260 seconds)
05:10:34	×	littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
05:12:50	×	Guest33 quits (~Guest33@2607:fb90:9c4e:b360:842e:cc64:3d28:eed4) (Ping timeout: 252 seconds)
05:14:33	×	zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving)
05:14:36	→	littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo)
05:15:10	→	titibandit joins (~thibaut@xdsl-78-35-152-200.nc.de)
05:15:32	×	titibandit quits (~thibaut@xdsl-78-35-152-200.nc.de) (Client Quit)
05:15:42	→	titibandit joins (~thibaut@xdsl-78-35-152-200.nc.de)
05:16:51	→	zmt00 joins (~zmt00@user/zmt00)
05:17:36	→	dust_ joins (~dust@122.171.188.87)
05:18:34	<Axman6>	there are ways to do more extensible things, but if you're new to Haskell, they are not solutions you should be reaching for until you are comfortable working with the more normal ones
05:19:49	<Axman6>	an example would be using existential types: data Packet where Packet :: IsPacket p => p -> Packet; but doing that means you can't ever really know what sort of packet it is, so you're limited to only the operations defined in the IsPacket class
05:24:24	→	gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
05:24:33	→	Guest33 joins (~Guest33@172.58.89.143)
05:25:19	<Guest33>	That's fair. I did try to experiment with ExistentialTypes but was out of my depth.:)
05:28:06	←	no-n parts (sid524992@smol/hors) ()
05:28:34	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
05:32:05	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
05:34:14	×	gpncarl quits (~gpncarl@210.12.195.2) (Ping timeout: 272 seconds)
05:36:21	×	nehsou^ quits (~nehsou@128-092-160-234.biz.spectrum.com) (Remote host closed the connection)
05:36:51	→	michalz joins (~michalz@185.246.204.107)
05:37:44	→	Infinite joins (~Infinite@49.39.119.190)
05:38:34	→	gpncarl joins (~gpncarl@210.12.195.2)
05:42:01	×	raym quits (~raym@user/raym) (Quit: kernel update, rebooting...)
05:42:44	×	[itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
05:44:13	→	raym joins (~raym@user/raym)
05:48:36	→	odnes joins (~odnes@5-203-172-62.pat.nym.cosmote.net)
05:50:40	×	Guest33 quits (~Guest33@172.58.89.143) (Quit: Ping timeout (120 seconds))
05:58:10	<dminuoso>	https://github.com/rblaze/haskell-dbus/blob/master/dbus.cabal#L84
05:58:14	<dminuoso>	base >=4.16 && <5
05:58:16	dminuoso	sighs
06:05:12	×	dust_ quits (~dust@122.171.188.87) (Ping timeout: 260 seconds)
06:12:08	<[exa]>	dminuoso: why not cheer up at the sight of optimism
06:12:59	<dminuoso>	That was a cheerful sigh.
06:13:26	<dminuoso>	My mission critical project demands I use dbus.
06:15:58	<[exa]>	sounds like an easy hotpatch though, no?
06:16:22	<[exa]>	like, most sw packages need to be patched before they can go into a serious distribution
06:17:44	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
06:19:34	×	littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
06:20:14	<dminuoso>	If only, I think that and the transitive dependency forest together rules it out.
06:20:32	<dminuoso>	The project now demands I conjure up fresh dbus C api bindings.
06:20:46	<dminuoso>	A year from now I will ponder about why I didnt simply buy a darn toy.
06:26:18	→	dsrt^ joins (~dsrt@128-092-160-234.biz.spectrum.com)
06:26:58	×	coot quits (~coot@213.134.190.95) (Quit: coot)
06:29:21	→	acidjnk joins (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de)
06:40:25	→	christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
06:40:47	×	merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
06:42:01	→	lortabac joins (~lortabac@2a01:e0a:541:b8f0:5956:f382:8167:41c0)
06:42:24	→	MajorBiscuit joins (~MajorBisc@c-001-019-036.client.tudelft.eduvpn.nl)
06:47:47	×	codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
06:47:51	→	mc47 joins (~mc47@xmonad/TheMC47)
06:48:37	→	ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:8794:69d8:eb44:74c1)
06:50:17	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
06:50:38	→	coot joins (~coot@213.134.190.95)
06:51:24	×	titibandit quits (~thibaut@xdsl-78-35-152-200.nc.de) (Remote host closed the connection)
06:52:12	×	odnes quits (~odnes@5-203-172-62.pat.nym.cosmote.net) (Quit: Leaving)
06:52:33	→	img joins (~img@user/img)
06:56:20	→	random-jellyfish joins (~random-je@user/random-jellyfish)
06:56:54	<random-jellyfish>	can anyone recommend a keyboard model that has a scroll wheel and a touchpad on it?
06:59:36	→	littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo)
07:01:36	→	chomwitt joins (~chomwitt@2a02:587:dc15:4f00:52df:b01:5d3:8b9e)
07:07:04	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
07:07:22	<albet70>	how to replace a series element in a list by its index range? like in [1..9], 3rd to 6th values to zero
07:07:27	<dminuoso>	The old thinkpad keyboards go into that direction if you consider the trackpoint a scroll wheel
07:07:56	→	nate1 joins (~nate@98.45.169.16)
07:08:12	<dminuoso>	albet70: there's no eloquent simple answer. lists are not typically for random access, let alone a mutation-style interface.
07:08:26	<albet70>	[1,2,3,0,0,0,0,8,9]
07:08:54	<dminuoso>	You'd have to write your own `updateNth` function, or use something like `optics` or `lens` but the latter is almost certainly overkill for this task alone
07:09:08	→	FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
07:09:21	<albet70>	right
07:09:34	<dminuoso>	If you need to do random access a lot, consider `vector` maybe
07:10:56	→	alp_ joins (~alp@user/alp)
07:12:27	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
07:12:48	→	ccntrq1 joins (~Thunderbi@172.209.94.92.rev.sfr.net)
07:13:00	×	ccntrq1 quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Client Quit)
07:13:04	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
07:13:17	×	Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:15:10	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
07:15:47	×	ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:8794:69d8:eb44:74c1) (Ping timeout: 260 seconds)
07:16:41	→	ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net)
07:17:23	<tomsmeding>	> let (from, to, l) = (3, 6, [1..9]) in zipWith (\x b -> if b then 0 else x) l (map (\i -> from <= i && i <= to) [0..])
07:17:25	<lambdabot>	[1,2,3,0,0,0,0,8,9]
07:17:29	<tomsmeding>	¯\_(ツ)_/¯
07:17:48	<tomsmeding>	it's a bit verbose but the structure is nice and functional
07:22:20	→	meinside joins (uid24933@id-24933.helmsley.irccloud.com)
07:22:21	<dminuoso>	FFI question. I have a C function that amongst others takes a callback into Haskell, and a free function for said callback.
07:23:06	<dminuoso>	Since the free function would have to call `freeHaskellFunPtr`, itself would need to be "wrapped" too, but how do I clean that up?
07:23:08	×	phma_ quits (phma@2001:5b0:2172:8568:a3aa:b9ca:4718:8641) (Read error: Connection reset by peer)
07:23:18	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
07:23:22	×	acidjnk quits (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
07:23:35	→	phma_ joins (~phma@host-67-44-208-139.hnremote.net)
07:23:41	<dminuoso>	It seems notoriously unsafe to have this free function call freeHaskellFunPtr on itself
07:26:52	×	coot quits (~coot@213.134.190.95) (Quit: coot)
07:27:24	×	Infinite quits (~Infinite@49.39.119.190) (Ping timeout: 252 seconds)
07:27:55	<dminuoso>	Short of having the free function register itself for deletion, and then waiting some time (which in itself would be a race condition), Im not seeing any way out of this mess
07:28:04	<dminuoso>	(that is having a separate cleanup thread)
07:28:51	×	random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed)
07:33:04	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
07:34:35	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
07:35:00	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:35:10	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
07:35:20	→	Infinite joins (~Infinite@49.39.119.190)
07:36:44	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
07:37:37	→	gehmehgeh joins (~user@user/gehmehgeh)
07:38:14	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
07:40:18	→	mbuf joins (~Shakthi@31.32.33.168)
07:50:04	→	machinedgod joins (~machinedg@24.105.81.50)
07:50:34	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
07:51:23	→	coot joins (~coot@213.134.190.95)
07:51:56	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
07:53:20	<dminuoso>	Oh hah hold on, these are just EVPN switches ontop of vxlan!
07:54:41	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
07:56:58	<[exa]>	<.<
07:57:05	×	shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit)
08:01:09	×	tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:04:31	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
08:06:04	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
08:08:10	×	m1dnight quits (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 240 seconds)
08:09:36	→	m1dnight joins (~christoph@78-22-9-5.access.telenet.be)
08:13:47	×	kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
08:14:54	×	stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
08:16:44	→	kritzefitz joins (~kritzefit@debian/kritzefitz)
08:19:32	×	Hash quits (~Hash@hey.howstoned.ru) (Ping timeout: 272 seconds)
08:22:11	→	chele joins (~chele@user/chele)
08:28:09	→	stiell_ joins (~stiell@gateway/tor-sasl/stiell)
08:29:16	×	alp_ quits (~alp@user/alp) (Remote host closed the connection)
08:31:48	→	DNH joins (~DNH@2a02:8109:b740:2c4:4d62:c8b7:5332:bb27)
08:37:19	→	CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
08:38:34	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
08:39:48	→	acidjnk joins (~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de)
08:39:54	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
08:40:29	→	Hash joins (~Hash@hey.howstoned.ru)
08:42:56	→	Guest93 joins (~Guest93@140.112.16.133)
08:44:38	×	Guest93 quits (~Guest93@140.112.16.133) (Client Quit)
08:45:44	×	statusfailed quits (~statusfai@statusfailed.com) (Quit: leaving)
08:48:34	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
08:49:01	×	DNH quits (~DNH@2a02:8109:b740:2c4:4d62:c8b7:5332:bb27) (Quit: My MacBook has gone to sleep. ZZZzzz…)
08:49:28	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
08:51:28	→	TitusTzeng[m] joins (~titusjgrm@2001:470:69fc:105::2:1140)
08:53:06	→	alp_ joins (~alp@user/alp)
08:57:04	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
08:57:34	→	statusfailed joins (~statusfai@statusfailed.com)
08:57:51	<tomsmeding>	[summer school ad] (sorry for the repeat) for those learning haskell and wanting to progress beyond beginner material, there's this nice summer school in The Netherlands organised by some nice people: https://mail.haskell.org/pipermail/haskell-cafe/2022-May/135299.html
09:00:11	×	ozataman[m] quits (~ozatamanm@2001:470:69fc:105::1:faa0) (Quit: You have been kicked for being idle)
09:03:40	→	sympt0 joins (~sympt@user/sympt)
09:04:17	×	sympt quits (~sympt@user/sympt) (Ping timeout: 252 seconds)
09:04:18	sympt0	is now known as sympt
09:04:20	→	dust_ joins (~dust@2409:4071:2283:5117:f276:b047:4438:5a20)
09:08:16	→	razetime joins (~quassel@117.254.35.226)
09:08:46	→	bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
09:09:46	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
09:11:21	→	kuribas joins (~user@ptr-17d51em3ti570thy98k.18120a2.ip6.access.telenet.be)
09:11:38	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
09:11:52	×	dust_ quits (~dust@2409:4071:2283:5117:f276:b047:4438:5a20) (Ping timeout: 248 seconds)
09:11:53	→	dust__ joins (~dust@122.167.58.166)
09:17:42	×	statusfailed quits (~statusfai@statusfailed.com) (Remote host closed the connection)
09:22:31	→	jakalx joins (~jakalx@base.jakalx.net)
09:29:21	→	statusfailed joins (~statusfai@statusfailed.com)
09:32:38	→	dust_ joins (~dust@122.167.58.166)
09:35:20	×	dust__ quits (~dust@122.167.58.166) (Ping timeout: 248 seconds)
09:39:36	×	econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:58:59	×	werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
10:05:18	×	CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
10:08:39	×	ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
10:08:48	→	ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
10:08:50	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
10:11:50	×	xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
10:12:14	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:16:56	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
10:17:20	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
10:17:34	→	ccntrq1 joins (~Thunderbi@2a01:e34:eccb:b060:21fb:5405:bef:5c2b)
10:18:46	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
10:20:08	×	ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 248 seconds)
10:20:23	×	dust_ quits (~dust@122.167.58.166) (Quit: Konversation terminated!)
10:20:24	→	ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net)
10:20:50	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
10:21:44	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
10:21:52	×	ccntrq1 quits (~Thunderbi@2a01:e34:eccb:b060:21fb:5405:bef:5c2b) (Ping timeout: 260 seconds)
10:25:57	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
10:27:31	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
10:28:15	→	jollygood2 joins (www-data@2607:5300:60:8be::1)
10:31:00	→	akegalj joins (~akegalj@89-172-70-253.adsl.net.t-com.hr)
10:33:52	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
10:34:26	×	christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds)
10:34:58	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
10:41:55	×	lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 260 seconds)
10:44:10	→	lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
10:49:23	→	nate1 joins (~nate@98.45.169.16)
10:51:44	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
10:52:28	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
10:53:16	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:54:17	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
10:55:51	→	Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:55:56	×	Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
10:57:06	Lord_of_Life_	is now known as Lord_of_Life
10:57:45	→	CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
10:59:46	→	mattil joins (~mattil@helsinki.portalify.com)
11:01:03	×	mbuf quits (~Shakthi@31.32.33.168) (Quit: Leaving)
11:01:34	→	mmhat joins (~mmh@p200300f1c7104216ee086bfffe095315.dip0.t-ipconnect.de)
11:03:02	→	xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp)
11:04:02	→	namkeleser joins (~namkelese@101.175.93.91)
11:04:07	→	mbuf joins (~Shakthi@31.32.33.168)
11:06:23	→	jgeerds joins (~jgeerds@d53604b0.access.ecotel.net)
11:10:10	→	odnes joins (~odnes@2a02:587:e901:3110::759)
11:10:17	×	CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
11:11:12	→	DNH joins (~DNH@2a02:8109:b740:2c4:492f:4c54:b830:3942)
11:12:23	→	christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
11:26:10	→	vpan joins (~0@212.117.1.172)
11:30:31	→	titibandit joins (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47)
11:33:47	×	raym quits (~raym@user/raym) (Ping timeout: 240 seconds)
11:34:47	→	raym joins (~raym@user/raym)
11:39:27	×	coot quits (~coot@213.134.190.95) (Quit: coot)
11:40:01	→	coot joins (~coot@213.134.190.95)
11:43:24	×	mattil quits (~mattil@helsinki.portalify.com) (Quit: Leaving...)
11:45:09	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
11:50:39	→	mikoto-chan joins (~mikoto-ch@213.177.151.239)
11:51:46	×	Infinite quits (~Infinite@49.39.119.190) (Ping timeout: 252 seconds)
11:54:45	×	coot quits (~coot@213.134.190.95) (Quit: coot)
11:58:38	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
12:00:31	→	bontaq joins (~user@ool-45779fe5.dyn.optonline.net)
12:07:32	×	szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
12:08:59	→	merijn joins (~merijn@dhcp-077-249-226-128.chello.nl)
12:10:57	→	coot joins (~coot@213.134.190.95)
12:14:13	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
12:14:20	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
12:15:17	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
12:16:18	×	namkeleser quits (~namkelese@101.175.93.91) (Quit: Client closed)
12:18:30	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
12:20:06	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
12:21:58	×	odnes quits (~odnes@2a02:587:e901:3110::759) (Quit: Leaving)
12:40:33	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
12:42:08	×	bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:49:06	×	akegalj quits (~akegalj@89-172-70-253.adsl.net.t-com.hr) (Quit: leaving)
12:49:17	→	Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net)
12:56:56	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
12:57:09	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
12:57:19	→	cfricke joins (~cfricke@user/cfricke)
12:57:42	×	Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 250 seconds)
12:59:20	→	ph88 joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
12:59:39	→	Maxdamantus joins (~Maxdamant@user/maxdamantus)
13:02:17	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds)
13:05:08	→	zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:85f3:ae31:48e9:2eca)
13:05:10	×	acidjnk quits (~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
13:05:11	×	gpncarl quits (~gpncarl@210.12.195.2) (Ping timeout: 252 seconds)
13:06:11	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
13:10:09	×	Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds)
13:10:30	×	merijn quits (~merijn@dhcp-077-249-226-128.chello.nl) (Ping timeout: 240 seconds)
13:11:57	→	Kaiepi joins (~Kaiepi@156.34.47.253)
13:12:20	×	jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 252 seconds)
13:20:05	→	zer0bitz_ joins (~zer0bitz@2001:2003:f444:8f00:4cea:d190:80e2:b2b0)
13:21:08	×	zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:85f3:ae31:48e9:2eca) (Ping timeout: 248 seconds)
13:31:09	→	Sgeo joins (~Sgeo@user/sgeo)
13:35:07	×	titibandit quits (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Ping timeout: 240 seconds)
13:35:40	→	titibandit joins (~thibaut@sunp.ient.rwth-aachen.de)
13:36:48	byorgey	waves hello
13:36:59	<byorgey>	today is 15 years to the day since I joined #haskell for the first time =)
13:37:11	<geekosaur>	o/
13:40:17	<lyxia>	o/
13:40:43	<[exa]>	o/
13:41:21	→	mima joins (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
13:42:23	→	[itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:44:04	×	mima quits (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Quit: leaving)
13:44:37	→	mmh joins (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
13:44:50	×	mmh quits (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Client Quit)
13:46:37	→	shriekingnoise joins (~shrieking@201.231.16.156)
13:48:43	×	coot quits (~coot@213.134.190.95) (Quit: coot)
13:49:50	AlexNoo_	is now known as AlexNoo
13:51:15	→	ystael joins (~ystael@user/ystael)
13:52:31	<tomsmeding>	isn't the birthday of the channel also like overmorrow
13:52:34	→	mima joins (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
13:53:22	<robbert-vdh>	One year of Libera.Chat!
13:53:38	<robbert-vdh>	I think it's on the 19th
13:53:45	<tomsmeding>	which is overmorrow ;)
13:53:50	<robbert-vdh>	overmorrow :)
13:54:23	→	coot joins (~coot@213.134.190.95)
13:54:43	<tomsmeding>	you know I grab every opportunity to reintroduce overmorrow and ereyesterday
13:55:18	<robbert-vdh>	(wait overmorrow is actually a Middle-English word borrowed from other Germanic languages, sounds very dunglish)
13:55:34	<tomsmeding>	yes it was actually english at some point :p
13:56:08	×	alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds)
13:59:49	→	romesrf joins (~romes@185.5.8.134)
14:07:11	→	jgeerds joins (~jgeerds@d53604b0.access.ecotel.net)
14:08:11	<kuribas>	byorgey: \o/
14:13:43	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
14:18:00	×	jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds)
14:18:26	×	frost quits (~frost@user/frost) (Ping timeout: 252 seconds)
14:19:27	→	zebrag joins (~chris@user/zebrag)
14:21:04	×	HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds)
14:21:34	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
14:22:04	×	stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
14:22:04	×	gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds)
14:22:04	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
14:22:04	×	jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
14:22:34	×	littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
14:22:49	→	Alleria joins (~textual@user/alleria)
14:24:13	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
14:24:43	×	adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
14:25:04	×	noteness quits (~noteness@user/noteness) (Ping timeout: 240 seconds)
14:26:00	→	shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net)
14:26:34	×	chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
14:32:34	×	dsrt^ quits (~dsrt@128-092-160-234.biz.spectrum.com) (Remote host closed the connection)
14:37:01	→	justsomeguy joins (~justsomeg@user/justsomeguy)
14:37:58	→	zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:a5d1:4307:bef2:bbe6)
14:39:00	×	zer0bitz_ quits (~zer0bitz@2001:2003:f444:8f00:4cea:d190:80e2:b2b0) (Ping timeout: 248 seconds)
14:39:20	×	son0p quits (~ff@181.136.122.143) (Read error: Connection reset by peer)
14:40:34	←	jakalx parts (~jakalx@base.jakalx.net) ()
14:40:51	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
14:44:01	→	op joins (~op@h-62-63-197-58.NA.cust.bahnhof.se)
14:44:53	<op>	Hi there haskellers
14:45:19	<op>	Really banging my head against a conduit problem, anyone willing to give me some thoughts?
14:45:25	<op>	:)
14:45:25	×	Vajb quits (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer)
14:45:37	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
14:45:42	<geekosaur>	best to just ask your question
14:46:20	→	jakalx joins (~jakalx@base.jakalx.net)
14:46:20	×	juri__ quits (~juri@79.140.115.105) (Read error: Connection reset by peer)
14:46:45	<op>	Yeah you're right ;)
14:47:10	<op>	So I'm streaming chess games (in PGN format) from the Lichess API
14:47:15	→	juri_ joins (~juri@79.140.115.105)
14:48:36	<op>	But since I'm using http-conduits the stream is arbitrarily chunked and PGN-agnostic, meaning I have to "repair" the chunks in an intermediary conduit before it goes into the parsing conduit.
14:50:15	<op>	But I'm struggling with feeding the leftovers (the unparsed ByteString that remains after the first successful parse) back into the repair-conduit.
14:50:53	→	nate1 joins (~nate@98.45.169.16)
14:51:02	<op>	I don't have a lot of writing real-estate here, but here's my stackoverflow post with the relevant code https://stackoverflow.com/questions/72263167/repairing-streamed-http-chunks-in-haskell-conduit
14:51:59	→	chexum joins (~quassel@gateway/tor-sasl/chexum)
14:52:07	→	noteness joins (~noteness@user/noteness)
14:52:07	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
14:52:08	→	HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
14:52:20	→	adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
14:53:03	<geekosaur>	I'm not an expert on conduit, but it feels to me like this might be going about it the wrong way; a streaming parser might be better suited to the problem
14:53:19	→	littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo)
14:53:43	<geekosaur>	does the "repair" and "rechunking" parts as it goes
14:54:20	<op>	You might be right, I did get the impression I was reinventing a lot of wheels when I started implementing this haha
14:54:38	<op>	Any relevant libraries that spring to mind?
14:55:24	<geekosaur>	attoparsec is good at streaming, and I'm pretty sure there's already a conduit for it
14:55:31	→	stiell_ joins (~stiell@gateway/tor-sasl/stiell)
14:55:44	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
14:56:39	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
14:58:56	→	gehmehgeh joins (~user@user/gehmehgeh)
14:59:10	×	shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
15:00:26	→	jpds joins (~jpds@gateway/tor-sasl/jpds)
15:01:19	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
15:02:26	→	Benzi-Junior joins (~BenziJuni@dsl-149-64-179.hive.is)
15:03:36	→	xkuru joins (~xkuru@user/xkuru)
15:06:31	→	flupe joins (~baboum@radon.sbi.re)
15:07:02	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
15:08:29	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
15:10:08	×	statusbot1 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
15:10:23	→	statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
15:10:41	<tomsmeding>	maerwald[m]: "the reason this broke were missing profiling libs in GHC 9.0.2 bindist" -- someone I know ran into this, do you happen to have a pointer to a workaround?
15:14:48	<maerwald[m]>	tomsmeding: use ghcup
15:14:48	×	vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
15:15:02	<maerwald[m]>	It has the fixed bindists
15:15:16	<tomsmeding>	maerwald[m]: right. :p Any chance of stack getting them too?
15:15:32	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
15:15:50	<tomsmeding>	oh I see you changed the links in the .yaml to downloads.haskell.org/~ghcup/unofficial-bindists
15:15:57	<tomsmeding>	presumably stack doesn't like "unofficial bindists"
15:16:24	<geekosaur>	"unofficial" kinda goes against its policy, yeh
15:16:48	tomsmeding	wonders why there is no official fixed bindist then, but eh
15:16:52	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:17:42	<geekosaur>	hm, I thought maerwald[m] had asked #ghc about that
15:17:47	×	ph88 quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving)
15:18:51	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
15:19:12	×	juri_ quits (~juri@79.140.115.105) (Read error: Connection reset by peer)
15:20:06	<maerwald[m]>	Those bindists are official
15:20:06	<maerwald[m]>	They were prepared by mpickering
15:20:49	<maerwald[m]>	https://downloads.haskell.org/~ghc/9.0.2/ghc-9.0.2a-x86_64-fedora27-linux.tar.xz
15:20:57	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
15:20:59	<maerwald[m]>	I think it's that
15:22:04	×	sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection)
15:22:17	→	sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
15:24:21	×	sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection)
15:24:32	→	sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
15:24:48	→	juri_ joins (~juri@178.63.35.222)
15:25:50	×	lortabac quits (~lortabac@2a01:e0a:541:b8f0:5956:f382:8167:41c0) (Quit: WeeChat 2.8)
15:26:39	×	abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
15:35:03	→	poljar joins (~poljar@93-139-81-189.adsl.net.t-com.hr)
15:35:57	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:36:50	×	mmhat quits (~mmh@p200300f1c7104216ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
15:37:34	×	jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
15:41:25	→	dagi35605 joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da)
15:41:39	→	jmct_ joins (sid160793@id-160793.tinside.irccloud.com)
15:41:40	→	jeffz` joins (~user@lambda.xen.prgmr.com)
15:41:40	→	lightandlight_ joins (sid135476@id-135476.helmsley.irccloud.com)
15:41:41	→	christiaanb_ joins (sid84827@id-84827.lymington.irccloud.com)
15:41:42	→	chessai_ joins (sid225296@id-225296.lymington.irccloud.com)
15:41:43	→	sa1_ joins (sid7690@id-7690.ilkley.irccloud.com)
15:41:46	→	idnar_ joins (sid12240@debian/mithrandi)
15:42:01	→	Techcable_ joins (~Techcable@user/Techcable)
15:42:10	→	joeyh_ joins (~joeyh@66.228.36.95)
15:42:10	→	alinab_ joins (sid468903@id-468903.helmsley.irccloud.com)
15:42:11	→	mcfilib_ joins (sid302703@user/mcfilib)
15:42:14	→	even4voi- joins (even4void@came.here.for-some.fun)
15:42:16	→	pepeiborra_ joins (sid443799@id-443799.ilkley.irccloud.com)
15:42:17	→	dpratt_ joins (sid193493@id-193493.helmsley.irccloud.com)
15:42:22	→	ysh_ joins (sid6017@id-6017.ilkley.irccloud.com)
15:42:25	→	dunj3_ joins (~dunj3@kingdread.de)
15:42:26	→	vito_ joins (sid1962@user/vito)
15:42:27	→	Taneb0 joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
15:42:27	→	FragByte_ joins (~christian@user/fragbyte)
15:42:28	→	cbarrett_ joins (sid192934@id-192934.helmsley.irccloud.com)
15:42:31	→	matijja` joins (~matijja@193.77.181.201)
15:42:31	→	kevinsjoberg_ joins (sid499516@id-499516.lymington.irccloud.com)
15:42:36	→	hugo\| joins (znc@verdigris.lysator.liu.se)
15:42:39	→	feliix42_ joins (~felix@gibbs.uberspace.de)
15:42:39	→	integral_ joins (sid296274@user/integral)
15:42:42	→	bjs_ joins (sid190364@user/bjs)
15:42:43	→	madnight_ joins (~madnight@static.59.103.201.195.clients.your-server.de)
15:42:43	→	joel135_ joins (sid136450@id-136450.hampstead.irccloud.com)
15:42:43	→	tired- joins (~tired@user/tired)
15:42:44	→	Pent_ joins (sid313808@id-313808.lymington.irccloud.com)
15:42:45	→	sajith_ joins (~sajith@user/sajith)
15:42:45	→	p3n_ joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
15:42:47	→	berberman_ joins (~berberman@user/berberman)
15:42:47	→	dminuoso_ joins (~dminuoso@user/dminuoso)
15:42:48	→	mcfrd joins (~mcfrdy@user/mcfrdy)
15:42:52	→	kristjansson_ joins (sid126207@id-126207.tinside.irccloud.com)
15:42:52	→	jakesyl___ joins (sid56879@id-56879.hampstead.irccloud.com)
15:42:56	→	SrPx_ joins (sid108780@id-108780.uxbridge.irccloud.com)
15:43:06	→	NiKaN_ joins (sid385034@id-385034.helmsley.irccloud.com)
15:43:11	→	anderson_ joins (~ande@user/anderson)
15:43:36	→	kadobanana joins (~mud@user/kadoban)
15:43:51	→	markasoftware_ joins (~quassel@107.161.26.124)
15:43:52	→	Dykam_ joins (Dykam@dykam.nl)
15:43:56	→	ladyfriday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es)
15:44:09	→	tinwood_ joins (~tinwood@general.default.akavanagh.uk0.bigv.io)
15:44:43	→	panda_man joins (~vidar@157.146.251.23.bc.googleusercontent.com)
15:44:44	→	walt joins (~ggVGc@a.lowtech.earth)
15:44:44	→	xdej_ joins (~xdej@quatramaran.salle-s.org)
15:44:52	→	dexter1 joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec)
15:44:54	→	bcoppens_ joins (~bartcopp@vpn2.bartcoppens.be)
15:44:54	→	Ttech joins (adran@botters/adran)
15:44:56	→	w1gz_ joins (~weechat@2a03:b0c0:1:d0::1123:1)
15:44:58	→	ddb1 joins (~ddb@2607:5300:203:9993::196)
15:45:03	→	absence_ joins (torgeihe@hildring.pvv.ntnu.no)
15:45:05	→	kawzeg_ joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
15:45:11	→	dfordvm joins (~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
15:45:14	→	dkeohane3 joins (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
15:45:14	→	dyniec_ joins (~dyniec@mail.dybiec.info)
15:45:28	→	fryguybo1 joins (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
15:45:37	→	mal1 joins (~mal@ns2.wyrd.be)
15:47:25	→	odnes joins (~odnes@5-203-155-92.pat.nym.cosmote.net)
15:48:34	→	mht- joins (~mht@2a03:b0c0:3:e0::1e2:c001)
15:48:45	×	justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
15:49:22	→	eldritch_ joins (~eldritch@user/eldritch)
15:49:58	×	even4void quits (even4void@came.here.for-some.fun) (.net .split)
15:49:58	×	mud quits (~mud@user/kadoban) (.net .split)
15:49:58	×	ddb quits (~ddb@2607:5300:203:9993::196) (.net .split)
15:49:58	×	kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (.net .split)
15:49:58	×	tired quits (~tired@user/tired) (.net .split)
15:49:58	×	w1gz quits (~weechat@2a03:b0c0:1:d0::1123:1) (.net .split)
15:49:58	×	mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (.net .split)
15:49:58	×	Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (.net .split)
15:49:58	×	bitonic quits (~bitonic@2001:470:69fc:105::1812) (.net .split)
15:49:58	×	SridharRatnakuma quits (~sridmatri@2001:470:69fc:105::1c2) (.net .split)
15:49:58	×	maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (.net .split)
15:49:58	×	pareto-optimal-d quits (~pareto-op@2001:470:69fc:105::1:b61f) (.net .split)
15:49:58	×	sibnull[m] quits (~sibnullma@2001:470:69fc:105::1:1291) (.net .split)
15:49:59	×	Pikachu[m] quits (~pychaumat@2001:470:69fc:105::2:1ce) (.net .split)
15:49:59	×	ongy[m] quits (~ongymatri@2001:470:69fc:105::5018) (.net .split)
15:49:59	×	feliix42 quits (~felix@gibbs.uberspace.de) (.net .split)
15:49:59	×	alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (.net .split)
15:49:59	×	Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (.net .split)
15:49:59	×	geekosaur[m][m] quits (~geekosaur@2001:470:69fc:105::2:cb7) (.net .split)
15:49:59	×	yosef36 quits (~yosefweis@2001:470:69fc:105::1:e501) (.net .split)
15:49:59	×	cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (.net .split)
15:49:59	×	ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (.net .split)
15:49:59	×	Ash[m] quits (~signal-wa@2001:470:69fc:105::1:2318) (.net .split)
15:49:59	×	VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (.net .split)
15:49:59	×	fryguybob quits (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (.net .split)
15:49:59	×	matijja quits (~matijja@193.77.181.201) (.net .split)
15:49:59	×	FragByte quits (~christian@user/fragbyte) (.net .split)
15:49:59	×	koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (.net .split)
15:49:59	×	dkeohane2 quits (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (.net .split)
15:49:59	×	davean quits (~davean@davean.sciesnet.net) (.net .split)
15:49:59	×	dpratt quits (sid193493@id-193493.helmsley.irccloud.com) (.net .split)
15:49:59	×	mcfrdy quits (~mcfrdy@user/mcfrdy) (.net .split)
15:49:59	×	Taneb quits (~Taneb@runciman.hacksoc.org) (.net .split)
15:49:59	×	Techcable quits (~Techcable@user/Techcable) (.net .split)
15:49:59	×	dunj3 quits (~dunj3@kingdread.de) (.net .split)
15:49:59	×	dagit quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (.net .split)
15:49:59	×	sus quits (zero@user/zeromomentum) (.net .split)
15:49:59	×	jeffz quits (~user@lambda.xen.prgmr.com) (.net .split)
15:49:59	×	joeyh quits (joeyh@kitenet.net) (.net .split)
15:49:59	×	mht-wtf quits (~mht@2a03:b0c0:3:e0::1e2:c001) (.net .split)
15:49:59	×	Unhammer quits (~Unhammer@user/unhammer) (.net .split)
15:49:59	×	dyniec quits (~dyniec@mail.dybiec.info) (.net .split)
15:49:59	×	chessai quits (sid225296@id-225296.lymington.irccloud.com) (.net .split)
15:49:59	×	dminuoso quits (~dminuoso@user/dminuoso) (.net .split)
15:49:59	×	Adran quits (adran@botters/adran) (.net .split)
15:49:59	×	synthmeat quits (~synthmeat@user/synthmeat) (.net .split)
15:49:59	×	berberman quits (~berberman@user/berberman) (.net .split)
15:49:59	×	kristjansson quits (sid126207@id-126207.tinside.irccloud.com) (.net .split)
15:49:59	×	wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (.net .split)
15:49:59	×	edwtjo quits (~edwtjo@fsf/member/edwtjo) (.net .split)
15:49:59	×	hugo- quits (znc@verdigris.lysator.liu.se) (.net .split)
15:49:59	×	markasoftware quits (~quassel@107.161.26.124) (.net .split)
15:49:59	×	absence quits (torgeihe@hildring.pvv.ntnu.no) (.net .split)
15:50:00	×	christiaanb quits (sid84827@id-84827.lymington.irccloud.com) (.net .split)
15:50:00	×	sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (.net .split)
15:50:00	×	kevinsjoberg quits (sid499516@id-499516.lymington.irccloud.com) (.net .split)
15:50:00	×	bjs quits (sid190364@user/bjs) (.net .split)
15:50:00	×	cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (.net .split)
15:50:00	×	pepeiborra quits (sid443799@id-443799.ilkley.irccloud.com) (.net .split)
15:50:00	×	Pent quits (sid313808@id-313808.lymington.irccloud.com) (.net .split)
15:50:00	×	joel135 quits (sid136450@2a03:5180:f:4::2:1502) (.net .split)
15:50:00	×	jakesyl__ quits (sid56879@2a03:5180:f:4::de2f) (.net .split)
15:50:00	×	vito quits (sid1962@user/vito) (.net .split)
15:50:00	×	mcfilib quits (sid302703@user/mcfilib) (.net .split)
15:50:00	×	nisstyre quits (wes@user/nisstyre) (.net .split)
15:50:00	×	lieven quits (~mal@ns2.wyrd.be) (.net .split)
15:50:00	×	lightandlight quits (sid135476@id-135476.helmsley.irccloud.com) (.net .split)
15:50:00	×	SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (.net .split)
15:50:00	×	idnar quits (sid12240@debian/mithrandi) (.net .split)
15:50:00	×	NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (.net .split)
15:50:00	×	ggVGc quits (~ggVGc@a.lowtech.earth) (.net .split)
15:50:00	×	jmct quits (sid160793@id-160793.tinside.irccloud.com) (.net .split)
15:50:00	×	dfordivam1 quits (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (.net .split)
15:50:00	×	leah2 quits (~leah@vuxu.org) (.net .split)
15:50:00	×	p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (.net .split)
15:50:00	×	alinab quits (sid468903@id-468903.helmsley.irccloud.com) (.net .split)
15:50:00	×	Dykam quits (Dykam@dykam.nl) (.net .split)
15:50:00	×	madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (.net .split)
15:50:00	×	sajith quits (~sajith@user/sajith) (.net .split)
15:50:00	×	dexter quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (.net .split)
15:50:00	×	bcoppens quits (~bartcopp@vpn2.bartcoppens.be) (.net .split)
15:50:00	×	xdej quits (~xdej@quatramaran.salle-s.org) (.net .split)
15:50:00	×	integral quits (sid296274@user/integral) (.net .split)
15:50:00	×	tinwood quits (~tinwood@canonical/tinwood) (.net .split)
15:50:00	×	eldritch quits (~eldritch@user/eldritch) (.net .split)
15:50:00	×	anderson quits (~ande@user/anderson) (.net .split)
15:50:00	×	ysh quits (sid6017@id-6017.ilkley.irccloud.com) (.net .split)
15:50:00	mcfrd	is now known as mcfrdy
15:50:00	chessai_	is now known as chessai
15:50:00	dpratt_	is now known as dpratt
15:50:00	anderson_	is now known as anderson
15:50:01	christiaanb_	is now known as christiaanb
15:50:01	FragByte_	is now known as FragByte
15:50:01	Techcable_	is now known as Techcable
15:50:01	pepeiborra_	is now known as pepeiborra
15:50:01	sa1_	is now known as sa1
15:50:01	jmct_	is now known as jmct
15:50:01	mcfilib_	is now known as mcfilib
15:50:01	lightandlight_	is now known as lightandlight
15:50:02	cbarrett_	is now known as cbarrett
15:50:02	alinab_	is now known as alinab
15:50:02	idnar_	is now known as idnar
15:50:03	vito_	is now known as vito
15:50:03	joel135_	is now known as joel135
15:50:03	kevinsjoberg_	is now known as kevinsjoberg
15:50:05	SrPx_	is now known as SrPx
15:50:06	Pent_	is now known as Pent
15:50:06	bjs_	is now known as bjs
15:50:06	integral_	is now known as integral
15:50:07	kristjansson_	is now known as kristjansson
15:50:11	NiKaN_	is now known as NiKaN
15:50:19	→	econo joins (uid147250@user/econo)
15:51:34	eldritch_	is now known as eldritch
15:51:43	×	ladyfriday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .)
15:52:32	→	FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
15:53:26	→	mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es)
15:54:02	→	alx741 joins (~alx741@host-186-3-154-11.netlife.ec)
15:54:16	×	inversed_ quits (~inversed@176.248.27.211) (Ping timeout: 272 seconds)
15:55:19	×	alx741 quits (~alx741@host-186-3-154-11.netlife.ec) (Read error: Connection reset by peer)
15:55:58	→	davean joins (~davean@davean.sciesnet.net)
15:56:23	→	wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
15:56:41	→	nisstyre joins (wes@user/nisstyre)
15:57:01	→	leah2 joins (~leah@vuxu.org)
15:57:05	→	synthmeat joins (~synthmeat@user/synthmeat)
15:57:28	→	Unhammer joins (~Unhammer@user/unhammer)
15:57:53	→	inversed joins (~inversed@176.248.27.211)
15:58:02	→	geekosaur[m][m] joins (~geekosaur@2001:470:69fc:105::2:cb7)
15:59:53	→	bitonic joins (~bitonic@2001:470:69fc:105::1812)
16:00:00	→	Christoph[m] joins (~hpotsirhc@2001:470:69fc:105::2ff8)
16:00:14	×	RajatVerma[m] quits (~rajatvmat@2001:470:69fc:105::1:fb34) (Quit: You have been kicked for being idle)
16:00:16	→	jpds joins (~jpds@gateway/tor-sasl/jpds)
16:00:31	→	ec joins (~ec@gateway/tor-sasl/ec)
16:00:57	→	_xor joins (~xor@72.49.198.103)
16:01:01	→	edwtjo joins (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
16:01:01	×	edwtjo quits (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
16:01:01	→	edwtjo joins (~edwtjo@fsf/member/edwtjo)
16:01:42	→	cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
16:01:46	→	Ash[m] joins (~signal-wa@2001:470:69fc:105::1:2318)
16:01:52	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
16:02:33	→	alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
16:02:45	→	Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56)
16:03:13	→	gpncarl joins (~gpncarl@120.244.220.69)
16:03:22	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
16:03:29	→	tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
16:03:38	→	VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d)
16:03:43	→	sibnull[m] joins (~sibnullma@2001:470:69fc:105::1:1291)
16:03:45	→	ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be)
16:03:58	→	ongy[m] joins (~ongymatri@2001:470:69fc:105::5018)
16:04:02	→	pareto-optimal-d joins (~pareto-op@2001:470:69fc:105::1:b61f)
16:04:34	×	_xor quits (~xor@72.49.198.103) (Client Quit)
16:05:03	→	SridharRatnakuma joins (~sridmatri@2001:470:69fc:105::1c2)
16:05:04	→	Pikachu[m] joins (~pychaumat@2001:470:69fc:105::2:1ce)
16:05:17	→	maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
16:05:18	→	yosef36 joins (~yosefweis@2001:470:69fc:105::1:e501)
16:06:19	→	werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
16:07:19	→	merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
16:10:20	×	mbuf quits (~Shakthi@31.32.33.168) (Quit: Leaving)
16:11:30	×	merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
16:11:39	×	christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds)
16:12:11	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:13:01	×	coot quits (~coot@213.134.190.95) (Quit: coot)
16:13:41	→	coot joins (~coot@213.134.190.95)
16:19:29	×	cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5)
16:20:02	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:22:05	<raehik>	I can write unboxed literals with 123# :: Int#, 456## :: Word#. Is there a way for me to write 255 :: Word8# ?
16:23:27	<tomsmeding>	raehik: no, because a bare literal `255` gets desugared to `fromInteger <an_internal_255_integer_interal>`, and fromInteger has result type `a` that must implement `Num`, and the type argument of `Num` has kind `Type`
16:23:33	<tomsmeding>	and unboxed types do not have kind Type
16:24:39	<raehik>	Right. So I can't define a literal Word8#, except by writing a Word# and converting it?
16:24:43	<geekosaur>	I think they meant more then Word8 part than the undecorated value? I'm still not sure how you do that
16:24:52	<geekosaur>	except by converting
16:25:19	<raehik>	yeah I wrote 255 instead of 255## there -- because 123## is a Word#, so I guess Word8# would require more syntax (or polymorphic unboxed lits)
16:27:05	<tomsmeding>	ah right, then I don't know, I was going on the undecorated literal purely
16:27:07	→	alp_ joins (~alp@user/alp)
16:28:43	<tomsmeding>	demo of the literal stuff https://paste.tomsmeding.com/oqtDSwqw
16:28:44	<raehik>	wordToWord8# 256## :: Word8# == 0 works (pretend they're lifted)
16:30:18	<raehik>	this is largely 9.2 dependent where machine ints got their own types
16:30:53	<raehik>	(or maybe it was 9.0)
16:31:59	×	op quits (~op@h-62-63-197-58.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
16:32:55	<geekosaur>	9.2
16:34:11	×	myme quits (~myme@2a01:799:d5a:cd00:c044:db87:472c:8a95) (Ping timeout: 252 seconds)
16:34:21	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
16:35:04	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
16:35:18	→	myme joins (~myme@2a01:799:d5a:cd00:b525:9c95:fca0:da0b)
16:39:59	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
16:42:42	×	synthmeat quits (~synthmeat@user/synthmeat) (Quit: WeeChat 3.5)
16:43:05	→	synthmeat joins (~synthmeat@user/synthmeat)
16:44:07	→	zincy joins (~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3)
16:46:15	×	sander quits (~sander@user/sander) (Quit: So long! :))
16:46:29	×	titibandit quits (~thibaut@sunp.ient.rwth-aachen.de) (Remote host closed the connection)
16:47:20	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
16:47:28	→	son0p joins (~ff@181.136.122.143)
16:49:55	→	codaraxis joins (~codaraxis@user/codaraxis)
16:53:22	×	zincy quits (~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3) (Remote host closed the connection)
16:53:41	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
16:53:55	×	Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection)
16:54:19	→	Kaiepi joins (~Kaiepi@156.34.47.253)
16:55:09	→	sander joins (~sander@user/sander)
16:55:56	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
16:56:24	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
16:57:10	×	gpncarl quits (~gpncarl@120.244.220.69) (Ping timeout: 240 seconds)
16:58:18	×	vpan quits (~0@212.117.1.172) (Quit: Leaving.)
16:59:43	×	pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:00:57	<sm>	happy #haskell birthday byorgey!
17:01:31	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
17:05:00	<raehik>	(# #) is the unboxed unit, right? GHCi refuses to tell me anything about it, just parse errors and not in scope
17:07:05	×	HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
17:07:56	<geekosaur>	looks to be a bug in :info
17:08:18	→	HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
17:08:20	<geekosaur>	it also doesn't like printing it but the error message there is at least clear that `print` wants a lifted type
17:08:37	<raehik>	Ah wait, it's the unboxed 0-tuple
17:08:48	<raehik>	I needed to :set -XUnboxedTuples
17:08:52	<geekosaur>	yes
17:09:10	<geekosaur>	but :info still doesn't like it
17:09:13	<raehik>	I'm used to the no printing unlifted by now xD
17:09:33	<raehik>	hmm, yes. :t and :k work as I hoped
17:11:02	×	razetime quits (~quassel@117.254.35.226) (Ping timeout: 252 seconds)
17:15:37	<int-e>	Hmm. :i wants a single identifier, not an expression. :i (##) and :i (#,#) work
17:16:26	<int-e>	And it's not specific to unboxed types: :i [ ] fails where :i [] works.
17:16:36	×	odnes quits (~odnes@5-203-155-92.pat.nym.cosmote.net) (Quit: Leaving)
17:17:10	<geekosaur>	fun
17:17:20	<geekosaur>	it could use some better error messages, in that case
17:17:59	<EvanR>	is an unboxed zero tuple like... a nothing
17:18:14	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
17:18:37	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
17:22:20	<int-e>	All the way to the RTS. There's special code for applying a function to nothings... stg_ap_v (ap = apply; v = void) (There's a few other nothings in ghc: the State# s tokens, the Proxy# a type...
17:23:03	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:23:12	→	FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
17:23:25	<EvanR>	ghc masterfully handles nothing
17:23:49	<Bulby[m]>	🤣
17:24:43	<[exa]>	[Anakin vs Padme meme voice:] "you meant Nothing right?"
17:25:14	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
17:25:56	×	MajorBiscuit quits (~MajorBisc@c-001-019-036.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
17:26:15	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
17:33:23	<tomsmeding>	Puzzle for those who haven't seen polymorphically recursive types yet: how many leaves can there be in a fully-defined (no bottoms) value of type T, where `data T a = Leaf a \| Node (T (a, a))`?
17:33:49	×	codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
17:35:22	×	kuribas quits (~user@ptr-17d51em3ti570thy98k.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
17:35:30	→	MoC joins (~moc@user/moc)
17:35:39	→	aeka` joins (~aeka@pool-108-4-148-106.albyny.fios.verizon.net)
17:36:03	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
17:36:56	→	aeka- joins (~aeka@2606:6080:1001:16:3492:5f11:f1fb:66ae)
17:37:39	×	aeka quits (~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06) (Ping timeout: 240 seconds)
17:37:39	aeka-	is now known as aeka
17:39:44	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
17:40:40	×	aeka` quits (~aeka@pool-108-4-148-106.albyny.fios.verizon.net) (Ping timeout: 272 seconds)
17:46:29	→	jgeerds joins (~jgeerds@d53604b0.access.ecotel.net)
17:50:49	<maerwald>	O(log n)?
17:50:50	→	kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr)
17:52:02	<[exa]>	well if any Leaf counts as a leaf, I'd say one.
17:53:14	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
17:53:44	<EvanR>	unlimited?
17:53:55	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
17:54:12	<maerwald>	[exa]: even a leaf can have a leaf :p
17:54:24	→	_ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl)
17:55:19	<maerwald>	EvanR: I think GHC would garbage collect after 9000, so that might be the max
17:55:37	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
17:56:00	<EvanR>	is this a dbz joke
17:56:34	→	dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net)
18:01:40	<maerwald>	r/therewasanattempt
18:03:11	<tomsmeding>	maerwald: what's n? What I intended to ask was "what is the set of possible leaf counts", as a subset of N
18:03:39	<tomsmeding>	Oh ooops
18:03:56	×	tomboy64 quits (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.)
18:03:57	<tomsmeding>	Heh [exa] takes the brownie points, but I intended "number of a's"
18:04:11	[exa]	rejoices
18:04:21	<kenaryn>	Hello functional people! I'm in need of a bit of enlightment regarding to GHC building from source. I installed Z3 and stack using package manager (I use voidLinux. `uname -a` returns `Linux omega 5.15.39_1 #1 SMP Fri May 13 11:39:37 UTC 2022 x86_64 GNU/Linux`). I run `stack setup && stack install` then `stack upgrade --force-download --overwrite-policy=always` then `sudo ln -s /usr/lib/libncursesw.so.6
18:04:27	<kenaryn>	/usr/lib/libtinfo.so.6` (like https://docs.haskellstack.org/en/stable/faq/#how-do-i-install-ghc-in-stack-when-it-fails-with-the-error-missing-ghc-bindist-for-linux64-ncurses6 told me too). Finally, I run cabal update && cabal install cabal-install and added `${HOME}/.local/bin` in my PATH env var but to no prevail. I still have a `ghc-cabal: not found` error when trying to build ghc-tinfo6. Please can
18:04:33	<kenaryn>	someone help me?
18:05:09	<kenaryn>	Sorry for the splitted message :/ Here I have the error build log if it can help: http://0x0.st/oaoO.png
18:05:19	→	shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net)
18:05:25	<[exa]>	kenaryn: tinfo6 uses a system terminfo db right?
18:05:42	<kenaryn>	exa: I do not know, I'm sorry.
18:05:59	<[exa]>	ah no that's likely not related
18:06:45	<[exa]>	tomsmeding: for the `a`s it's actual 2^depth or is there a catch?
18:06:46	→	zer0bitz_ joins (~zer0bitz@2001:2003:f444:8f00:8559:801d:4c57:2c6)
18:06:48	<kenaryn>	I did installed ghc-9.0.2 with the voidlinux package manager too but it does not seem to conflit with the build attempt of ghc-tinfo6
18:06:51	→	slack1256 joins (~slack1256@191.125.99.64)
18:07:09	<tomsmeding>	[exa]: precisely that, I did say it was a puzzle for the ones who hadn't seen types like these before :p
18:07:25	→	tomboy64 joins (~tomboy64@user/tomboy64)
18:07:32	<slack1256>	Has anyone integrated haddock generated doc with github actions?
18:07:40	<slack1256>	I could use a blogpost on it right now.
18:07:52	×	zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:a5d1:4307:bef2:bbe6) (Ping timeout: 248 seconds)
18:08:05	<kenaryn>	exa: the offending line is: `utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist: 3: exec: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal: not found`
18:08:07	<[exa]>	tomsmeding: ._.
18:08:22	<tomsmeding>	kenaryn: is there a reason you're not using ghc's own build system, with ./boot and stuff?
18:08:52	→	Infinite joins (~Infinite@49.39.123.141)
18:09:31	<kenaryn>	@tomsmeding: I don't think there is a reason at all. My goal is to try out Granule lang but it does require GHC as a back-end compiler.
18:09:31	<lambdabot>	Unknown command, try @list
18:09:46	<[exa]>	slack1256: do you need multiple versions in gh-pages?
18:10:00	×	tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
18:10:09	<[exa]>	if not, literally just run haddock and upload the built tree to gh-pages, there's even an action prepared for that iirc
18:10:25	<tomsmeding>	kenaryn: does Granule use a fork of ghc? Or is it just plain ghc from upstream? If the latter, just get it from ghcup lol
18:10:25	<slack1256>	No, just gen whatever is on master. It internal documentation/
18:11:13	→	tomboy64 joins (~tomboy64@user/tomboy64)
18:11:18	<maerwald>	tomsmeding: yeah, I was trying to say it depends on the depth of the tree, but I didn't manage to come up with 2^depth lol
18:11:20	<[exa]>	slack1256: https://github.com/marketplace/actions/github-pages-action should do™
18:11:53	<tomsmeding>	kenaryn: if you really want to manually build ghc from source, see hadrian/README.md in the source tree
18:12:02	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
18:13:00	<kenaryn>	@tomsmeding: Granule use plain ghc from upstream I suppose. Here is the link https://github.com/granule-project/granule/wiki/Installing-Granule#build-granule-from-source
18:13:00	<lambdabot>	Unknown command, try @list
18:13:43	<kenaryn>	@tomsmeding: I may add that typing ldd ~/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp/ghc-cabal reports a lot of `stg_SRT_1_info: symbol not found`
18:13:43	<lambdabot>	Unknown command, try @list
18:13:53	<tomsmeding>	Oh eh granule tries to take over everything, then 🤷‍♂️
18:14:12	→	arjun joins (~arjun@user/arjun)
18:14:22	→	titibandit joins (~thibaut@xdsl-78-35-152-200.nc.de)
18:14:30	<kenaryn>	lol I can't read your emoticon.
18:15:42	slack1256	noticed that glirc now has emoji support .
18:15:54	<tomsmeding>	kenaryn: it's a shrug :p
18:16:02	×	Infinite quits (~Infinite@49.39.123.141) (Ping timeout: 252 seconds)
18:16:03	<slack1256>	[exa]: Awesome!
18:16:51	<kenaryn>	@tomsmeding: I'm pretty new to all of this. Do you want me to follow this guideline: https://gitlab.haskell.org/ghc/ghc/-/blob/master/hadrian/README.md?
18:16:52	<lambdabot>	Unknown command, try @list
18:17:10	<tomsmeding>	kenaryn: depends on how granule wants its ghc
18:17:19	<tomsmeding>	I can have a look a bit later
18:17:49	<tomsmeding>	That would be how you normally compile ghc from source, but granule seems to want something special with its blasted stack-only setup
18:18:43	→	jmdaemon joins (~jmdaemon@user/jmdaemon)
18:19:12	<kenaryn>	It does have its manners and whims I admit.
18:21:31	→	slac72307 joins (~slack1256@181.42.55.67)
18:22:01	<kenaryn>	It seems like stack does not found ghc-cabal but I don't know what to do about it.
18:22:18	<kenaryn>	I never build anything from source in fact :D
18:24:04	<tomsmeding>	kenaryn: sorry only now looking at your screenshot. The issue is not with granule, either your stack installation is borked or somehow the binary distribution of ghc that stack downloads is borked
18:24:06	×	slack1256 quits (~slack1256@191.125.99.64) (Ping timeout: 276 seconds)
18:24:13	<tomsmeding>	rm -rf ~/.stack and try again
18:29:45	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
18:32:29	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
18:33:02	×	m1dnight quits (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 260 seconds)
18:33:34	→	jmd_ joins (~jmdaemon@user/jmdaemon)
18:33:50	×	jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
18:34:05	<kenaryn>	the error is happening during `stack setup -v`: http://0x0.st/oaoI.png
18:34:06	→	m1dnight joins (~christoph@78-22-9-5.access.telenet.be)
18:34:52	<tomsmeding>	kenaryn: yeah what you're seeing is stack trying to (locally) install the ghc that granule specified as its compiler
18:35:02	×	mima quits (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Quit: leaving)
18:35:06	<tomsmeding>	To use as the ghc to compile granule itself
18:35:22	<kenaryn>	Thanks for the explanation :)
18:35:35	→	mima joins (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
18:35:45	<kenaryn>	I removed the ~/.stack and retried but to no avail :/
18:35:46	<tomsmeding>	Did you try removing ~/.stack wholesale and trying again?
18:35:47	<tomsmeding>	Ah
18:35:57	<tomsmeding>	Same output?
18:36:31	→	__monty__ joins (~toonn@user/toonn)
18:36:33	<kenaryn>	yes when I `cd` in the granule it downloaded again ghc but failed to install it after unpacking and configuring
18:36:50	<kenaryn>	in the granule directory I mean.
18:38:00	<tomsmeding>	kenaryn: in that ...temp/ghc-8.8.3 directory, is there a utils directory? If so, how much of that ghc-cabal path exists there?
18:40:48	<kenaryn>	@tomseding: It's very strange. `ls /home/aurele/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp` returns ghc-cabal* ghc-cabal-bindist*
18:40:48	<lambdabot>	Unknown command, try @list
18:41:04	<kenaryn>	So the executable presumably missing does exist...
18:41:28	<tomsmeding>	kenaryn: try `ls -l`, what are the permission bits on that ghc-cabal
18:41:41	<kenaryn>	good point
18:41:43	<tomsmeding>	"not executable" also results in a "not found" error
18:42:15	<kenaryn>	-rwxr-xr-x
18:42:19	<tomsmeding>	If it does have rwxr-xr-x, rhen is your home directory mounted with noexec :p
18:42:21	<tomsmeding>	^
18:42:29	<tomsmeding>	mount \| grep home
18:42:59	<kenaryn>	You mean I must run this mount command?
18:43:35	<tomsmeding>	Yeah
18:43:44	<tomsmeding>	Changes nothing, just prints current mounts
18:43:55	<tomsmeding>	Check that /home/yourusername is not mounted noexec
18:44:01	<kenaryn>	/dev/sda4 on /home type ext4 (rw,relatime)
18:44:20	<tomsmeding>	Is that the only /home/* entry?
18:44:36	<monochrom>	Heh, I keep forgetting noexec too. I run a docker container with a tmpfs and put a student's exe in the tmpfs why oh why I can't run student's exe. Oh wait derp.
18:45:15	<tomsmeding>	monochrom: it's pernicious. But apparently the partition isn't mounted noexec here, so /me confused
18:45:21	<kenaryn>	Yes it's the only one printed with mount \| grep home command
18:45:33	<tomsmeding>	Ah
18:45:44	<tomsmeding>	kenaryn: run `ldd ...../ghc-cabal`
18:45:48	<tomsmeding>	Probably missing libraries
18:46:05	<kenaryn>	Yes it will print a log of missing symbols
18:46:05	<tomsmeding>	That _also_ results in the same "not found" error
18:46:10	→	slack1256 joins (~slack1256@191.125.99.64)
18:46:42	<tomsmeding>	Oh interesting, right
18:47:18	<tomsmeding>	kenaryn: doesn't it also report some missing libraries? Or only missing symbols?
18:48:01	<kenaryn>	ldd ~/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp/ghc-cabal returns the following: http://0x0.st/oaod.png
18:48:10	×	slac72307 quits (~slack1256@181.42.55.67) (Ping timeout: 240 seconds)
18:48:39	<tomsmeding>	Top of the output please?
18:48:56	<kenaryn>	Right away sir.
18:49:17	<tomsmeding>	:D
18:49:52	×	arjun quits (~arjun@user/arjun) (Quit: Leaving)
18:49:54	<tomsmeding>	Remote debugging always degenerates to this at some point
18:50:15	<Hecate>	https://twitter.com/TechnoEmpress/status/1526636158633091073
18:50:16	<Hecate>	no lie.
18:50:45	×	jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds)
18:52:02	<kenaryn>	I don't understand, I can't scroll back to the beginning (too much line for shell history MAX I suppose) so I did redirect the output to a file (`ldd .../ghc-cabal > file.txt)` but it only copy a few lines... like this: http://0x0.st/oaoh.png
18:52:21	<kenaryn>	Please how can I scroll back entirely?
18:52:23	→	nate1 joins (~nate@98.45.169.16)
18:52:35	<tomsmeding>	kenaryn: ldd .../ghc-cabal 2>&1 \| less
18:53:26	<tomsmeding>	a unix process has two output streams: stdout and stderr. Both go to the terminal normally. But pipes and file redirections only redirect stdout normally; 2>&1 puts stderr where stdout goes
18:54:54	<kenaryn>	@tomsmeding: you were right, loading some shared libraries did failed: http://0x0.st/oaoF.png
18:54:55	<lambdabot>	Unknown command, try @list
18:55:09	<tomsmeding>	Hecate: I'm only colorblind, but I always go through accessibility settings of stuff because there's usually useful settings there
18:55:37	→	mmhat joins (~mmh@p200300f1c7256ebeee086bfffe095315.dip0.t-ipconnect.de)
18:55:42	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
18:55:49	<tomsmeding>	kenaryn: right, it can't find all the haskell libraries. Then it stands to reason it can't find the haskell symbols, either. :P
18:56:03	<tomsmeding>	(STG is the final intermediate form of a program in GHC)
18:56:12	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
18:56:19	<kenaryn>	Agreed, but what can I do to win the battle against the electronic machine?
18:56:32	<kenaryn>	STG? what is that?
18:56:41	<tomsmeding>	nothing you need to know anything about now
18:56:50	<tomsmeding>	was just explaining where that "stg" in the symbols comes from
18:56:58	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
18:57:06	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 246 seconds)
18:57:10	<kenaryn>	Roger that.
18:57:39	<tomsmeding>	but um, presumably stack runs that ghc-cabal with some interesting environment so that it _can_ find libraries, normally; but annoying to check
18:57:51	<monochrom>	Is this an out-of-space scenerio?
18:58:40	<tomsmeding>	kenaryn: check disk space, also in /tmp, but monochrom: then I'd expect some "out of space" error and there doesn't seem to be any :p https://0x0.st/oaoI.png
18:59:27	<kenaryn>	df /tmp
18:59:27	<kenaryn>	Filesystem Type Size Used Avail Use% Mounted on
18:59:31	<kenaryn>	tmpfs tmpfs 7.8G 7.1M 7.8G 1% /tmp
18:59:45	<tomsmeding>	and the Avail for /home?
18:59:50	<EvanR>	you haven't even seen my final intermediate form!
19:00:43	<tomsmeding>	oh right, after stg you get cmm, but eh
19:01:21	<kenaryn>	Available space disk seems OK: https://0x0.st/oaHs.png
19:01:50	<tomsmeding>	kenaryn: oh yeah that's plenty space
19:02:14	→	jakalx joins (~jakalx@base.jakalx.net)
19:02:25	<kenaryn>	I wonder what systemd is listed as voidlinux runs with runit :/
19:02:29	<tomsmeding>	currently trying to install the same ghc version using stack to see what it does, but no promises
19:02:38	<kenaryn>	's/what/why/'
19:02:54	<kenaryn>	Thank you for your patience :)
19:03:28	<tomsmeding>	kenaryn: heh, interesting about systemd, but out of scope :p
19:03:36	<monochrom>	"voidlinux" and "runit" are waiting for a Haskell or Curry-Howard joke but why is Linux involved :)
19:03:43	<kenaryn>	stack --version returns Version 2.7.5, Git revision ba147e6f59b2da75b1beb98b1888cce97f7032b1 x86_64 hpack-0.34.4
19:03:55	<kenaryn>	lol..
19:07:40	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
19:07:59	→	geekosaur joins (~geekosaur@xmonad/geekosaur)
19:09:20	×	joeyh_ quits (~joeyh@66.228.36.95) (Quit: ZNC 1.8.2+deb2+b4 - https://znc.in)
19:09:30	→	joeyh joins (~joeyh@kitenet.net)
19:11:36	<kenaryn>	Because libm.so.6 => /lib64/ld-linux-x86-64.so.2 seems to fail, could it be because I use musl instead of glibc?
19:11:41	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
19:11:54	<kenaryn>	I shall have pointed it out from the beginning... :D
19:12:06	<tomsmeding>	kenaryn: does that fail? Doesn't look like failing here https://0x0.st/oaoF.png
19:12:25	<tomsmeding>	though the musl thing _may_ be a problem
19:12:48	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
19:12:57	<kenaryn>	the loading error follow immediately that line so I asked myself if it could be the system C library.
19:12:59	<tomsmeding>	these days a binary distribution of ghc is made that supports musl if I remember correctly, but not sure if they already did that for 8.8.3
19:13:42	<tomsmeding>	kenaryn: those "Error loading shared library" errors are just libraries that should've come after libm, the moment it prints libm => something-that-is-not-"not found", libm is okay
19:14:24	<kenaryn>	Allright, thank you for taking the time to explain it to me.
19:15:09	<tomsmeding>	(trying to wrangle my system into getting logs of process executions, I thought I had a tool that worked but it fails, using another tool now)
19:17:04	<tomsmeding>	(yay intercept(1))
19:17:28	<tomsmeding>	right, a whole bunch of LD_LIBRARY_PATH
19:17:53	<kenaryn>	I can't find anything related to musl so I hope ghc 8.8.x branch does support it.
19:17:57	→	nbms^ joins (~nbms@128-092-160-234.biz.spectrum.com)
19:19:18	Taneb0	is now known as Taneb
19:19:20	<kenaryn>	my LD_LIBRARY_PATH is empty, does that matter?
19:19:28	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
19:19:41	<tomsmeding>	no stack sets it, wait a sec
19:20:18	<tomsmeding>	kenaryn: run this: https://tomsmeding.com/vang/MotVCz (those are two lines -- the second line is very long)
19:20:28	<tomsmeding>	oh crap
19:20:35	<tomsmeding>	replace all the /home/tom with /home/yourusername
19:20:36	<tomsmeding>	:')
19:20:38	<kenaryn>	I also defined my CFLAGS to 'O0 -g' maybe that's a thing? It was intended for tcc instead of gcc.
19:20:50	<tomsmeding>	kenaryn: -O0 instead of O0 hopefully?
19:20:54	×	raym quits (~raym@user/raym) (Read error: Connection reset by peer)
19:21:03	<tomsmeding>	but no that shouldn't make a difference, and if it does ghc's makefile is broken
19:21:07	<kenaryn>	CFLAGS=-O0 -g
19:21:44	<tomsmeding>	kenaryn: with username substituted https://tomsmeding.com/vang/BhouaV
19:22:21	<kenaryn>	Allright, I'll try to make it through :D
19:22:42	<tomsmeding>	(hoping that those paths are the same on your machine lol)
19:23:27	<kenaryn>	I must endure to see the truth!
19:23:44	<kenaryn>	functional paradigm with dependent types will prevail.
19:25:21	<kenaryn>	it returned env: ‘utils/ghc-cabal/dist-install/build/tmp/ghc-cabal’: No such file or directory
19:26:35	<kenaryn>	Your line sets the value of LD_LIBRARY_PATH is that right? I never thought to use `env` to do it.
19:27:47	<EvanR>	you're trying to enable dependent types?
19:28:02	<kenaryn>	It did not interpret the relative path correctly, seems to required the absolute path?
19:28:21	<kenaryn>	lol not for now, I'll wait a bit for linear Haskell.
19:28:30	×	Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
19:28:52	→	raym joins (~raym@user/raym)
19:29:19	×	coot quits (~coot@213.134.190.95) (Quit: coot)
19:29:24	<tomsmeding>	kenaryn: right, that was expected I guess. This one is more interesting: https://tomsmeding.com/vang/BRrUW5
19:30:04	<tomsmeding>	the relative path is okay, the "not found" is the same not found as earlier, with libraries being the issue, not the presence of the executable
19:30:31	<kenaryn>	Allright.
19:30:49	<tomsmeding>	kenaryn: using 'env' for setting an environment variable is a habit I have from fish (an alternative to bash), which historically didn't have the '$ A=1 program' syntax
19:31:00	×	mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
19:32:13	<kenaryn>	Ah so you're a fish user :) I wonder if I may switch to it eventually, but don't link the autocompletion feature AT ALL.
19:32:19	<kenaryn>	like*
19:32:35	<tomsmeding>	interesting, I like the autocompletion a lot. Are you a zsh user by any chance?
19:32:35	→	mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
19:32:56	<tomsmeding>	zsh is supposed to be the kitchen sink of features, but I've never actually used it
19:33:05	→	pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
19:34:20	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:34:37	<kenaryn>	Yes I'm on oh-my-zsh framework steroids, but it's a big factory to use and zsh is such a complicated shell acting as an superset of an already weird shell (i.e. Bash).
19:34:58	×	mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Client Quit)
19:35:51	→	slac66662 joins (~slack1256@181.42.55.163)
19:35:51	→	kenran joins (~kenran@200116b82bd4b3000144a4adfb536ead.dip.versatel-1u1.de)
19:36:13	<kenaryn>	So, your command returned with success but did not feed permanently the LD_LIBRARY_PATH env var. Do I need to do it manually? (with .zshenv file and typeset -TUx command? you know the zsh equivalent for EXPORT env_variable)
19:36:31	<tomsmeding>	kenaryn: no you definitely don't want that env variable permanently
19:36:37	<tomsmeding>	no errors from ldd?
19:37:09	<kenaryn>	the env command returned with 0 exit status. Now i retry the ldd command you mean?
19:37:30	<tomsmeding>	kenaryn: this one https://tomsmeding.com/vang/BRrUW5/.psub.ThCTGWnlkq runs ldd under env
19:37:59	→	Tuplanolla joins (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
19:38:12	×	slack1256 quits (~slack1256@191.125.99.64) (Ping timeout: 276 seconds)
19:38:21	<kenaryn>	Allright, thank you.
19:39:00	<kenaryn>	The last command returned with success.
19:39:24	<tomsmeding>	what's the output
19:40:38	→	mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
19:40:42	<tomsmeding>	If all else fails we can also try this: install ghcup using the command line on https://www.haskell.org/ghcup/ ; if it asks whether you want X, answer no, but you may want the shell path modification. (Or you can do it manually by adding ~/.ghcup/bin to your path however you wish.) If that succeeded, run `ghcup tui`, and install ghc-8.8.3 by pressing `i` on it and then `s` on it. If that worked,
19:40:42	<tomsmeding>	uncomment this line and try running 'stack build': https://github.com/granule-project/granule/blob/main/stack.yaml#L34
19:41:24	tomsmeding	is going to be away for a bit, might be back in 30min to an hour
19:41:35	<maerwald>	I'd just use stack2cabal
19:41:39	<maerwald>	@hackage stack2cabal
19:41:40	<lambdabot>	https://hackage.haskell.org/package/stack2cabal
19:41:55	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
19:42:07	<kenaryn>	https://0x0.st/oaHT.png
19:42:51	→	dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
19:42:56	×	bliminse quits (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving)
19:45:01	×	ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
19:47:42	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:51:00	→	Kaiepi joins (~Kaiepi@156.34.47.253)
19:52:19	<dschrempf>	I am developing a WebSocket application using `websockets`. I am a bit at a loss because the connection stops without error at seemingly random times. The socket is still open, but no data is received. The ping/pong seems to work though. I am using the following construct, and was wondering if this is flawed:
19:52:25	<dschrempf>	`timeout t (receiveData c)`
19:53:01	<dschrempf>	where `timeout` is from `unliftio`, and `receiveData` from `websockets` (`t` is an Int, and `c` is the connection)
19:53:44	<dschrempf>	I was thinking that the usage of `timeout` is probably a bad idea, but I want to know if no data arrives for some amount of time
19:54:56	→	gpncarl joins (~gpncarl@120.244.220.69)
19:56:14	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:56:16	×	slac66662 quits (~slack1256@181.42.55.163) (Remote host closed the connection)
19:57:13	×	_ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
19:57:40	→	slack1256 joins (~slack1256@181.42.55.163)
19:59:06	→	yauhsien joins (~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
19:59:27	×	gpncarl quits (~gpncarl@120.244.220.69) (Ping timeout: 256 seconds)
20:01:58	<Bulby[m]>	is this a sane reason to use polysemy
20:01:59	<Bulby[m]>	https://github.com/TheDrawingCoder-Gamer/nylon/blob/master/src/Nylon/Serializer.hs#L166
20:02:43	<maerwald>	kenaryn: `stack2cabal && cabal build` seemed to work flawlessly for me
20:04:12	×	yauhsien quits (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
20:04:38	<kenaryn>	@maerwald I'm currently trying to follow the method of tomsmeding with ghcup but I'll try yours if I fail!
20:04:38	<lambdabot>	Unknown command, try @list
20:04:52	<maerwald>	yes, with ghcup
20:04:59	<maerwald>	but then you run stack2cabal in the repo
20:05:10	<maerwald>	instead of messing around with stack
20:05:42	<maerwald>	here's a binary: https://github.com/hasufell/stack2cabal/releases/download/v1.0.13/stack2cabal-linux
20:05:51	→	jgeerds joins (~jgeerds@d53604b0.access.ecotel.net)
20:07:48	→	merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
20:08:02	<kenaryn>	ghcup install failed and I don't even know why: https://0x0.st/oaH_.png
20:08:25	<maerwald>	you're on voidlinux?
20:08:28	<kenaryn>	Yes.
20:09:16	→	acidjnk joins (~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de)
20:09:37	<maerwald>	kenaryn: do you have the required packages?
20:10:29	<kenaryn>	I don't know, I can't find anything related to g++ package.
20:10:56	<maerwald>	can you pastebin the complete log from ~/.ghcup/logs/
20:11:03	<maerwald>	here: https://paste.tomsmeding.com/
20:11:06	<kenaryn>	I don't know its voidlinux equivalent
20:11:29	<maerwald>	there's a bug on voidlinux, but I'm not sure if it's on 8.10.7: https://gitlab.haskell.org/ghc/ghc/-/issues/21559
20:12:00	×	merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
20:12:54	<zebrag>	Do System F and GADTs compare in any way? Can we have the GADTs balanced tree example with System F? (http://web.cecs.pdx.edu/~sheard/course/AdvancedFP/notes/GADTs.pdf)
20:12:56	→	agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
20:14:00	<kenaryn>	the ~/.ghcup/logs/ghc-make.log reports exactly the same error as previously: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist: 3: exec: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal: not found
20:14:30	×	alp_ quits (~alp@user/alp) (Ping timeout: 250 seconds)
20:16:39	×	mmhat quits (~mmh@p200300f1c7256ebeee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
20:17:16	<kenaryn>	The errors occurs because of loading shared objects errors: https://0x0.st/oaoF.png
20:17:23	<geekosaur>	zebrag, System F is a type system. It can and indeed does represent GADTs (note that the GADT examples are all in Haskell)
20:18:08	<zebrag>	okay, tx
20:19:27	<maerwald>	kenaryn: did you install the other packages?
20:20:11	<kenaryn>	maerwald: I don't know if I have realpath xz-utils and g++ equivalents, as they seems to have another name on void-linux
20:20:25	<maerwald>	then you should look that up
20:20:47	<kenaryn>	but ghcup tries to installed ghc-8.10.7, that's not the version I need to so I don't see the point of this script.
20:21:29	<maerwald>	you definitely need to run: xbps-install ncurses-libtinfo-libs
20:21:50	<maerwald>	kenaryn: that's just the default version, you can install any version
20:23:11	<maerwald>	that works fine for me on voidlinux
20:23:42	<maerwald>	xbps-install -S curl gcc gmp make ncurses ncurses-libtinfo-libs
20:26:13	<maerwald>	then you run: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org \| BOOTSTRAP_HASKELL_GHC_VERSION=8.8.3 sh
20:26:33	<kenaryn>	maerwald: allright, thanks a lot. Only ncurses-libtinfo-libs was NOT installed.
20:26:37	→	pavonia joins (~user@user/siracusa)
20:28:00	<maerwald>	oh, perl is also needed
20:29:03	<tomsmeding>	maerwald: thanks for picking up and knowing better than I what's up :p
20:29:32	<kenaryn>	maerwald: which perl package please? There are dozens of them.
20:29:46	<maerwald>	xbps-install -S perl
20:29:55	<kenaryn>	lol Allright.
20:29:58	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
20:30:02	<maerwald>	tomsmeding: it has caused issues in the past, yeah: https://github.com/void-linux/void-packages/issues/11718#issuecomment-987099385
20:30:05	→	alp_ joins (~alp@user/alp)
20:30:22	→	mmhat joins (~mmh@p200300f1c7256e03ee086bfffe095315.dip0.t-ipconnect.de)
20:30:37	<tomsmeding>	heh
20:30:41	<maerwald>	I actually considered switching to it once, but building packages there from source requires docker or some other container stuff
20:30:59	<tomsmeding>	wacky
20:31:00	<maerwald>	not sure if they support bwrap
20:31:10	<maerwald>	they have multiple backends for building packages
20:31:16	<maerwald>	but I found it quite unergonomic
20:31:18	<kenaryn>	Unpacking in progress
20:31:52	<kenaryn>	Same error occured
20:32:22	<maerwald>	works for me and I just tried in a voidlinux docker container
20:33:01	<maerwald>	maybe your CC points to a broken toolchain
20:33:10	<maerwald>	https://0x0.st/oaH_.png has a warning that your CC is set
20:34:26	<kenaryn>	Yes you're right I wanted to try out tcc but clearly I don't have the knowledge to be a simple user so I'll regenerate my ~/.zshenv without it right away
20:34:46	<tomsmeding>	oh you had CC=tcc? interesting.
20:35:00	<maerwald>	the GHC bindist build system picks those up
20:35:14	<tomsmeding>	that's going to break basically whatever you install, because lots of stuff isn't going to work well with tcc
20:37:40	<kenaryn>	Not exactly, I replaced tcc with gcc during your debugging but was explained by the warning, it may change something with the linker, so I'll clear the env variable right now.
20:37:54	×	agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 250 seconds)
20:38:51	×	kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
20:41:21	maerwald	goes back watching Amber Heard trial
20:41:54	→	kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr)
20:42:16	<kenaryn>	Unfortunately, "_eghcup --cache install ghc 8.8.3" failed!
20:42:22	<maerwald>	:D
20:42:31	<maerwald>	too soon
20:42:46	<maerwald>	ok, what's the exact error. Did you check ~/.ghcup/logs?
20:42:57	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
20:43:14	<kenaryn>	Yes I'm reading it: it displays the same error as the standard output.
20:43:31	<maerwald>	I'm not reading it
20:43:47	<maerwald>	paste: https://paste.tomsmeding.com/
20:43:51	<kenaryn>	https://paste.tomsmeding.com/sW2RdzLZ
20:44:16	<maerwald>	there must be another file
20:44:30	<maerwald>	~/.ghcup/logs/ghc-make.log
20:46:14	→	nate1 joins (~nate@98.45.169.16)
20:46:20	<kenaryn>	I can't paste the damn thing
20:46:24	<kenaryn>	switching to firefox
20:46:50	<tomsmeding>	kenaryn: curl --data-binary @$HOME/.ghcup/logs/ghc-make.log https://tomsmeding.com/gooi/ghc-make.log
20:47:26	<kenaryn>	Can't paste it at all I'm at a loss.
20:47:41	<maerwald>	tomsmeding: file size limit?
20:47:57	<kenaryn>	it maybe due to its length yes.
20:48:09	<maerwald>	paste the last 50 lines
20:48:40	<tomsmeding>	kenaryn: did you try the curl --data-binary thing?
20:48:53	<tomsmeding>	that should have a file size limit of like 100M
20:49:04	<kenaryn>	https://tomsmeding.com/vang/1IZJxk/ghc-make.log but it won't load anything.
20:49:32	<tomsmeding>	is that ghc-make.log file empty or something
20:49:39	<maerwald>	now we're debugging your pastebin too :D
20:50:09	<tomsmeding>	paste.tomsmeding.com has a limit of 128KiB, that might be too small, but the gooi thing should be fine
20:50:58	<tomsmeding>	if that curl fails I'm at a loss what's happening on your system
20:51:30	<tomsmeding>	if the file doesn't exist curl should display a warning; if it doesn't do that, either the file is empty, or wtf
20:51:41	<kenaryn>	I yanked the 183 lines in nvim but suddenly I can't paste anything in the browser :/
20:51:55	<maerwald>	well, we can't help with that
20:51:57	<tomsmeding>	oh only 183 lines? that's not going to go past the file size limt
20:52:11	<tomsmeding>	unless the lines are all >800 chars long or something
20:52:39	×	zer0bitz_ quits (~zer0bitz@2001:2003:f444:8f00:8559:801d:4c57:2c6) (Ping timeout: 240 seconds)
20:53:31	<kenaryn>	https://paste.tomsmeding.com/XgYiG96O
20:53:57	<kenaryn>	I used mousepad instead, don't know what's happening with neovim.
20:54:25	<tomsmeding>	kenaryn: dumb suggestion, but did you ggVG"+y
20:54:33	<tomsmeding>	with emphasis on the "+
20:54:45	<tomsmeding>	or %w !xsel -b
20:54:58	<tomsmeding>	um, ':w !xsel -b', rather
20:55:11	<kenaryn>	What extraterrestrial language are you using.
20:55:17	<tomsmeding>	vim
20:55:32	<tomsmeding>	vim normal mode, to be precise
20:55:40	<maerwald>	kenaryn: is your voidlinux installation using musl?
20:55:46	<tomsmeding>	maerwald: yes
20:55:50	<kenaryn>	I do not know how to answer your question.
20:55:54	<kenaryn>	Yes I'm using musl.
20:56:02	×	dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
20:56:04	<maerwald>	oh
20:56:17	<maerwald>	that complicates it, sec
20:57:08	<kenaryn>	Yes I agree, after all those years, musl may still be treated as an experimental libc.
20:57:32	<tomsmeding>	maerwald: earlier I recorded what LD_LIBRARY_PATH stack gives to that ghc-cabal on my system, and kenaryn tried that same L_L_P on their system, and ldd didn't report any missing libraries in ghc-cabal with that
20:57:34	<maerwald>	run: ~/.ghcup/bin/ghcup install ghc -u https://downloads.haskell.org/ghcup/unofficial-bindists/ghc/8.8.4/ghc-8.8.4-x86_64-alpine-linux.tar.xz 8.8.4
20:58:00	<maerwald>	the only musl-enabled bindist is alpine
20:58:06	<kenaryn>	@tomsmeding: I pressed `Shift+V` then `gg` then `y` to copy into the buffer.
20:58:06	<lambdabot>	Unknown command, try @list
20:58:24	<tomsmeding>	kenaryn: right, that copies into vim's own buffer by default, not onto your system clipboard
20:58:37	<tomsmeding>	unless you explicitly configured (n)vim to bind "" and "+ together
20:58:45	<tomsmeding>	use "+y instead of y
20:59:00	<kenaryn>	Allright, thanks a lot for the side note :)
21:00:16	dunj3_	is now known as dunj3
21:00:53	<tomsmeding>	(now you can also decipher what I said: gg (to top), V (select line), G (to bottom), "+y (copy to system clipboard))
21:02:31	<kenaryn>	183 lines yanked into "+ but still not available outside the nvim buffer :/
21:02:40	<tomsmeding>	:(
21:02:46	<maerwald>	let's not debug nvim now :p
21:02:52	<tomsmeding>	:p
21:05:09	<glguy>	slack1256: glirc has always had the emoji support of whatever terminal you were using at the time
21:07:08	×	DNH quits (~DNH@2a02:8109:b740:2c4:492f:4c54:b830:3942) (Ping timeout: 272 seconds)
21:07:26	<kenaryn>	maerwald: I'm not sure how to run your command line.
21:07:34	<maerwald>	in your terminal
21:07:39	<tomsmeding>	:')
21:08:39	<kenaryn>	Allright, I'll try with the 8.8.3 version.
21:08:53	×	mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
21:08:56	<maerwald>	there's no 8.8.3 version of musl bindist
21:09:06	<maerwald>	8.8.4 should be fine
21:09:07	<kenaryn>	Allright allright.
21:09:24	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
21:11:46	<kenaryn>	GHC Installation successful.
21:11:50	<tomsmeding>	:o
21:11:51	<kenaryn>	Houra.
21:11:57	<maerwald>	right, now you gotta run stack2cabal
21:12:08	<tomsmeding>	I mean, can also try with system-ghc
21:12:12	<kenaryn>	So I boycott stack build?
21:12:15	<maerwald>	yeah
21:12:18	<maerwald>	https://github.com/hasufell/stack2cabal/releases/download/v1.0.13/stack2cabal-linux
21:12:24	<tomsmeding>	but yeah boycotting stack is definitely also an option :p
21:13:07	<maerwald>	download that into wherever, make it executable, then run it from within that project directory you were trying to build, then edit cabal.project file and replace `ghc-8.8.3` with `ghc-8.8.4`, then run `cabal build`
21:13:08	<kenaryn>	how do I proceed? I clone the repository?
21:13:18	<kenaryn>	allright.
21:13:18	<tomsmeding>	kenaryn: sorry for not knowing what maerwald knows about musl :p
21:13:23	<kenaryn>	lol
21:13:33	<maerwald>	you may also need to run `cabal update` beforehand...
21:13:42	<maerwald>	I'm not sure if ghcup installed cabal for you
21:13:54	<maerwald>	run: ~/.ghcup/bin/ghcup install cabal
21:13:56	<tomsmeding>	maerwald: it installs cabal by default but it does _not_ run cabal update
21:13:56	<maerwald>	to make sure
21:14:11	<maerwald>	tomsmeding: what installs cabal?
21:14:16	<tomsmeding>	ghcup install script, iirc
21:14:20	<maerwald>	it does run cabal update
21:14:23	<tomsmeding>	oh
21:14:28	<maerwald>	but since the script failed, I'm not sure at which stage it was
21:14:35	<tomsmeding>	ah right
21:14:36	<maerwald>	ususally it downloads cabal after ghc
21:14:40	<maerwald>	so it's probably not there
21:15:10	<kenaryn>	I'm lost again, do I have to run ~/.ghcup/bin/ghcup cabal update before stack2cabal-linux?
21:15:21	→	slac41324 joins (~slack1256@191.125.99.64)
21:15:31	<maerwald>	just: cabal update
21:15:46	<kenaryn>	anywhere or in a specific directory?
21:15:52	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
21:15:57	<tomsmeding>	anywhere
21:16:09	<kenaryn>	allright, thanks.
21:16:18	<tomsmeding>	downloads package index so it knows what haskell packages exist, with what versions, what dependencies, etc
21:16:26	<kenaryn>	I'm a noob all the way through.
21:18:04	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:18:18	×	slack1256 quits (~slack1256@181.42.55.163) (Ping timeout: 276 seconds)
21:19:19	×	mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
21:20:06	→	FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
21:21:59	→	DNH joins (~DNH@2a02:8109:b740:2c4:18c:e9ac:d2a3:b6)
21:22:39	×	kenran quits (~kenran@200116b82bd4b3000144a4adfb536ead.dip.versatel-1u1.de) (Quit: WeeChat info:version)
21:23:20	<kenaryn>	the granule project try automatically to install GHC 8.8.3 before each command is run within its directory so when typing `~/path/to/stack2cabal-linux` from within it interrupt the install :/
21:23:26	<[exa]>	tomsmeding: y u wield the @ weapon all time tho
21:23:44	<tomsmeding>	[exa]: shapr gave it to me but didn't give me op in chanserv
21:23:54	<tomsmeding>	so whenever I either drop it or log off, it's gone
21:24:04	<tomsmeding>	and it's so precioussss
21:24:05	<shapr>	:-D
21:24:07	<[exa]>	ah ok
21:24:44	<[exa]>	I confess I like this vulgar display of power.
21:24:54	<tomsmeding>	but I need to update my server at some point anyway :p
21:25:53	<tomsmeding>	in fact lemme do that now
21:26:27	<[exa]>	hm good idea
21:26:31	[exa]	-> apt
21:27:17	→	justsomeguy joins (~justsomeg@user/justsomeguy)
21:27:30	<maerwald>	kenaryn: we have to teach stack than to use that newly installed GHC
21:28:23	<maerwald>	kenaryn: add this https://paste.tomsmeding.com/cb10t1UL to the stack.yaml file
21:28:32	<kenaryn>	I run stack2cabal-linux from within, modified the cabal.project and run cabal build but returned cabal: No targets given and there is no package in the current directory. Use
21:28:35	<kenaryn>	the target 'all' for all packages in the project or specify packages or
21:28:38	<maerwald>	and then make sure to run: source ~/.ghcup/env
21:28:45	<maerwald>	ah yeah
21:28:49	<maerwald>	you need to run: cabal build all
21:29:21	→	ircbrowse_tom joins (~ircbrowse@2a01:4f8:1c1c:9319::1)
21:29:23	Server	sets mode +Cnt
21:29:57	<kenaryn>	Allright, I'll look for the yaml before attempting to build
21:31:59	<kenaryn>	cabal: Cannot find the program 'ghc'. User-specified path 'ghc-8.8.4' does not
21:32:04	<kenaryn>	refer to an executable and the program is not on the system path.
21:32:46	<maerwald>	kenaryn: <maerwald> and then make sure to run: source ~/.ghcup/env
21:33:04	<kenaryn>	yes I forgot I'm sorry.
21:33:29	<kenaryn>	my irc client is in the terminal so I need to quit and rejoin after sourcing the file.
21:33:36	×	kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
21:33:53	<tomsmeding>	🤔
21:34:39	→	kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
21:35:07	<kenaryn>	Same error nevertheless. I don't understand why.
21:36:15	×	justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
21:36:56	<tomsmeding>	screenshot?
21:37:19	×	tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
21:37:36	<kenaryn>	`which ghc` returns `/bin/ghc` which suggests cabal try to run my 9.0.2 GHC installed with the package manager
21:37:57	<kenaryn>	does system-ghc: true did make it bind with it?
21:38:02	→	tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
21:38:49	<geekosaur>	system-ghc: true makes it search $PATH. your $PATH apparently has /bin before ~/.ghcup/bin
21:39:03	<kenaryn>	https://0x0.st/oaH7.png
21:39:22	<tomsmeding>	kenaryn: export PATH="$HOME/.ghcup/bin:$PATH"
21:39:29	<tomsmeding>	not sure why the .ghcup/env thing didn't work
21:39:52	<maerwald>	they didn't type it in the correct shell I assume
21:40:23	<maerwald>	because they closed their IRC client, which is on a different unrelated tab
21:40:39	<maerwald>	that's the evidence.
21:40:47	<kenaryn>	`/bin/ghcup --version` reports 9.0.2 so it is indeed the installed version via voidlinux package manager, not the one installed with ghcup!
21:41:15	<maerwald>	kenaryn: you didn't run 'source ~/.ghcup/env'
21:41:21	<kenaryn>	you can say "he", I'm not "they" :D
21:41:33	<kenaryn>	I'll check it right away
21:41:48	<tomsmeding>	kenaryn: that source command only has effect on your current shell session
21:42:36	<kenaryn>	arf did not know about it, I thought switching all my exports from ~/.zshrc to ~/.zshenv prevented me from that kind of inconvenience
21:42:58	<tomsmeding>	'source' is literally "execute this file of shell commands now here"
21:43:24	<kenaryn>	Oh my cabal build all is actually running
21:43:30	<tomsmeding>	ö
21:45:04	<kenaryn>	It returns a final error but perhaps not blocking: cabal: Failed to build entropy-0.4.1.6 (which is required by exe:grls from
21:45:07	<kenaryn>	granule-language-server-0.9.0.0). The failure occurred during the configure
21:45:09	<kenaryn>	step. The build process segfaulted (i.e. SIGSEGV).
21:45:25	<tomsmeding>	O.o
21:45:46	<kenaryn>	lol, did not see this smiley from last century
21:46:16	<maerwald>	entropy needs to build some C sources
21:46:20	×	__monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:46:37	<tomsmeding>	surely it can do better than _segfault_ if something is not as it expects
21:47:26	<maerwald>	well, that's the price you pay for picking voidlinux musl
21:47:51	<kenaryn>	Yes, musl has serious drawbacks that's boring.
21:48:36	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
21:48:36	<kenaryn>	so stack2cabal-linux replaced the need for stack setup && stack install is that correct?
21:48:51	×	nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds)
21:48:53	<maerwald>	yeah, kinda
21:49:01	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:49:37	×	michalz quits (~michalz@185.246.204.107) (Remote host closed the connection)
21:49:47	<kenaryn>	Allright, I'll try to uninstall the other GHC (i.e. 9.0.2) and rerun a build
21:51:10	×	bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
21:51:24	<kenaryn>	Maybe that other cabal version (installed with package manager too) causes a conflict. I'll remove it too.
21:53:59	×	kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
21:54:52	×	Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
21:56:42	×	MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
21:58:25	→	_xor joins (~xor@72.49.198.103)
21:59:53	→	kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
22:00:49	×	takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:01:13	<kenaryn>	Now there is an error with version of 'happy' program that could not be determined besides the entropy build failed, so I wanted to thank you a lot tomsmeding and maerwald you are very kind, skilled, resourceful and patient above all.
22:01:53	<kenaryn>	So congratulations to you, my first contact with Haskell community was neverthess very pleasing despite not successfully building my damn compiler.
22:02:51	<maerwald>	build-tools like happy usually don't need to be installed explicitly
22:03:26	<kenaryn>	Configuring library for haskell-src-exts-1.22.0..
22:03:26	<kenaryn>	cabal: The program 'happy' version >=1.19 is required but the version of
22:03:26	<kenaryn>	/home/aurele/.cabal/store/ghc-8.8.4/happy-1.19.12-e-happy-499d6ef10e7cb1f80d76dc2055d59c217a3d5496cd59318ff322fd2f7224c269/bin/happy
22:03:29	<kenaryn>	could not be determined.
22:03:54	<maerwald>	what happens if you run it manually
22:04:14	<kenaryn>	It is the really first time I fail to merely install a compiler, that's such disturbing.
22:04:32	<maerwald>	because you picked the hardest path: a niche distro with a niche libc
22:04:50	→	vicfred joins (~vicfred@user/vicfred)
22:05:11	<kenaryn>	I thought voidlinux was a gem. And couldn't bear debian testing any longer.
22:05:25	<kenaryn>	How I run happy you mean? It's not even installed.
22:05:37	<maerwald>	I mean /home/aurele/.cabal/store/ghc-8.8.4/happy-1.19.12-e-happy-499d6ef10e7cb1f80d76dc2055d59c217a3d5496cd59318ff322fd2f7224c269/bin/happy
22:06:18	<kenaryn>	It returns: `[1] 23579 segmentation fault`
22:06:23	<maerwald>	nice :D
22:06:28	<kenaryn>	lol
22:06:40	<maerwald>	pick a normal distro and reinstall your system
22:07:46	<kenaryn>	I may switch to dragonflyBSD at this point.
22:07:51	<maerwald>	oh god
22:08:05	<maerwald>	good luck with haskell there
22:08:24	<kenaryn>	lol. I can't go back to a non-rolling distro.
22:08:42	<maerwald>	try fedora
22:08:58	<maerwald>	it's effectively rolling, given how often stuff breaks
22:09:05	<yushyin>	lol
22:13:00	→	Luj4 joins (~Luj@mail.julienmalka.me)
22:13:33	<jackdk>	does Nix work on voidlinux?
22:13:42	<maerwald>	omg, please don't
22:13:45	<jackdk>	like if we're doubling down on the weird
22:14:03	<jackdk>	(and I say that as a great fan of Nix)
22:16:31	→	machinedgod joins (~machinedg@24.105.81.50)
22:16:40	→	codaraxis joins (~codaraxis@user/codaraxis)
22:17:50	×	Lears quits (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds)
22:19:00	×	chomwitt quits (~chomwitt@2a02:587:dc15:4f00:52df:b01:5d3:8b9e) (Ping timeout: 260 seconds)
22:21:18	×	acidjnk quits (~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:23:16	×	chele quits (~chele@user/chele) (Remote host closed the connection)
22:26:27	×	titibandit quits (~thibaut@xdsl-78-35-152-200.nc.de) (Remote host closed the connection)
22:26:27	×	DNH quits (~DNH@2a02:8109:b740:2c4:18c:e9ac:d2a3:b6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:26:38	×	sudden quits (~cat@user/sudden) (Ping timeout: 260 seconds)
22:26:50	→	tfeb joins (~tfb@88.98.95.237)
22:26:51	→	DNH joins (~DNH@2a02:8109:b740:2c4:18c:e9ac:d2a3:b6)
22:31:00	×	DNH quits (~DNH@2a02:8109:b740:2c4:18c:e9ac:d2a3:b6) (Ping timeout: 250 seconds)
22:39:13	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
22:39:58	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:43:19	×	ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec)
22:44:21	×	slac41324 quits (~slack1256@191.125.99.64) (Ping timeout: 256 seconds)
22:47:24	→	stackdroid18 joins (14094@user/stackdroid)
22:48:00	×	tfeb quits (~tfb@88.98.95.237) (Quit: died)
22:53:33	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
22:54:56	→	tfeb joins (~tfb@88.98.95.237)
23:01:32	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:01:39	×	tfeb quits (~tfb@88.98.95.237) (Quit: died)
23:04:54	×	codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving)
23:07:26	×	machinedgod quits (~machinedg@24.105.81.50) (Read error: Connection reset by peer)
23:07:52	→	machinedgod joins (~machinedg@24.105.81.50)
23:13:03	×	jmd_ quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
23:15:07	→	abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
23:15:44	→	jmdaemon joins (~jmdaemon@user/jmdaemon)
23:18:17	×	nbms^ quits (~nbms@128-092-160-234.biz.spectrum.com) (Ping timeout: 260 seconds)
23:18:55	×	dhil quits (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
23:19:44	→	yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net)
23:20:30	×	jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds)
23:20:46	×	m1dnight quits (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 272 seconds)
23:21:34	→	m1dnight joins (~christoph@78-22-9-5.access.telenet.be)
23:23:06	×	forell quits (~forell@user/forell) (Ping timeout: 276 seconds)
23:24:35	×	yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
23:25:07	→	hexology- joins (~hexology@user/hexology)
23:26:32	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
23:30:49	→	forell joins (~forell@user/forell)
23:36:52	×	kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
23:37:10	→	kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
23:39:50	hexology-	is now known as hexology
23:39:59	hexology	is now known as hexology-
23:40:01	hexology-	is now known as hexology
23:42:01	→	[Leary] joins (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
23:52:32	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:55:36	×	abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
23:57:53	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)

All times are in UTC on 2022-05-17.