2022/04/18

2022-04-18 00:00:22 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds)
2022-04-18 00:04:17 +0200juri_(~juri@178.63.35.222) (Ping timeout: 256 seconds)
2022-04-18 00:04:42 +0200juri_(~juri@178.63.35.222)
2022-04-18 00:07:50 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 00:08:10 +0200ZanpakutoB(~Zanpakuto@2405:204:a399:44f6:7b57:7903:9fbc:7a5c) (Ping timeout: 250 seconds)
2022-04-18 00:10:26 +0200renzhi(~xp@2607:fa49:6500:b100::19a0)
2022-04-18 00:11:07 +0200Pickchea(~private@user/pickchea) (Ping timeout: 246 seconds)
2022-04-18 00:11:39 +0200DNH(~DNH@8.44.0.68) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-04-18 00:11:54 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-04-18 00:13:21 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-04-18 00:14:14 +0200 <jerry99> @hoogle (b -> m c) -> a -> m b) -> a -> m c
2022-04-18 00:14:14 +0200 <lambdabot> package base
2022-04-18 00:14:15 +0200 <lambdabot> package bytestring
2022-04-18 00:14:15 +0200 <lambdabot> package containers
2022-04-18 00:14:39 +0200DNH(~DNH@8.44.0.68)
2022-04-18 00:14:56 +0200 <jerry99> is there something like this? I might have gotten that type wrong . for functions returning monadic value
2022-04-18 00:15:07 +0200 <jerry99> :t (.)
2022-04-18 00:15:09 +0200 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2022-04-18 00:15:11 +0200 <geekosaur> you missed a paren so it misparsed it
2022-04-18 00:15:17 +0200rburkholder(~blurb@96.45.2.121)
2022-04-18 00:15:22 +0200 <jerry99> ah
2022-04-18 00:15:30 +0200redb(~nmh@136.49.49.211)
2022-04-18 00:15:32 +0200 <jerry99> @hoogle (b -> m c) -> (a -> m b) -> a -> m c
2022-04-18 00:15:33 +0200 <lambdabot> Control.Monad (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2022-04-18 00:15:33 +0200 <lambdabot> System.Directory.Internal.Prelude (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2022-04-18 00:15:33 +0200 <lambdabot> Control.Monad.Compat (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2022-04-18 00:15:54 +0200 <jerry99> :t (>=>)
2022-04-18 00:15:55 +0200 <lambdabot> Monad m => (a -> m b) -> (b -> m c) -> a -> m c
2022-04-18 00:15:58 +0200 <jerry99> neat
2022-04-18 00:18:47 +0200DNH(~DNH@8.44.0.68) (Ping timeout: 240 seconds)
2022-04-18 00:19:50 +0200xff0x_(~xff0x@om126033110024.35.openmobile.ne.jp)
2022-04-18 00:19:52 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 00:20:41 +0200 <jerry99> so this works for (\x -> f =<< g x), but and what if I have something like this? (\x -> f <$> g x)?
2022-04-18 00:21:45 +0200 <jerry99> this worked but I'm not sure it is an improvement. ((pure . f) <=< g)
2022-04-18 00:22:27 +0200 <jerry99> @pl (\x -> f <$> g x)
2022-04-18 00:22:27 +0200 <lambdabot> (f <$>) . g
2022-04-18 00:22:40 +0200 <jerry99> oh lol
2022-04-18 00:23:07 +0200 <dolio> But use `fmap f` of course.
2022-04-18 00:23:34 +0200 <dolio> Sectioning (<$>) (on the left) is silly.
2022-04-18 00:23:40 +0200 <jerry99> yeah
2022-04-18 00:23:51 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-04-18 00:25:19 +0200 <jerry99> too much?
2022-04-18 00:25:21 +0200 <jerry99> hex2ip = fmap (intercalate ".") . mapM (fmap show . readAsHex) . chunksOf 2
2022-04-18 00:30:27 +0200abiss27(~abiss27@user/abiss) (Quit: Lost terminal)
2022-04-18 00:30:51 +0200 <dolio> I think it's all right.
2022-04-18 00:32:48 +0200redb(~nmh@136.49.49.211)
2022-04-18 00:32:58 +0200 <dolio> Some people dislike that sort of thing more than I do, though.
2022-04-18 00:33:47 +0200mixfix41(~sdenynine@user/mixfix41)
2022-04-18 00:34:19 +0200chomwitt(~chomwitt@ppp-94-69-27-34.home.otenet.gr) (Ping timeout: 256 seconds)
2022-04-18 00:40:04 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-04-18 00:40:04 +0200rburkholderofftherock
2022-04-18 00:40:07 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 00:40:21 +0200crazazy(~user@2001:1c00:831:4700:87ff:c2e8:bcc3:e6aa) (Remote host closed the connection)
2022-04-18 00:41:00 +0200RegularTetragon(~vince@199.168.73.169)
2022-04-18 00:41:36 +0200 <RegularTetragon> Is haskell.org/hackage/hoogle down for anyone else?
2022-04-18 00:42:19 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-18 00:42:35 +0200offtherockrburkholder
2022-04-18 00:42:58 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-18 00:43:28 +0200 <dolio> hackage is up, but haskell.org seems down.
2022-04-18 00:44:18 +0200 <geekosaur> https://mail.haskell.org/pipermail/ghc-devs/2022-April/020658.html
2022-04-18 00:44:31 +0200yaroot_(~yaroot@134.27.31.150.dy.iij4u.or.jp)
2022-04-18 00:44:45 +0200m5zs7k(aquares@web10.mydevil.net) (Quit: m5zs7k)
2022-04-18 00:44:46 +0200redb(~nmh@136.49.49.211)
2022-04-18 00:44:57 +0200 <geekosaur> they're working on it, from what I've seen elsewhere
2022-04-18 00:45:10 +0200 <RegularTetragon> Hmm gotcha
2022-04-18 00:45:10 +0200 <hpc> maybe it's hosted on atlassian's servers :D
2022-04-18 00:45:19 +0200 <RegularTetragon> Ohh dang is Atlassian down?
2022-04-18 00:45:21 +0200 <RegularTetragon> I didn't notice
2022-04-18 00:46:07 +0200 <RegularTetragon> So I'm trying to install haskell-language-server rn which is kinda hard without having ghcup
2022-04-18 00:46:11 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-04-18 00:46:17 +0200 <RegularTetragon> I'm trying to do it through stack now, but I'm not sure which stack.yaml file to use
2022-04-18 00:47:31 +0200yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 260 seconds)
2022-04-18 00:47:32 +0200yaroot_yaroot
2022-04-18 00:47:59 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
2022-04-18 00:48:47 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 00:48:52 +0200 <RegularTetragon> https://haskell-language-server.readthedocs.io/en/latest/installation.html#installation-from-source is the guide I'm following, and it just says to run, in my case `stack install --yaml stack-9.0.2.yaml haskell-language-server`
2022-04-18 00:49:04 +0200 <RegularTetragon> ofc I don't have a stack-9.0.2-yaml so
2022-04-18 00:49:13 +0200 <RegularTetragon> Oh derp, I probably need to actually *download* the source
2022-04-18 00:49:35 +0200cosimone`(~user@93-47-228-79.ip115.fastwebnet.it) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2022-04-18 00:50:32 +0200kenran(~kenran@200116b82ba94b004c8de2398adb39d3.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-04-18 00:51:35 +0200chenqisu1(~chenqisu1@183.217.200.38)
2022-04-18 00:53:47 +0200acidjnk(~acidjnk@p200300d0c722df980150968fc3b616d7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-04-18 00:54:07 +0200slaydr(~slaydr@193.19.109.211) (Ping timeout: 240 seconds)
2022-04-18 00:55:00 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-04-18 00:56:39 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-18 00:57:06 +0200 <RegularTetragon> Yeah it's building now I'm just dumb lol
2022-04-18 01:00:47 +0200redb(~nmh@136.49.49.211)
2022-04-18 01:04:47 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 01:06:07 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-04-18 01:08:40 +0200slaydr(~slaydr@75.164.21.11)
2022-04-18 01:15:49 +0200abiss27(~abiss27@user/abiss)
2022-04-18 01:16:23 +0200abiss27(~abiss27@user/abiss) (Client Quit)
2022-04-18 01:20:41 +0200redb(~nmh@136.49.49.211)
2022-04-18 01:22:00 +0200RegularTetragon(~vince@199.168.73.169) (Ping timeout: 248 seconds)
2022-04-18 01:25:02 +0200abiss27(~abiss27@user/abiss)
2022-04-18 01:26:29 +0200 <jerry99> Stackage Nightly 2022-04-16 (ghc-9.2.2) <- that is the version with Record Dot Syntax, isn't it? any reason why I shouldn't use it? only care about compiling for linux and windows
2022-04-18 01:27:20 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-18 01:28:53 +0200 <sm> 9.2.2 is pretty good now, I would use it if you can
2022-04-18 01:29:28 +0200 <jerry99> no major issues on windows?
2022-04-18 01:30:11 +0200 <sm> there probably are some, but they might not affect you
2022-04-18 01:30:59 +0200 <sm> the issue tracker should have the latest
2022-04-18 01:31:49 +0200RegularTetragon(~vince@199.168.73.169)
2022-04-18 01:36:10 +0200img(~img@user/img)
2022-04-18 01:37:19 +0200 <geekosaur> the only windows issues I'm aware of have always been there
2022-04-18 01:38:11 +0200 <geekosaur> and the nightly's only problem is it's likely to be missing some stuff that's in the ltses that hasn't been ported over to 9.2.2 yet
2022-04-18 01:40:11 +0200zebrag(~chris@user/zebrag)
2022-04-18 01:41:58 +0200redb(~nmh@136.49.49.211)
2022-04-18 01:42:16 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-18 01:43:38 +0200img(~img@user/img)
2022-04-18 01:46:49 +0200 <jerry99> neat.. I'll give it a try
2022-04-18 01:47:01 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 01:49:39 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-18 01:49:39 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-18 01:49:39 +0200wroathe(~wroathe@user/wroathe)
2022-04-18 01:51:13 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2022-04-18 01:52:10 +0200mvk(~mvk@2607:fea8:5ce3:8500::85f6) (Ping timeout: 250 seconds)
2022-04-18 01:54:34 +0200kaph(~kaph@151.57.116.124)
2022-04-18 01:57:06 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-04-18 01:57:48 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:03:36 +0200ishaanv[m]ishaan[m]
2022-04-18 02:05:13 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 02:06:05 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:08:47 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-04-18 02:09:22 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 02:09:56 +0200ishaan(~ishaan@122.161.53.177) (Quit: Client closed)
2022-04-18 02:10:27 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-04-18 02:10:49 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 02:10:52 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-04-18 02:11:06 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:12:27 +0200abiss27(~abiss27@user/abiss) (Quit: hasta la vista... tchau!)
2022-04-18 02:12:27 +0200RegularTetragon(~vince@199.168.73.169) (Ping timeout: 260 seconds)
2022-04-18 02:13:16 +0200xff0x_(~xff0x@om126033110024.35.openmobile.ne.jp) (Ping timeout: 246 seconds)
2022-04-18 02:15:43 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 02:20:01 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-04-18 02:21:08 +0200kaph(~kaph@151.57.116.124) (Read error: Connection reset by peer)
2022-04-18 02:21:26 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:21:37 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-04-18 02:22:07 +0200kaph(~kaph@151.57.116.124)
2022-04-18 02:23:25 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-04-18 02:26:13 +0200stackdroid18(14094@user/stackdroid)
2022-04-18 02:26:44 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-04-18 02:26:50 +0200redb(~nmh@136.49.49.211) (Ping timeout: 250 seconds)
2022-04-18 02:27:38 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:31:52 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-18 02:34:12 +0200awshua(~awshua@111.sub-174-204-193.myvzw.com)
2022-04-18 02:39:08 +0200EsoAlgo(~EsoAlgo@129.146.136.145)
2022-04-18 02:39:30 +0200 <abastro[m]> Yea 9.2.2 is usable
2022-04-18 02:39:39 +0200 <abastro[m]> Unless you are me and experiencing subtle crash problems
2022-04-18 02:40:00 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-04-18 02:40:08 +0200 <jerry99> ghc pr ghci crash, or programs that you compile with ghc?
2022-04-18 02:40:11 +0200 <jerry99> or*
2022-04-18 02:40:27 +0200 <abastro[m]> Programs compiled with GHC
2022-04-18 02:40:38 +0200 <jerry99> hmm
2022-04-18 02:40:43 +0200 <jerry99> what OS?
2022-04-18 02:41:56 +0200 <abastro[m]> Linux
2022-04-18 02:41:58 +0200 <jerry99> I don't think I've ever experienced my haskell program crashing (as in segfaulting without an exception), except when I fiddled with FFI
2022-04-18 02:42:12 +0200 <abastro[m]> Well, if it matters, ubuntu
2022-04-18 02:42:13 +0200 <abastro[m]> That is the thing
2022-04-18 02:42:22 +0200 <abastro[m]> It is hard to pinpoint the reason
2022-04-18 02:42:27 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:42:30 +0200 <geekosaur> I spent most of a day trying to reproduce it without success
2022-04-18 02:42:33 +0200 <abastro[m]> Just somehow, some combination of program& ghc makes it crash
2022-04-18 02:42:41 +0200 <geekosaur> it'sheap corruption detected during a gc
2022-04-18 02:42:41 +0200 <abastro[m]> Within certain condition
2022-04-18 02:43:18 +0200 <abastro[m]> geekosaur: Did you try loading from XMONAD_CONFIG_DIR?
2022-04-18 02:43:22 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2022-04-18 02:43:25 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-04-18 02:43:27 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-04-18 02:43:52 +0200 <geekosaur> not yet, I had to leave shortly thereafter and haven't had a chance this evening, and probably won't get a chance tomorrow as I'll be out and about
2022-04-18 02:44:40 +0200 <abastro[m]> I see, this bug is quite sneaky tbh
2022-04-18 02:45:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 02:46:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 02:46:52 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 02:50:15 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-04-18 02:50:21 +0200 <awshua> Is www.haskel.org down?
2022-04-18 02:50:38 +0200 <awshua> *www.haskell.org
2022-04-18 02:51:02 +0200 <exarkun> http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/625c69cdfcbdd204d4df5603
2022-04-18 02:51:24 +0200zaquest(~notzaques@5.130.79.72)
2022-04-18 02:51:30 +0200 <awshua> Thanks
2022-04-18 02:54:36 +0200xff0x_(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-04-18 02:54:36 +0200stackdroid18(14094@user/stackdroid) ()
2022-04-18 02:56:56 +0200redb(~nmh@136.49.49.211)
2022-04-18 02:57:51 +0200awshua(~awshua@111.sub-174-204-193.myvzw.com) (Remote host closed the connection)
2022-04-18 02:58:46 +0200 <geekosaur> just tried it, still doesn't reproduce
2022-04-18 03:01:06 +0200mbuf(~Shakthi@122.162.139.142)
2022-04-18 03:01:13 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 03:01:36 +0200andrey_(~andrey@p200300dbcf03db006e147a6ae5b6765f.dip0.t-ipconnect.de)
2022-04-18 03:03:05 +0200 <sm> nice to see the status page working 👍️
2022-04-18 03:03:47 +0200andrey(~andrey@p200300dbcf4bfe0086461f96dc127065.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-04-18 03:04:13 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2022-04-18 03:04:48 +0200vicfred(~vicfred@user/vicfred)
2022-04-18 03:05:09 +0200redb(~nmh@136.49.49.211)
2022-04-18 03:07:57 +0200 <abastro[m]> Hmm I wonder if it is my strange system setup
2022-04-18 03:08:03 +0200 <abastro[m]> I mean, I think my setup is normal
2022-04-18 03:08:06 +0200cheater(~Username@user/cheater)
2022-04-18 03:08:21 +0200 <abastro[m]> But I guess somehow it can be considered awkward
2022-04-18 03:08:36 +0200 <abastro[m]> Perhaps it is underlying ubuntu not liking something?
2022-04-18 03:09:16 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 03:10:38 +0200redb(~nmh@136.49.49.211)
2022-04-18 03:10:56 +0200 <geekosaur> no idea :(
2022-04-18 03:12:24 +0200 <geekosaur> do you set any other of the XMONAD_*_DIR variables?
2022-04-18 03:13:32 +0200deadmarshal_(~deadmarsh@95.38.117.118)
2022-04-18 03:14:29 +0200 <abastro[m]> Yep
2022-04-18 03:15:11 +0200 <abastro[m]> All of:
2022-04-18 03:15:11 +0200 <abastro[m]> XMONAD_CONFIG_DIR,
2022-04-18 03:15:11 +0200 <abastro[m]> XMONAD_CACHE_DIR,
2022-04-18 03:15:11 +0200 <abastro[m]> XMONAD_DATA_DIR
2022-04-18 03:17:40 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 03:17:44 +0200deadmarshal_(~deadmarsh@95.38.117.118) (Ping timeout: 248 seconds)
2022-04-18 03:19:54 +0200 <geekosaur> still not reproducing :(
2022-04-18 03:20:05 +0200 <geekosaur> can you pastebin what they're set to?
2022-04-18 03:20:09 +0200 <geekosaur> @where paste
2022-04-18 03:20:09 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-04-18 03:22:18 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds)
2022-04-18 03:22:34 +0200redb(~nmh@136.49.49.211)
2022-04-18 03:26:09 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-18 03:26:48 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-18 03:27:05 +0200 <geekosaur> aaand my sleep monitor just started whining because I'm not in bed yet. will check back tomorrow morning
2022-04-18 03:28:57 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 03:29:19 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-18 03:29:36 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 03:29:56 +0200 <abastro[m]> Oh, I see
2022-04-18 03:30:34 +0200redb(~nmh@136.49.49.211)
2022-04-18 03:36:10 +0200jf_(~jf@bras-base-gtnupq1404w-grc-40-184-145-232-206.dsl.bell.ca)
2022-04-18 03:47:50 +0200abastro(~abab9579@220.75.216.63) ()
2022-04-18 03:47:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 03:48:36 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 03:49:16 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 04:01:07 +0200andrey__(~andrey@p200300dbcf08ce00369dc5da8f950839.dip0.t-ipconnect.de)
2022-04-18 04:03:36 +0200andrey_(~andrey@p200300dbcf03db006e147a6ae5b6765f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-04-18 04:03:47 +0200 <statusbot> Status update: There is a hardware issue with our server. Our service provider is working on a fix, but things will likely not be resolved until Monday. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/625c69cdfcbdd204d4df5603
2022-04-18 04:03:53 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-18 04:06:38 +0200deadmarshal_(~deadmarsh@95.38.117.118)
2022-04-18 04:10:47 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-04-18 04:11:21 +0200deadmarshal_(~deadmarsh@95.38.117.118) (Ping timeout: 256 seconds)
2022-04-18 04:11:57 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-18 04:11:57 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-18 04:11:57 +0200wroathe(~wroathe@user/wroathe)
2022-04-18 04:14:41 +0200frost(~frost@user/frost)
2022-04-18 04:15:06 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-18 04:16:07 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-04-18 04:17:28 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2022-04-18 04:19:29 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-04-18 04:23:18 +0200jerry99(~339ea5e9@cerf.good1.com) (Quit: CGI:IRC)
2022-04-18 04:24:10 +0200jerry99(~339ea5e9@cerf.good1.com)
2022-04-18 04:24:20 +0200jerry99(~339ea5e9@cerf.good1.com) (Client Quit)
2022-04-18 04:28:44 +0200jerry99(~339ea5e9@cerf.good1.com)
2022-04-18 04:28:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 04:32:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 04:33:47 +0200Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-04-18 04:36:15 +0200Batzy(~quassel@user/batzy)
2022-04-18 04:37:18 +0200jf_(~jf@bras-base-gtnupq1404w-grc-40-184-145-232-206.dsl.bell.ca) (Quit: Leaving)
2022-04-18 04:39:59 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 04:40:07 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-04-18 04:42:21 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-04-18 04:42:25 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-18 04:42:25 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-18 04:42:25 +0200wroathe(~wroathe@user/wroathe)
2022-04-18 04:43:28 +0200AlexNoo_(~AlexNoo@178.34.150.20)
2022-04-18 04:43:35 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-04-18 04:45:09 +0200AlexNoo(~AlexNoo@178.34.150.20) (Read error: Connection reset by peer)
2022-04-18 04:45:30 +0200lottaquestions(~nick@2607:fa49:5041:a200:e015:4a6a:8224:d2c6) (Remote host closed the connection)
2022-04-18 04:45:55 +0200lottaquestions(~nick@2607:fa49:5041:a200:5fb5:5ae2:e3c1:daee)
2022-04-18 04:46:29 +0200kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
2022-04-18 04:46:36 +0200alphabeta(~kilolympu@31.205.200.235)
2022-04-18 04:51:43 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 04:55:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-04-18 05:03:29 +0200kaph(~kaph@151.57.116.124) (Read error: Connection reset by peer)
2022-04-18 05:04:04 +0200kaph(~kaph@151.82.145.67)
2022-04-18 05:04:40 +0200russruss(~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds))
2022-04-18 05:04:59 +0200russruss(~russruss@my.russellmcc.com)
2022-04-18 05:13:39 +0200deadmarshal_(~deadmarsh@95.38.117.118)
2022-04-18 05:13:47 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-04-18 05:18:08 +0200inversed(~inversed@94.13.111.159) (Ping timeout: 272 seconds)
2022-04-18 05:18:16 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 248 seconds)
2022-04-18 05:20:24 +0200deadmarshal_(~deadmarsh@95.38.117.118) (Ping timeout: 248 seconds)
2022-04-18 05:21:44 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 05:22:43 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 05:24:50 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-04-18 05:25:08 +0200frost(~frost@user/frost)
2022-04-18 05:27:51 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-18 05:31:15 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-04-18 05:38:50 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 05:40:03 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-18 05:44:08 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-18 05:44:46 +0200cdman(~dcm@27.2.217.49)
2022-04-18 05:44:46 +0200cdman(~dcm@27.2.217.49) (Changing host)
2022-04-18 05:44:46 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-18 05:45:16 +0200inversed(~inversed@94.13.111.159)
2022-04-18 05:54:49 +0200benin(~benin@183.82.204.110)
2022-04-18 05:55:15 +0200 <abastro[m]> `documentation: True` in cabal.project does not provide documentation for code.. guess it is distinct from -haddock :(
2022-04-18 05:55:28 +0200pagnol(~user@014198154145.ctinets.com)
2022-04-18 05:55:56 +0200 <abastro[m]> I guess I cannot have `-haddock` on by default.
2022-04-18 05:58:48 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-04-18 06:01:20 +0200 <dmj`> any recommendations on a javascript generation library?
2022-04-18 06:01:35 +0200 <dmj`> thinking jmacro is the way to go
2022-04-18 06:02:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-04-18 06:02:57 +0200MacbethwinEdwin
2022-04-18 06:03:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 06:03:34 +0200 <dmj`> or language-javascript
2022-04-18 06:08:52 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2022-04-18 06:10:33 +0200 <zebrag> It is incredibly powerful what can be done with plain gadts, I'm thinking to the R/B-trees. I'm wondering what circumstances necessitate the full fledged dependent types.
2022-04-18 06:12:30 +0200 <zebrag> I say that mostly as a reminder, because I'm not sure I could understand the answer, right now
2022-04-18 06:21:16 +0200atrptoom^(~atrptoom@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-04-18 06:32:37 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
2022-04-18 06:42:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2022-04-18 06:45:28 +0200deadmarshal_(~deadmarsh@95.38.117.118)
2022-04-18 06:45:30 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 06:48:32 +0200cafkafk(~cafkafk@user/cafkafk)
2022-04-18 06:52:07 +0200kaph(~kaph@151.82.145.67) (Ping timeout: 240 seconds)
2022-04-18 06:56:46 +0200pagnol(~user@014198154145.ctinets.com) (Ping timeout: 246 seconds)
2022-04-18 07:00:49 +0200pagnol(~user@014198154145.ctinets.com)
2022-04-18 07:05:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 07:06:55 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-04-18 07:07:32 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-04-18 07:08:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 07:09:08 +0200coot(~coot@213.134.190.95)
2022-04-18 07:10:22 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 07:13:33 +0200awshua(~awshua@035-132-189-162.res.spectrum.com)
2022-04-18 07:19:29 +0200awshua(~awshua@035-132-189-162.res.spectrum.com) (Quit: Igloo IRC: https://iglooirc.com)
2022-04-18 07:24:14 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!)
2022-04-18 07:30:41 +0200 <mjrosenb> Is there an equivalent to Read for Data.Text?
2022-04-18 07:31:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 07:31:54 +0200pranaysashank(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2022-04-18 07:32:03 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-04-18 07:34:41 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-04-18 07:42:07 +0200cafkafk(~cafkafk@user/cafkafk) (Quit: WeeChat 3.3)
2022-04-18 07:42:34 +0200cafkafk(~cafkafk@user/cafkafk)
2022-04-18 07:43:48 +0200MasseR46(~MasseR@51.15.143.128) (*.net *.split)
2022-04-18 07:43:48 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split)
2022-04-18 07:43:48 +0200noctux(~noctux@user/noctux) (*.net *.split)
2022-04-18 07:43:48 +0200ornxka(~ornxka@user/ornxka) (*.net *.split)
2022-04-18 07:43:48 +0200koolazer(~koo@user/koolazer) (*.net *.split)
2022-04-18 07:43:48 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2022-04-18 07:43:48 +0200urdh(~urdh@user/urdh) (*.net *.split)
2022-04-18 07:43:48 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2022-04-18 07:43:48 +0200w1gz(~do@159.89.11.133) (*.net *.split)
2022-04-18 07:43:48 +0200martin02_(~silas@141.84.69.76) (*.net *.split)
2022-04-18 07:43:48 +0200[exa](exa@user/exa/x-3587197) (*.net *.split)
2022-04-18 07:43:48 +0200caubert(~caubert@136.244.111.235) (*.net *.split)
2022-04-18 07:43:48 +0200Dorkside6(~dorkside@208.190.197.222) (*.net *.split)
2022-04-18 07:43:48 +0200derelict(~derelict@user/derelict) (*.net *.split)
2022-04-18 07:43:48 +0200koz(~koz@121.99.240.58) (*.net *.split)
2022-04-18 07:43:55 +0200[exa](exa@srv3.blesmrt.net)
2022-04-18 07:43:55 +0200noctux(~noctux@user/noctux)
2022-04-18 07:44:05 +0200Dorkside6(~dorkside@208.190.197.222)
2022-04-18 07:44:06 +0200Teacup(~teacup@user/teacup)
2022-04-18 07:44:09 +0200caubert(~caubert@136.244.111.235)
2022-04-18 07:44:16 +0200koolazer(~koo@user/koolazer)
2022-04-18 07:44:17 +0200derelict(~derelict@user/derelict)
2022-04-18 07:44:23 +0200MasseR46(~MasseR@51.15.143.128)
2022-04-18 07:44:25 +0200martin02_(~silas@141.84.69.76)
2022-04-18 07:44:25 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-04-18 07:44:25 +0200ornxka(~ornxka@user/ornxka)
2022-04-18 07:44:25 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2022-04-18 07:44:28 +0200 <cafkafk> mjrosenb: I think so, (https://hackage.haskell.org/package/text-2.0/docs/Data-Text.html#t:Read)
2022-04-18 07:44:32 +0200koz(~koz@121.99.240.58)
2022-04-18 07:44:35 +0200urdh(~urdh@user/urdh)
2022-04-18 07:44:41 +0200w1gz(~do@159.89.11.133)
2022-04-18 07:45:07 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-04-18 07:46:54 +0200 <mjrosenb> cafkafk: that's saying that you can convert a String to Text via read, e.g. read "hello" :: Text == pack "hello"
2022-04-18 07:47:27 +0200deadmarshal_(~deadmarsh@95.38.117.118) (Ping timeout: 240 seconds)
2022-04-18 07:47:36 +0200 <mjrosenb> I want textRead :: TextRead a => Text -> a
2022-04-18 07:48:15 +0200noiobeforebed(~noiobefor@2001:470:69fc:105::1:3c2d) (*.net *.split)
2022-04-18 07:48:15 +0200Adran(adran@botters/adran) (*.net *.split)
2022-04-18 07:48:15 +0200remexre(~remexre@user/remexre) (*.net *.split)
2022-04-18 07:48:15 +0200nckx(~nckx@tobias.gr) (*.net *.split)
2022-04-18 07:48:15 +0200cln(sid336875@id-336875.ilkley.irccloud.com) (*.net *.split)
2022-04-18 07:48:15 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2022-04-18 07:48:15 +0200rune(sid21167@id-21167.ilkley.irccloud.com) (*.net *.split)
2022-04-18 07:48:15 +0200Hash(~Hash@hey.howstoned.ru) (*.net *.split)
2022-04-18 07:48:15 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (*.net *.split)
2022-04-18 07:48:15 +0200Deide(~deide@user/deide) (*.net *.split)
2022-04-18 07:48:15 +0200tafa(~tafa@user/tafa) (*.net *.split)
2022-04-18 07:48:15 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (*.net *.split)
2022-04-18 07:48:15 +0200noddy(~user@user/noddy) (*.net *.split)
2022-04-18 07:48:15 +0200corisco[m](~coriscokd@2001:470:69fc:105::1:dea6) (*.net *.split)
2022-04-18 07:48:15 +0200AdamS[m](~adamvalko@2001:470:69fc:105::1:d5f0) (*.net *.split)
2022-04-18 07:48:15 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (*.net *.split)
2022-04-18 07:48:16 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2) (*.net *.split)
2022-04-18 07:48:16 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split)
2022-04-18 07:48:16 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (*.net *.split)
2022-04-18 07:48:16 +0200euphrates[m](~euphrates@2001:470:69fc:105::fbb5) (*.net *.split)
2022-04-18 07:48:16 +0200DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886) (*.net *.split)
2022-04-18 07:48:16 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (*.net *.split)
2022-04-18 07:48:16 +0200jakalx(~jakalx@base.jakalx.net) (*.net *.split)
2022-04-18 07:48:16 +0200thonkpod_(~thonkpod@user/thonkpod) (*.net *.split)
2022-04-18 07:48:16 +0200farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2022-04-18 07:48:16 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200gonz_____(sid304396@id-304396.lymington.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200supersven(sid501114@id-501114.ilkley.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200lally(sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200dsal(sid13060@id-13060.lymington.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200ehamberg(sid18208@id-18208.hampstead.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
2022-04-18 07:48:16 +0200Arsen(arsen@managarm/dev/Arsen) (*.net *.split)
2022-04-18 07:48:16 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split)
2022-04-18 07:48:16 +0200nerdypepper(~nerdypepp@user/nerdypepper) (*.net *.split)
2022-04-18 07:48:16 +0200cls(~cls@chalk.lubutu.com) (*.net *.split)
2022-04-18 07:48:16 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2022-04-18 07:48:16 +0200telser(~quassel@user/telser) (*.net *.split)
2022-04-18 07:48:16 +0200tureba(~tureba@tureba.org) (*.net *.split)
2022-04-18 07:48:16 +0200ikke(~kevin@alpine/developer/ikke) (*.net *.split)
2022-04-18 07:48:16 +0200reda_(~reda@user/reda) (*.net *.split)
2022-04-18 07:48:23 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host)
2022-04-18 07:48:25 +0200rune(sid21167@id-21167.ilkley.irccloud.com)
2022-04-18 07:48:25 +0200Arsen(arsen@managarm/dev/Arsen)
2022-04-18 07:48:26 +0200supersven(sid501114@id-501114.ilkley.irccloud.com)
2022-04-18 07:48:27 +0200cls(~cls@chalk.lubutu.com)
2022-04-18 07:48:28 +0200reda(~reda@user/reda)
2022-04-18 07:48:30 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com)
2022-04-18 07:48:30 +0200ehamberg(sid18208@id-18208.hampstead.irccloud.com)
2022-04-18 07:48:30 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2022-04-18 07:48:31 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2022-04-18 07:48:32 +0200TMA(tma@twin.jikos.cz)
2022-04-18 07:48:39 +0200lally(sid388228@id-388228.uxbridge.irccloud.com)
2022-04-18 07:48:39 +0200gonz_____(sid304396@id-304396.lymington.irccloud.com)
2022-04-18 07:48:43 +0200dsal(sid13060@id-13060.lymington.irccloud.com)
2022-04-18 07:48:50 +0200farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2022-04-18 07:48:52 +0200telser(~quassel@user/telser)
2022-04-18 07:48:54 +0200cln(sid336875@id-336875.ilkley.irccloud.com)
2022-04-18 07:48:55 +0200thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2022-04-18 07:48:57 +0200tureba(~tureba@tureba.org)
2022-04-18 07:48:59 +0200thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Changing host)
2022-04-18 07:48:59 +0200thonkpod_(~thonkpod@user/thonkpod)
2022-04-18 07:49:08 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2022-04-18 07:49:09 +0200tafa(~tafa@user/tafa)
2022-04-18 07:49:10 +0200Hash(~Hash@hey.howstoned.ru)
2022-04-18 07:49:16 +0200nckx(~nckx@tobias.gr)
2022-04-18 07:49:21 +0200ikke(~kevin@alpine/developer/ikke)
2022-04-18 07:49:28 +0200remexre(~remexre@user/remexre)
2022-04-18 07:50:13 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2022-04-18 07:50:30 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2)
2022-04-18 07:51:02 +0200euphrates[m](~euphrates@2001:470:69fc:105::fbb5)
2022-04-18 07:51:11 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2022-04-18 07:51:13 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2022-04-18 07:51:16 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2022-04-18 07:51:25 +0200Adran(adran@botters/adran)
2022-04-18 07:52:54 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2022-04-18 07:52:54 +0200AdamS[m](~adamvalko@2001:470:69fc:105::1:d5f0)
2022-04-18 07:52:55 +0200corisco[m](~coriscokd@2001:470:69fc:105::1:dea6)
2022-04-18 07:53:40 +0200noiobeforebed(~noiobefor@2001:470:69fc:105::1:3c2d)
2022-04-18 07:54:06 +0200Deide(~deide@user/deide)
2022-04-18 07:54:07 +0200pagnol(~user@014198154145.ctinets.com) (Ping timeout: 240 seconds)
2022-04-18 07:55:08 +0200cafkafk(~cafkafk@user/cafkafk) (Quit: WeeChat 3.3)
2022-04-18 07:56:49 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-04-18 07:57:00 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-04-18 07:57:10 +0200DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886)
2022-04-18 08:02:27 +0200dlromw^(~dlromw@50-192-56-193-static.hfc.comcastbusiness.net)
2022-04-18 08:02:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-04-18 08:03:09 +0200califax(~califax@user/califx)
2022-04-18 08:14:48 +0200Pickchea(~private@user/pickchea)
2022-04-18 08:18:25 +0200chenqisu1(~chenqisu1@183.217.200.38) (Read error: Connection reset by peer)
2022-04-18 08:18:44 +0200chenqisu1(~chenqisu1@183.217.200.38)
2022-04-18 08:19:24 +0200chenqisu1(~chenqisu1@183.217.200.38) (Max SendQ exceeded)
2022-04-18 08:19:49 +0200chenqisu1(~chenqisu1@183.217.200.38)
2022-04-18 08:34:03 +0200mmhat(~mmh@55d48a03.access.ecotel.net)
2022-04-18 08:34:46 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 08:35:54 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-18 08:40:08 +0200acidjnk(~acidjnk@p200300d0c722df20b0b4ee78edd3ba7a.dip0.t-ipconnect.de)
2022-04-18 08:42:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 08:47:45 +0200fendor(~fendor@178.165.176.112.wireless.dyn.drei.com)
2022-04-18 08:49:00 +0200 <energizer> is there a catalog of applications of monoids somewhere?
2022-04-18 08:57:01 +0200chomwitt(~chomwitt@2a02:587:dc00:4900:2e92:53e5:cedf:6bf7)
2022-04-18 09:06:07 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-04-18 09:08:42 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 09:09:47 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 09:13:04 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-04-18 09:13:12 +0200 <dragestil> hi does anyone know how to configure haskell-language-server to use dynamic linking when generating ghc compiling error / warning diagnostics? I'm on arch btw
2022-04-18 09:13:16 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection)
2022-04-18 09:13:50 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz)
2022-04-18 09:17:28 +0200Pickchea(~private@user/pickchea) (Ping timeout: 246 seconds)
2022-04-18 09:21:44 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 09:22:16 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 09:24:18 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
2022-04-18 09:28:41 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-18 09:30:53 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-18 09:32:39 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 09:36:33 +0200gehmehgeh(~user@user/gehmehgeh)
2022-04-18 09:38:38 +0200 <abastro[m]> Why do you think error/warning diagnostics require dynamic linking? Unless you mean the dependencies
2022-04-18 09:39:12 +0200timCF(~timCF@200-149-20-81.sta.estpak.ee)
2022-04-18 09:39:30 +0200 <abastro[m]> I guess you can modify cabal.project to change the dependencies to be linked dynamically.
2022-04-18 09:39:45 +0200 <abastro[m]> Tho that also modifies how it will be built.
2022-04-18 09:40:03 +0200 <dragestil> It's some typical error pointing to a missing -dynamic, something about files missing in base-4.15.1.0
2022-04-18 09:40:28 +0200 <dragestil> reading hls docs it seems I need to fiddle with hie.yaml
2022-04-18 09:40:38 +0200 <abastro[m]> Uhm that sounds more like some bug caused elsewhere
2022-04-18 09:40:46 +0200 <abastro[m]> Oh.
2022-04-18 09:40:50 +0200 <abastro[m]> Which platform?
2022-04-18 09:40:56 +0200 <dragestil> huh?
2022-04-18 09:40:58 +0200 <abastro[m]> (OS)
2022-04-18 09:41:07 +0200 <dragestil> gnu/linux
2022-04-18 09:42:19 +0200 <abastro[m]> Strange, I never faced the error involving base missing -dynamic
2022-04-18 09:42:41 +0200 <abastro[m]> I think I heard of having to link dynamically in Windows, but not in linux
2022-04-18 09:42:52 +0200 <dragestil> it's a perk with arch ;)
2022-04-18 09:43:02 +0200 <abastro[m]> Wait
2022-04-18 09:43:11 +0200 <abastro[m]> You using system ghc?
2022-04-18 09:43:17 +0200 <dragestil> yeah
2022-04-18 09:43:19 +0200 <abastro[m]> Installed by arch?
2022-04-18 09:43:25 +0200 <abastro[m]> Ye don't do that
2022-04-18 09:43:25 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2022-04-18 09:43:49 +0200 <abastro[m]> Build tools have hard time dealing with those package-installed binaries.
2022-04-18 09:44:24 +0200 <c_wraith> also, arch installs ghc broken
2022-04-18 09:44:44 +0200 <abastro[m]> Is it inherently broken? Meh
2022-04-18 09:44:51 +0200 <dragestil> hmm ok, don't really feel like installing two sets of haskell libraries
2022-04-18 09:44:52 +0200 <timCF> Hello! I have an issue with one Haskell package, which has large auto-generated Haskell file (from protobuf document) which is bigger than 3MB. When I'm trying to compile this package on machine with RAM < 32GB then compiler fails because of lack of RAM. Maybe there is some easy way how I can fix that without manual job of splitting this auto-generated file into multiple?
2022-04-18 09:45:03 +0200 <abastro[m]> I should link ghcup but ghcup is not responding
2022-04-18 09:45:14 +0200 <abastro[m]> :ohno:
2022-04-18 09:46:30 +0200 <abastro[m]> dragestil: Well I mean, you should never touch arch-shipped ghc. I.e. you should remove that one
2022-04-18 09:47:02 +0200 <dragestil> abastro[m]: why?
2022-04-18 09:49:13 +0200 <c_wraith> it doesn't include the whole compiler. they removed everything that is needed to support any use case other than compiling haskell tools that arch supplies
2022-04-18 09:50:01 +0200 <abastro[m]> Oh, so arch ghc package at least works for building some tools on arch.
2022-04-18 09:50:29 +0200 <abastro[m]> Where is ghcup mirror download link..
2022-04-18 09:51:54 +0200 <abastro[m]> It seems arch supplies `ghcup-hs-bin` at least. Maybe that would work
2022-04-18 09:56:00 +0200Midjak(~Midjak@82.66.147.146)
2022-04-18 09:57:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2022-04-18 10:00:26 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-04-18 10:02:53 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 10:04:56 +0200jerry99(~339ea5e9@cerf.good1.com) (Quit: CGI:IRC)
2022-04-18 10:08:08 +0200kaph(~kaph@151.57.96.74)
2022-04-18 10:19:26 +0200 <dragestil> abastro[m]: yeah looks like the git repo is still up https://gitlab.haskell.org/haskell/ghcup-hs
2022-04-18 10:20:38 +0200S_CatCATS
2022-04-18 10:20:42 +0200CATSS_Cat
2022-04-18 10:20:44 +0200kaph(~kaph@151.57.96.74) (Read error: Connection reset by peer)
2022-04-18 10:23:54 +0200 <abastro[m]> Git repo is okay, but haskell.org is ded
2022-04-18 10:25:47 +0200Typedfern(~Typedfern@13.red-88-16-189.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2022-04-18 10:34:07 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2022-04-18 10:38:49 +0200Typedfern(~Typedfern@27.red-83-37-28.dynamicip.rima-tde.net)
2022-04-18 10:41:08 +0200dextaa(~dextaa@user/dextaa)
2022-04-18 10:41:49 +0200 <albet70> how that @(->)_ use to limited m?
2022-04-18 10:43:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 10:44:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 10:46:26 +0200 <abastro[m]> Uhm sorry I do not understand you, albet
2022-04-18 10:49:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-04-18 10:50:17 +0200ZanpakutoB(~Zanpakuto@2405:204:a399:44f6:4fbd:ca4a:e6c4:c103)
2022-04-18 10:50:27 +0200 <albet70> type application
2022-04-18 10:50:43 +0200 <albet70> found it, :t fmap @((->) _)
2022-04-18 10:50:47 +0200neceve(~quassel@2.29.116.221)
2022-04-18 10:51:56 +0200 <dragestil> in this time of crisis, do people look up docs from local hoogle?
2022-04-18 10:53:02 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 10:56:49 +0200frost(~frost@user/frost)
2022-04-18 10:58:30 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-18 10:58:45 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection)
2022-04-18 10:58:50 +0200 <abastro[m]> Hackage is alive
2022-04-18 10:59:12 +0200 <abastro[m]> So I guess you could search hackage - requires a bit more effort
2022-04-18 11:00:12 +0200sjanssen(~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle)
2022-04-18 11:00:12 +0200ThadeuPaula[m](~thadeudep@2001:470:69fc:105::1:ded7) (Quit: You have been kicked for being idle)
2022-04-18 11:00:13 +0200S_Cat(apic@brezn3.muc.ccc.de) ()
2022-04-18 11:00:17 +0200 <dragestil> pacman -S hoogle && hoogle generate && hoogle server
2022-04-18 11:00:30 +0200sjanssen(~sjanssenm@2001:470:69fc:105::1:61d8)
2022-04-18 11:00:30 +0200sjanssen(~sjanssenm@2001:470:69fc:105::1:61d8) ()
2022-04-18 11:00:42 +0200ThadeuPaula[m](~thadeudep@2001:470:69fc:105::1:ded7)
2022-04-18 11:01:33 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz)
2022-04-18 11:02:26 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-04-18 11:02:32 +0200S_Cat(apic@brezn3.muc.ccc.de)
2022-04-18 11:02:56 +0200 <dragestil> would be nice to have a local hackage too :)
2022-04-18 11:03:17 +0200S_Cat(apic@brezn3.muc.ccc.de) (Client Quit)
2022-04-18 11:03:41 +0200mbuf(~Shakthi@122.162.139.142) (Quit: Leaving)
2022-04-18 11:03:52 +0200 <albet70> "dragestil :pacman -S hoogle && hoogle generate && hoogle server", but archlinux is terrible to ghc
2022-04-18 11:04:00 +0200CAT_S(~apic@brezn3.muc.ccc.de)
2022-04-18 11:04:12 +0200fciocan(~fciocan@5.2.198.221)
2022-04-18 11:04:17 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-04-18 11:05:16 +0200 <dragestil> https://github.com/ndmitchell/hoogle/blob/master/docs/Install.md
2022-04-18 11:05:20 +0200 <abastro[m]> Oh, I did not know local hoogle was also possible
2022-04-18 11:05:35 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-18 11:07:50 +0200 <fciocan> I have some questions regarding GSoC.
2022-04-18 11:08:48 +0200 <fciocan> Is the site working for anyone?
2022-04-18 11:08:51 +0200 <fciocan> https://summer.haskell.org/
2022-04-18 11:13:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 11:15:04 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 11:17:58 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-04-18 11:20:33 +0200 <fciocan> found nvm
2022-04-18 11:20:35 +0200 <fciocan> https://status.haskell.org
2022-04-18 11:22:39 +0200acidjnk(~acidjnk@p200300d0c722df20b0b4ee78edd3ba7a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-18 11:24:23 +0200chenqisu1(~chenqisu1@183.217.200.38) (Remote host closed the connection)
2022-04-18 11:26:21 +0200frost(~frost@user/frost)
2022-04-18 11:26:41 +0200 <albet70> what instance need to implement 'join'?
2022-04-18 11:27:08 +0200 <abastro[m]> Monad?
2022-04-18 11:27:19 +0200 <abastro[m]> :t join
2022-04-18 11:27:20 +0200 <lambdabot> Monad m => m (m a) -> m a
2022-04-18 11:27:27 +0200 <abastro[m]> Ye
2022-04-18 11:27:51 +0200 <abastro[m]> I wish I had time to participate in GSoC..
2022-04-18 11:27:53 +0200 <albet70> monad requires fmap, ap, bind
2022-04-18 11:28:04 +0200neverwas(jpneverwas@swissbox.unperson.link) (ERC 5.4.1.49860.0.20220416.450 (IRC client for GNU Emacs 28.1))
2022-04-18 11:28:20 +0200 <albet70> and return
2022-04-18 11:28:34 +0200 <fciocan> matrix it s also on GSoC?
2022-04-18 11:29:57 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-18 11:32:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:32:48 +0200coot(~coot@213.134.190.95)
2022-04-18 11:34:25 +0200 <albet70> :t join @((->)_)
2022-04-18 11:34:27 +0200 <lambdabot> error: parse error on input ‘->’
2022-04-18 11:35:00 +0200odnes(~odnes@5-203-197-64.pat.nym.cosmote.net)
2022-04-18 11:35:23 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:35:48 +0200 <abastro[m]> Hmm
2022-04-18 11:36:02 +0200 <abastro[m]> % :t join @((->) _)
2022-04-18 11:36:03 +0200 <yahb> abastro[m]: (w -> (w -> a)) -> w -> a
2022-04-18 11:36:22 +0200 <albet70> join :: (_ -> _ -> a) -> _ -> a, this is really weird, which case would use this?
2022-04-18 11:37:04 +0200 <albet70> join an unary and a value
2022-04-18 11:38:20 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 11:39:21 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 11:40:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:40:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:41:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:41:39 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:42:03 +0200 <abastro[m]> > join (*) <$> [1..]
2022-04-18 11:42:05 +0200 <lambdabot> [1,4,9,16,25,36,49,64,81,100,121,144,169,196,225,256,289,324,361,400,441,484...
2022-04-18 11:42:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:42:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:43:00 +0200 <abastro[m]> > join bimap (+3) (2, 6)
2022-04-18 11:43:03 +0200 <lambdabot> (5,9)
2022-04-18 11:44:51 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-04-18 11:47:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:48:23 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:48:39 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-04-18 11:48:47 +0200 <albet70> "abastro[m] :> join (*) <$> [1..]", I don't understand why this join has three parameter, but its type only require two
2022-04-18 11:50:43 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-18 11:51:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:51:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:52:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 11:52:46 +0200DNH(~DNH@2a09:bac0:67::82c:44)
2022-04-18 11:54:46 +0200 <mjrosenb> Similar to my previous quesion about read, is there an equivalent for Show that will render a value into a Text?
2022-04-18 11:55:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:55:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 11:58:07 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2022-04-18 11:58:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 11:59:35 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 12:00:05 +0200redb(~nmh@136.49.49.211)
2022-04-18 12:04:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 12:04:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 12:05:00 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-18 12:06:13 +0200xff0x_(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2022-04-18 12:10:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 12:10:51 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 12:11:34 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 12:13:31 +0200DNH(~DNH@2a09:bac0:67::82c:44) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-04-18 12:15:44 +0200dcoutts_(~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 250 seconds)
2022-04-18 12:20:01 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-04-18 12:22:08 +0200 <dibblego> albet70: all Haskell functions take one argument, always
2022-04-18 12:22:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 12:22:58 +0200acidjnk(~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de)
2022-04-18 12:23:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-04-18 12:24:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 12:26:03 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-18 12:26:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 12:27:57 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-04-18 12:32:20 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 12:32:44 +0200redb(~nmh@136.49.49.211)
2022-04-18 12:32:48 +0200robosexual(~robosexua@77.223.90.202)
2022-04-18 12:33:44 +0200robosexual(~robosexua@77.223.90.202) (Client Quit)
2022-04-18 12:35:17 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-04-18 12:36:32 +0200 <maerwald> dibblego: the Haskell report itself talks of "multiple parameters" in several places
2022-04-18 12:36:39 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 12:37:48 +0200 <dibblego> yes so do I, when approximating
2022-04-18 12:39:48 +0200fciocan(~fciocan@5.2.198.221) (Ping timeout: 250 seconds)
2022-04-18 12:40:08 +0200 <maerwald> I don't think that's approximation. Those are just different mental models.
2022-04-18 12:40:25 +0200 <dibblego> clearly not, see above
2022-04-18 12:40:50 +0200 <dibblego> where the approximation is causing confusion
2022-04-18 12:41:38 +0200dcoutts_(~duncan@host213-122-143-81.range213-122.btcentralplus.com)
2022-04-18 12:42:37 +0200 <maerwald> you can regard a function as having multiple parameters and explain that behind the scenes it produces a new function after applying one parameter
2022-04-18 12:42:42 +0200 <maerwald> that's not approximation
2022-04-18 12:43:30 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-04-18 12:45:19 +0200 <maerwald> the confusion probably comes from not understanding that `a -> (a -> a)` is `a -> a -> a`
2022-04-18 12:45:48 +0200 <abastro[m]> Currying by default!
2022-04-18 12:45:51 +0200 <maerwald> `a -> a -> a` is not an approximation
2022-04-18 12:45:54 +0200 <maerwald> yes
2022-04-18 12:46:18 +0200 <abastro[m]> Btw how do I access ghcup in this darkness of outage
2022-04-18 12:46:48 +0200 <maerwald> abastro[m]: try https://mirror.sjtu.edu.cn/docs/ghcup
2022-04-18 12:47:11 +0200 <abastro[m]> Oh interesting
2022-04-18 12:47:24 +0200 <abastro[m]> (the chinese letters are scart tho)
2022-04-18 12:47:49 +0200 <abastro[m]> I wonder how it is also hosted in... well, China
2022-04-18 12:48:46 +0200 <maerwald> I can't speak for the safety of that mirror, but afaik it's hosted by university students
2022-04-18 12:50:19 +0200 <abastro[m]> Brave uni students
2022-04-18 12:53:59 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 12:56:01 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4)
2022-04-18 12:58:25 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 12:58:57 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-04-18 13:00:00 +0200 <abastro> Does cabal have an option to replace `-haddock` ghc option?
2022-04-18 13:00:12 +0200 <abastro> `Documentation: True` apparently does sth else
2022-04-18 13:04:19 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-04-18 13:06:13 +0200redb(~nmh@136.49.49.211)
2022-04-18 13:07:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 13:08:48 +0200Edwinedw_afk
2022-04-18 13:11:18 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-18 13:15:49 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-18 13:23:52 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.4.1)
2022-04-18 13:25:55 +0200DNH(~DNH@8.44.0.68)
2022-04-18 13:27:37 +0200andrey_(~andrey@p508d5b8f.dip0.t-ipconnect.de)
2022-04-18 13:28:57 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds)
2022-04-18 13:29:35 +0200acidjnk(~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-18 13:30:07 +0200andrey__(~andrey@p200300dbcf08ce00369dc5da8f950839.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-04-18 13:30:25 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection)
2022-04-18 13:30:59 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-04-18 13:32:20 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 13:33:13 +0200kaph(~kaph@151.57.105.107)
2022-04-18 13:33:17 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 13:33:27 +0200 <bahamas> hi. is haskell.org down for anyone else?
2022-04-18 13:34:51 +0200kaph(~kaph@151.57.105.107) (Read error: Connection reset by peer)
2022-04-18 13:35:21 +0200xff0x_(~xff0x@om126033110024.35.openmobile.ne.jp)
2022-04-18 13:35:24 +0200 <abastro> Yes it is having issues
2022-04-18 13:35:57 +0200 <abastro> Check https://status.haskell.org
2022-04-18 13:36:38 +0200kaph(~kaph@151.57.105.107)
2022-04-18 13:38:31 +0200redb(~nmh@136.49.49.211)
2022-04-18 13:40:28 +0200frost(~frost@user/frost) (Ping timeout: 250 seconds)
2022-04-18 13:42:46 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 13:42:55 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-18 13:44:18 +0200kaph(~kaph@151.57.105.107) (Read error: Connection reset by peer)
2022-04-18 13:45:10 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
2022-04-18 13:45:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 13:45:45 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 13:46:19 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 13:47:03 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz)
2022-04-18 13:47:35 +0200redb(~nmh@136.49.49.211)
2022-04-18 13:48:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 13:49:53 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-18 13:49:58 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-04-18 13:55:23 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-18 13:56:43 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 14:04:46 +0200pavonia(~user@user/siracusa)
2022-04-18 14:04:59 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-04-18 14:05:40 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-04-18 14:05:43 +0200 <Inst> Inst> btw, has everyone seen www.haskellcosm.com yet?
2022-04-18 14:05:45 +0200 <Inst> <
2022-04-18 14:05:48 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 14:05:51 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 14:05:56 +0200 <Inst> also, data Nada = Nada is not a monad, right?
2022-04-18 14:06:00 +0200 <Inst> but it is a functor
2022-04-18 14:06:06 +0200 <bahamas> abastro: thanks!
2022-04-18 14:06:11 +0200 <abastro> np!
2022-04-18 14:06:26 +0200 <abastro> Inst: `data Nada = Nada` lacks the type parameter
2022-04-18 14:06:37 +0200 <abastro> So it is not a functor/applicative/monad.
2022-04-18 14:06:42 +0200 <Inst> it can't be made into an applicative
2022-04-18 14:06:49 +0200 <Inst> it can be a functor, though
2022-04-18 14:07:41 +0200 <hpc> it can't be Functor, the kind doesn't match
2022-04-18 14:07:52 +0200 <hpc> Functor :: (Type -> Type) -> Constraint
2022-04-18 14:07:53 +0200 <Inst> :(
2022-04-18 14:07:54 +0200 <hpc> and Nada :: Type
2022-04-18 14:08:04 +0200 <hpc> it can be Monoid
2022-04-18 14:08:09 +0200 <hpc> Monoid :: Type -> Constraint
2022-04-18 14:08:30 +0200 <hpc> btw, Nada = ()
2022-04-18 14:11:45 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-18 14:15:30 +0200Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-04-18 14:16:41 +0200AlexNoo_AlexNoo
2022-04-18 14:22:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 14:22:26 +0200 <shapr> hpc: did you write hpc? :-)
2022-04-18 14:23:56 +0200 <abastro> What is \hpc?
2022-04-18 14:23:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-18 14:24:30 +0200 <shapr> abastro: https://wiki.haskell.org/Haskell_program_coverage
2022-04-18 14:24:55 +0200 <shapr> I got distracted last week, did not get it hooked up to QuickCheck.
2022-04-18 14:25:07 +0200 <shapr> But I made a bunch of progress and expect to get it working this week.
2022-04-18 14:27:22 +0200dlromw^(~dlromw@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-04-18 14:33:31 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 14:34:39 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-18 14:34:54 +0200abastro(~abab9579@220.75.216.63)
2022-04-18 14:35:06 +0200 <abastro> Lol I was trying to click the link, instead I closed it..
2022-04-18 14:37:36 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 14:38:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-18 14:39:16 +0200edw_afkEdw_zzz
2022-04-18 14:39:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-18 14:40:13 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-18 14:41:47 +0200redb(~nmh@136.49.49.211)
2022-04-18 14:45:33 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-04-18 14:46:51 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-18 14:49:52 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 14:50:26 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 14:55:44 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-04-18 14:56:57 +0200odnes_(~odnes@5-203-240-200.pat.nym.cosmote.net)
2022-04-18 14:59:33 +0200redb(~nmh@136.49.49.211)
2022-04-18 15:00:19 +0200odnes(~odnes@5-203-197-64.pat.nym.cosmote.net) (Ping timeout: 240 seconds)
2022-04-18 15:04:36 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-18 15:12:20 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 15:16:06 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 276 seconds)
2022-04-18 15:16:55 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2022-04-18 15:17:19 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds)
2022-04-18 15:17:34 +0200coot(~coot@213.134.190.95) (Read error: Connection reset by peer)
2022-04-18 15:17:41 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 15:17:45 +0200coot(~coot@213.134.190.95)
2022-04-18 15:18:15 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-04-18 15:21:40 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-04-18 15:23:09 +0200cdman(~dcm@user/dmc/x-4369397) (Remote host closed the connection)
2022-04-18 15:29:29 +0200Edw_zzzchargen
2022-04-18 15:31:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-18 15:32:03 +0200redb(~nmh@136.49.49.211)
2022-04-18 15:32:28 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-18 15:34:10 +0200timCF(~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2022-04-18 15:36:27 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-18 15:37:08 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-18 15:37:08 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-18 15:37:08 +0200wroathe(~wroathe@user/wroathe)
2022-04-18 15:38:32 +0200ZanpakutoB(~Zanpakuto@2405:204:a399:44f6:4fbd:ca4a:e6c4:c103) (Ping timeout: 250 seconds)
2022-04-18 15:38:54 +0200mc47(~mc47@xmonad/TheMC47)
2022-04-18 15:42:50 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer)
2022-04-18 15:42:56 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-04-18 15:51:32 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 15:51:53 +0200cdman(~dcm@27.2.217.49)
2022-04-18 15:51:53 +0200cdman(~dcm@27.2.217.49) (Changing host)
2022-04-18 15:51:53 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-18 15:52:37 +0200slaydr(~slaydr@75.164.21.11) (Read error: Connection reset by peer)
2022-04-18 15:55:43 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 15:56:21 +0200slaydr(~slaydr@173.239.197.74)
2022-04-18 15:56:51 +0200 <slaydr> is haskell.org down?
2022-04-18 15:57:19 +0200 <geekosaur> yes. https://status.haskell.org
2022-04-18 15:57:32 +0200 <slaydr> thanks
2022-04-18 15:58:11 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 15:59:38 +0200redb(~nmh@136.49.49.211)
2022-04-18 16:03:20 +0200machinedgod(~machinedg@24.105.81.50) (Quit: leaving)
2022-04-18 16:03:49 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-04-18 16:03:59 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 16:04:26 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-04-18 16:04:41 +0200yahb(xsbot@user/mniip/bot/yahb) (Ping timeout: 252 seconds)
2022-04-18 16:06:38 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 16:07:08 +0200[Leary]Leary
2022-04-18 16:07:39 +0200LearyLears
2022-04-18 16:09:01 +0200yahb(xsbot@user/mniip/bot/yahb)
2022-04-18 16:09:47 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-18 16:16:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-18 16:17:33 +0200redb(~nmh@136.49.49.211)
2022-04-18 16:18:15 +0200Sgeo(~Sgeo@user/sgeo)
2022-04-18 16:20:47 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
2022-04-18 16:21:40 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-18 16:24:37 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 16:24:56 +0200sander(~sander@user/sander) (Quit: So long! :))
2022-04-18 16:25:19 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-04-18 16:26:16 +0200Pickchea(~private@user/pickchea)
2022-04-18 16:28:32 +0200zebrag(~chris@user/zebrag)
2022-04-18 16:28:34 +0200sander(~sander@user/sander)
2022-04-18 16:34:11 +0200redb(~nmh@136.49.49.211)
2022-04-18 16:34:59 +0200 <shapr> How do I add a git repo to a cabal file? I want to include a package as a dependency, but it's not on hackage.
2022-04-18 16:35:33 +0200 <geekosaur> you use cabal.project to specify the dependency's location
2022-04-18 16:35:52 +0200ZanpakutoB(~Zanpakuto@2405:204:a399:44f6:e15a:1525:40c4:d6a)
2022-04-18 16:36:15 +0200 <geekosaur> https://cabal.readthedocs.io/en/3.6/cabal-project.html#specifying-packages-from-remote-version-con…
2022-04-18 16:37:07 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-04-18 16:37:17 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-04-18 16:38:19 +0200 <shapr> geekosaur: thank you!
2022-04-18 16:38:47 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-18 16:38:57 +0200jinsun__(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-04-18 16:39:32 +0200 <shapr> oh, I was putting it into the cabal file for the actual project, oops
2022-04-18 16:40:16 +0200 <shapr> hmm
2022-04-18 16:42:30 +0200 <geekosaur> yes, this is a bit weird. it makes more sense when you realize that your cabal file becomes the library registration in the package database
2022-04-18 16:42:49 +0200 <shapr> I'm still doing something wrong ...
2022-04-18 16:43:00 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 16:44:09 +0200 <shapr> oh, builds fine without the -eventlog flag in ghc-options
2022-04-18 16:44:23 +0200 <shapr> or not :-|
2022-04-18 16:45:44 +0200 <shapr> ohh, repo name doesn't match package name, doh!
2022-04-18 16:47:24 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174)
2022-04-18 16:51:24 +0200 <shapr> ok, next question is how to pass multiple default RTS options. I have ghc-options: -eventlog -threaded -rtsopts -with-rtsopts="+RTS -l -N"
2022-04-18 16:51:37 +0200 <shapr> but that gives me an ld error
2022-04-18 16:51:49 +0200 <geekosaur> I think you have to quote the whole thing
2022-04-18 16:52:04 +0200 <geekosaur> "-with-rtsopts=+RTS -l -N"
2022-04-18 16:52:07 +0200 <shapr> oh!
2022-04-18 16:52:13 +0200 <geekosaur> it's not shell parsing
2022-04-18 16:52:43 +0200 <shapr> looks like that works, thanks
2022-04-18 16:53:59 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-04-18 16:55:48 +0200 <shapr> Hm, I'll have to read the source or bother bgamari, I don't see an eventlog socket created.
2022-04-18 16:56:58 +0200 <bgamari> shapr, have you set GHC_EVENTLOG_SOCKET?
2022-04-18 16:57:53 +0200 <shapr> yes, via export GHC_EVENTLOG_SOCKET=/tmp/eventlog.sock
2022-04-18 16:58:52 +0200 <bgamari> hmm
2022-04-18 16:58:59 +0200 <shapr> I'd bet on user error
2022-04-18 16:59:10 +0200 <bgamari> what happens if you pass +RTS -l manually?
2022-04-18 16:59:14 +0200 <bgamari> to the process
2022-04-18 16:59:15 +0200 <shapr> ah, I'll try that
2022-04-18 16:59:57 +0200redb(~nmh@136.49.49.211)
2022-04-18 17:00:35 +0200 <geekosaur> actually I think you should not be passing +RTS there
2022-04-18 17:00:47 +0200 <geekosaur> because it's already RTS options. +RTS is for the command line
2022-04-18 17:01:21 +0200 <geekosaur> which may mean the RTS is aborting option parsing from the internal rtsopts
2022-04-18 17:01:43 +0200 <geekosaur> so just "-with-rtsopts=-l -N"
2022-04-18 17:02:06 +0200drewr(~drew@user/drewr) (Remote host closed the connection)
2022-04-18 17:03:24 +0200 <shapr> Is there a separate binary for tests?
2022-04-18 17:03:29 +0200akegalj(~akegalj@89-172-76-53.adsl.net.t-com.hr)
2022-04-18 17:04:39 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-18 17:04:39 +0200 <shapr> can I use cabal list-bin to find the binary for the test-suite stanza?
2022-04-18 17:05:15 +0200 <geekosaur> I think you can specify test:exename
2022-04-18 17:05:28 +0200 <bgamari> yes, I believe that geekosaur is right
2022-04-18 17:05:32 +0200 <bgamari> you want to drop +RTS
2022-04-18 17:05:39 +0200chomwitt(~chomwitt@2a02:587:dc00:4900:2e92:53e5:cedf:6bf7) (Ping timeout: 240 seconds)
2022-04-18 17:05:43 +0200 <bgamari> although I'm not sure why though would cause the flags to be ignored
2022-04-18 17:06:18 +0200 <geekosaur> becuase + isn't a valid flag introducer
2022-04-18 17:06:43 +0200 <geekosaur> I have no idea how the parsing for those options works thoiugh, it might output a warning message that it found an invalid rtsopt
2022-04-18 17:06:53 +0200cdman(~dcm@user/dmc/x-4369397) (Quit: Leaving)
2022-04-18 17:09:57 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-18 17:10:04 +0200redb(~nmh@136.49.49.211)
2022-04-18 17:10:32 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 17:14:47 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-04-18 17:15:37 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-18 17:16:50 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-04-18 17:19:46 +0200 <shapr> maybe I should try this on the main binary first, instead of the test
2022-04-18 17:22:27 +0200chomwitt(~chomwitt@ppp-94-67-221-107.home.otenet.gr)
2022-04-18 17:24:07 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-18 17:25:34 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 250 seconds)
2022-04-18 17:26:08 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 17:26:18 +0200 <shapr> I wish list-bin would tell me all the targets I could list :-|
2022-04-18 17:26:59 +0200Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2022-04-18 17:29:01 +0200 <shapr> I'm making a list of tasks where I can help out, this looks like one https://github.com/haskell/cabal/pull/7500
2022-04-18 17:32:27 +0200DNH(~DNH@8.44.0.68) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-04-18 17:33:50 +0200 <maerwald[m]> shapr: yeah, cabal autocompletion could do that easily if it was using optparse-applicative
2022-04-18 17:34:43 +0200phma(phma@2001:5b0:212a:f9a8:e995:81c4:a7fc:5c82) (Read error: Connection reset by peer)
2022-04-18 17:35:06 +0200 <shapr> looks like manually passing +RTS -l does not wait for socket to be read, hmm
2022-04-18 17:35:29 +0200coot(~coot@213.134.190.95)
2022-04-18 17:35:41 +0200phma(~phma@host-67-44-208-158.hnremote.net)
2022-04-18 17:36:22 +0200shaprmoves to #haskell-in-depth for rubber duck purposes
2022-04-18 17:38:23 +0200 <shapr> bgamari: perhaps I need to use the custom event log writer command line param?
2022-04-18 17:40:06 +0200 <bgamari> shapr, are you calling GHC.Eventlog.Socket.start at the beginning of your program?
2022-04-18 17:40:22 +0200 <shapr> oh, I didn't know about that!
2022-04-18 17:40:35 +0200 <bgamari> oh dear, I suppose we ought to advertise this more clearly
2022-04-18 17:40:37 +0200 <bgamari> sorry about that
2022-04-18 17:41:06 +0200bgamarialso needs to look through phadej's rewrite as well
2022-04-18 17:41:09 +0200 <shapr> I can submit a PR for a complete working example once I have it all sewed together
2022-04-18 17:42:51 +0200odnes_(~odnes@5-203-240-200.pat.nym.cosmote.net) (Quit: Leaving)
2022-04-18 17:43:23 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 17:43:31 +0200 <bgamari> that would be great, thanks
2022-04-18 17:43:39 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 17:43:50 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 17:43:57 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 17:44:02 +0200 <bgamari> shapr, actually, I may try to have a look at Oleg's rewrite now
2022-04-18 17:44:08 +0200 <bgamari> shapr, so perhaps base off of that
2022-04-18 17:44:39 +0200 <shapr> ok!
2022-04-18 17:44:47 +0200 <bgamari> cheesr
2022-04-18 17:45:00 +0200adnaahm(~adnaahm@119.160.64.140)
2022-04-18 17:45:22 +0200 <c_wraith> typo or new app for rating cheeses? the world may never know
2022-04-18 17:47:27 +0200 <bgamari> hah
2022-04-18 17:52:44 +0200chargen(~chargen@D964062A.static.ziggozakelijk.nl) (Read error: Connection reset by peer)
2022-04-18 17:54:15 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 17:55:18 +0200 <geekosaur> ok, having just trawled RtsFlags.c, that +RTS should have caused the program to abort with an RTS options usage message, not continue without rtsopts
2022-04-18 17:58:09 +0200Arsen(arsen@managarm/dev/Arsen) (Quit: Quit.)
2022-04-18 17:58:27 +0200Arsen(arsen@managarm/dev/Arsen)
2022-04-18 18:00:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 18:00:11 +0200ThadeuPaula[m](~thadeudep@2001:470:69fc:105::1:ded7) (Quit: You have been kicked for being idle)
2022-04-18 18:01:30 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 18:12:36 +0200redb(~nmh@136.49.49.211)
2022-04-18 18:14:58 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-18 18:15:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 18:17:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 18:17:59 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-04-18 18:18:34 +0200benin(~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat)
2022-04-18 18:19:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-18 18:29:07 +0200redb(~nmh@136.49.49.211)
2022-04-18 18:33:59 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 18:34:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 18:37:02 +0200xff0x_(~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer)
2022-04-18 18:37:45 +0200bgamari(~bgamari@2001:470:e438::1) (Ping timeout: 248 seconds)
2022-04-18 18:40:40 +0200RevoGen(~RevoGen@c-76-24-25-81.hsd1.ma.comcast.net)
2022-04-18 18:41:52 +0200 <RevoGen> I'm in the middle of reading about functor laws. Is there a case where (fmap id = id) holds but (fmap f . fmap g = fmap (f.g)) does not hold?
2022-04-18 18:42:03 +0200 <c_wraith> no
2022-04-18 18:42:11 +0200 <c_wraith> At least, not in Haskell
2022-04-18 18:42:17 +0200 <RevoGen> by that I mean, is there to break the laws?
2022-04-18 18:42:22 +0200 <c_wraith> That's a necessary consequence of parametricity
2022-04-18 18:42:57 +0200 <RevoGen> Could you elaborate?
2022-04-18 18:44:57 +0200bgamari(~bgamari@64.223.157.187)
2022-04-18 18:45:12 +0200 <RevoGen> I was wondering because you can break both laws like so: https://paste.tomsmeding.com/2dKkmghn
2022-04-18 18:45:30 +0200 <c_wraith> parametricity is the property that that functions that have parametric polymorphism in their types must behave uniformly regardless of what type is chosen
2022-04-18 18:48:24 +0200 <c_wraith> A paper called "Theorems for free" goes into a lot of detail for how to use parametricity to derive theorems about a type automatically
2022-04-18 18:48:48 +0200 <c_wraith> https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9875 for the record
2022-04-18 18:49:10 +0200 <RevoGen> thank you, will read
2022-04-18 18:49:21 +0200sander(~sander@user/sander) (Quit: So long! :))
2022-04-18 18:49:53 +0200akegalj_(~akegalj@89-172-76-53.adsl.net.t-com.hr)
2022-04-18 18:50:00 +0200akegalj(~akegalj@89-172-76-53.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2022-04-18 18:51:19 +0200jinsun(~jinsun@user/jinsun)
2022-04-18 18:52:31 +0200lagash(lagash@lagash.shelltalk.net) (Ping timeout: 260 seconds)
2022-04-18 18:53:47 +0200DNH(~DNH@8.44.0.68)
2022-04-18 18:54:34 +0200 <zzz> RevoGen: laws are not enforced by the compiler, so you can create your own illegal instances (like thr one you pasted) if that's what you're asking
2022-04-18 18:57:44 +0200 <zzz> but you shouldn't
2022-04-18 19:00:31 +0200werneta(~werneta@137.79.218.82)
2022-04-18 19:04:27 +0200 <lyxia> the question is whether you can choose which of the functor laws to break
2022-04-18 19:10:30 +0200 <abastro[m]> Hmm I feel like I am overcomplicating setup by making haskell scripts
2022-04-18 19:16:13 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-04-18 19:16:22 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2022-04-18 19:16:51 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-04-18 19:18:15 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-18 19:20:19 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 19:21:04 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-18 19:24:20 +0200nil(~user@2001:da8:d800:611:2ca6:fa07:fb5d:af81)
2022-04-18 19:25:26 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 19:26:03 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-04-18 19:27:24 +0200 <nil> My Cabal is finding older versions of Hackage packages, instead of the latest version. Any idea why?
2022-04-18 19:27:39 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-04-18 19:27:50 +0200 <geekosaur> did you run cabal update?
2022-04-18 19:28:15 +0200 <geekosaur> otherwise, it usually means some other package has restrictive version dependencies
2022-04-18 19:28:37 +0200 <nil> yep, and I purged my .cabal and .ghc it still happens.
2022-04-18 19:29:10 +0200 <nil> Oh, I'm using a Hackage mirror, and the problem is gone once I changed back to hackage.haskell.org
2022-04-18 19:30:28 +0200 <nil> weird, the mirror is up-to-date.. hmmm
2022-04-18 19:31:39 +0200 <nil> What's the difference between 01-index and 00-index?
2022-04-18 19:33:24 +0200 <geekosaur> I think 00-index was used by cabal v1 and is more limited?
2022-04-18 19:33:41 +0200 <geekosaur> I only have 01-index and the products generated from it
2022-04-18 19:34:00 +0200 <sclv> there's a rather obscure hack by which 00-index doesn't have cabal files past a certain cabal spec version
2022-04-18 19:34:10 +0200 <sclv> i'm not particularly fond of that hack
2022-04-18 19:34:16 +0200 <nil> Okay, this seems like the problem. 00-index is much more outdated. It does not contain e.g. primitive >= 0.7
2022-04-18 19:34:40 +0200 <sclv> but also yeah, its not clear to my why a mirror would not provide an 01-index
2022-04-18 19:35:02 +0200 <nil> the mirror provides 01-index, but cabal somehow ignores it
2022-04-18 19:35:13 +0200 <nil> (01-index is not downloaded)
2022-04-18 19:36:18 +0200anomal(~anomal@87.227.196.109)
2022-04-18 19:36:48 +0200 <nil> ugh, it's my fault
2022-04-18 19:37:13 +0200 <nil> I set `secure: False` in my cabal config. It should be true, or the new index won't be downloaded
2022-04-18 19:41:33 +0200 <sclv> here's the patch. we should probably just get rid of it https://github.com/haskell/hackage-server/commit/9a6be09342095dda621c39ed3189904240a458e4
2022-04-18 19:41:48 +0200 <sclv> cabal 1.x versions are well out of suport range imho
2022-04-18 19:42:39 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net)
2022-04-18 19:46:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-18 19:47:48 +0200yauhsien(~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-04-18 19:47:54 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-18 19:48:51 +0200 <abastro[m]> Was its release 10 years ago
2022-04-18 19:53:14 +0200Guest27(~Guest27@2601:281:d47f:1590::7e6a)
2022-04-18 19:54:51 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-04-18 19:55:52 +0200nil(~user@2001:da8:d800:611:2ca6:fa07:fb5d:af81) (Remote host closed the connection)
2022-04-18 19:57:09 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-04-18 20:02:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-18 20:05:31 +0200Guest27(~Guest27@2601:281:d47f:1590::7e6a) (Quit: Client closed)
2022-04-18 20:06:02 +0200ZanpakutoB(~Zanpakuto@2405:204:a399:44f6:e15a:1525:40c4:d6a) (Quit: Leaving)
2022-04-18 20:06:34 +0200coot(~coot@213.134.190.95)
2022-04-18 20:08:37 +0200Hash(~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in)
2022-04-18 20:09:50 +0200Hash(~Hash@hey.howstoned.ru)
2022-04-18 20:12:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 20:12:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-18 20:14:36 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 20:15:01 +0200sander(~sander@user/sander)
2022-04-18 20:15:45 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds)
2022-04-18 20:18:22 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-18 20:19:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 20:19:15 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2022-04-18 20:21:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 20:24:48 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-04-18 20:29:46 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-04-18 20:30:33 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-04-18 20:33:26 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-18 20:33:36 +0200romesrf(~romes@185.5.8.134)
2022-04-18 20:34:01 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net)
2022-04-18 20:34:45 +0200 <romesrf> Hey everyone, I'm getting some errors on all cabal installations/builds, I've even deleted .cabal and .ghc in desperation, has anyone seen this before?:
2022-04-18 20:34:50 +0200 <romesrf> "ar: @dist/build/objs-22489/ar22489-2.rsp: No such file or directory"
2022-04-18 20:35:55 +0200 <romesrf> ar is llvm related right?
2022-04-18 20:37:09 +0200 <geekosaur> ar is toolchain related, it's how you build a static archive (.a file) whether llvm ornot
2022-04-18 20:37:48 +0200 <geekosaur> it'slooking for a response file, which is used to avoid command lines that are too long for various OSes
2022-04-18 20:38:00 +0200 <romesrf> hmm.
2022-04-18 20:38:24 +0200 <romesrf> I'm currently downgrading llvm, shot in the dark
2022-04-18 20:40:19 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 246 seconds)
2022-04-18 20:43:57 +0200econo(uid147250@user/econo)
2022-04-18 20:44:17 +0200abiss27(~abiss27@user/abiss)
2022-04-18 20:45:56 +0200stackdroid18(14094@user/stackdroid)
2022-04-18 20:46:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-04-18 20:46:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-04-18 20:48:39 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-04-18 20:49:46 +0200jlamothe(~jlamothe@198.251.61.229) (Ping timeout: 272 seconds)
2022-04-18 20:49:48 +0200 <romesrf> no luck
2022-04-18 20:50:02 +0200Hash(~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in)
2022-04-18 20:53:34 +0200lagash(lagash@lagash.shelltalk.net)
2022-04-18 20:53:44 +0200 <romesrf> I don't know how to proceed
2022-04-18 20:54:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 20:54:39 +0200 <romesrf> maybe I'll try a different cabal version (different ghc versions don't solve it)
2022-04-18 21:01:40 +0200Hash(~Hash@hey.howstoned.ru)
2022-04-18 21:02:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-04-18 21:02:22 +0200DNH(~DNH@8.44.0.68) (Read error: Connection reset by peer)
2022-04-18 21:02:43 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-18 21:03:23 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-04-18 21:03:52 +0200jerry99(~330f3e76@cerf.good1.com)
2022-04-18 21:04:59 +0200jlamothe(~jlamothe@198.251.61.229)
2022-04-18 21:07:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-18 21:07:28 +0200cheatercheategg
2022-04-18 21:07:46 +0200raehik(~raehik@78.129.150.254)
2022-04-18 21:08:04 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-04-18 21:09:52 +0200califax(~califax@user/califx)
2022-04-18 21:10:02 +0200Hash(~Hash@hey.howstoned.ru) (Ping timeout: 250 seconds)
2022-04-18 21:11:48 +0200 <romesrf> Is there some way to nuke cabal?
2022-04-18 21:12:10 +0200raehik(~raehik@78.129.150.254) (Ping timeout: 246 seconds)
2022-04-18 21:12:28 +0200 <sclv> i don't think cabal calls ar directly -- ghc would
2022-04-18 21:12:36 +0200 <sclv> are you on windows or something
2022-04-18 21:13:25 +0200 <sclv> or mac or..?
2022-04-18 21:13:29 +0200 <romesrf> sclv: I'm on macOS, and use haskell very regularly :)
2022-04-18 21:13:48 +0200 <romesrf> I was 1 week or so away, and the last thing I remember is not being able to compile anything with cabal
2022-04-18 21:13:55 +0200 <romesrf> Oh, let me try compiling just with ghc
2022-04-18 21:14:03 +0200 <sclv> do you have some sort of homebrew setup?
2022-04-18 21:14:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-18 21:14:14 +0200 <romesrf> sclv: yes
2022-04-18 21:14:17 +0200 <sclv> that's probably it
2022-04-18 21:14:39 +0200 <sclv> as i recall, response file support is sort of dodgy among different tools at different versions
2022-04-18 21:14:51 +0200 <sclv> and if you have something that stomps the versions that support it with versions that don't
2022-04-18 21:15:02 +0200 <romesrf> my troubleshooting went well: ghc fails a main = putStrLn compilation
2022-04-18 21:15:17 +0200 <sclv> you can run with verbosity flags and see where what gets invoked
2022-04-18 21:15:30 +0200 <romesrf> lol; what a nice error message: "Cannot open macos: No such file or directory"
2022-04-18 21:15:44 +0200 <romesrf> I wonder what tries to open *macos**
2022-04-18 21:16:06 +0200 <sclv> a ghc you get by any other means than homebrew will not play well with any homebrew tools iirc
2022-04-18 21:16:33 +0200 <romesrf> Hm. However I've been using ghcup this whole time. I'll be back, let me follow up on this lead
2022-04-18 21:16:37 +0200 <jerry99> when I am migrating to a new stack version, how can I delete all the libraries downloaded for the stack snapshot that I no longer use? I could find directory with ghc that I can just delete, but not sure how I'd track all the libraries, and there doesn't seem to be any automatic option that would remove things that are no longer needed
2022-04-18 21:17:14 +0200 <sclv> i recommend you stick to ghc from ghcup
2022-04-18 21:17:23 +0200 <sclv> its going to be if you have any nonstandard anything else that ghc uses in your path
2022-04-18 21:17:29 +0200 <romesrf> sclv: I do
2022-04-18 21:17:35 +0200 <sclv> well that's your problem
2022-04-18 21:17:59 +0200even4void(even4void@came.here.for-some.fun)
2022-04-18 21:18:02 +0200 <romesrf> I see
2022-04-18 21:18:13 +0200 <romesrf> brb
2022-04-18 21:18:15 +0200romesrf(~romes@185.5.8.134) (Quit: WeeChat 3.4.1)
2022-04-18 21:20:36 +0200 <sclv> ah they quit
2022-04-18 21:20:53 +0200 <sclv> was going to point out that ~/.ghcup/ghc/9.2.1/lib/ghc-9.2.1/lib/settings or the like will have a setting like "ar supports at file" which can be tweaked
2022-04-18 21:24:23 +0200mixfix41(~sdenynine@user/mixfix41) (Quit: brb)
2022-04-18 21:26:54 +0200romesrf(~romes@185.5.8.134)
2022-04-18 21:27:04 +0200 <romesrf> Fixed it by reinstalling ghc itself. Should have tried just ghc compilation sooner
2022-04-18 21:27:13 +0200 <romesrf> thanks all
2022-04-18 21:27:40 +0200 <geekosaur> that prpobably made it recompute the "ar supports at file" setting in lib/settings
2022-04-18 21:27:58 +0200 <geekosaur> you left too quickly to see sclv suggest it
2022-04-18 21:29:28 +0200fendor(~fendor@178.165.176.112.wireless.dyn.drei.com) (Remote host closed the connection)
2022-04-18 21:30:37 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 21:32:55 +0200 <romesrf> geekosaur: :)
2022-04-18 21:32:58 +0200 <romesrf> sclv: thakm you
2022-04-18 21:33:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 21:35:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-18 21:40:34 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-04-18 21:42:48 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-18 21:44:55 +0200romesrf(~romes@185.5.8.134) (Quit: WeeChat 3.4.1)
2022-04-18 21:45:14 +0200romesrf(~romes@185.5.8.134)
2022-04-18 21:45:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 21:46:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-04-18 21:48:29 +0200 <sm> jerry99: stack-clean-old, from hackage, is good for that
2022-04-18 21:52:14 +0200romesrf(~romes@185.5.8.134) (Quit: WeeChat 3.4.1)
2022-04-18 21:55:23 +0200Hash(~Hash@hey.howstoned.ru)
2022-04-18 21:55:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-18 21:55:45 +0200 <shapr> dons: Is your PhD thesis available somewhere? The link from your website is broken.
2022-04-18 21:58:36 +0200acidjnk(~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de)
2022-04-18 22:00:18 +0200 <davean> shapr: Look who is talking about someone's website being broken!
2022-04-18 22:00:23 +0200 <davean> *glare*
2022-04-18 22:02:21 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-04-18 22:02:56 +0200 <shapr> uhhh, you have a point
2022-04-18 22:03:12 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-04-18 22:03:47 +0200 <davean> shapr: I'm sitting you down early next month and fixing this
2022-04-18 22:04:07 +0200Pickchea(~private@user/pickchea)
2022-04-18 22:05:20 +0200 <shapr> ha, works for me
2022-04-18 22:05:45 +0200 <janus> how can i run a script in ghci such that it exits with code 1 if there is e.g. an unbound name in there?
2022-04-18 22:06:08 +0200 <davean> janus: uh, what do you mean "run a script in ghci" and "exit"?
2022-04-18 22:06:34 +0200 <janus> like, currently i pipe into 'stack ghci' but it doesn't fail when there is e.g. an unknown function
2022-04-18 22:07:15 +0200 <janus> so currently it's like 'echo "import A; functionFromA" | stack ghci mycomponent'
2022-04-18 22:07:38 +0200 <davean> pipe into ... thats not what ghci is at all for
2022-04-18 22:07:51 +0200 <davean> thats crazy talk. theres runghc for stuff like that.
2022-04-18 22:08:30 +0200 <davean> ghci is "i", interactive
2022-04-18 22:12:00 +0200 <davean> https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=env#cabal-v2-run for the version that handles enviroments.
2022-04-18 22:16:53 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 22:19:29 +0200 <janus> ok, but i don't use cabal on this project, and 'stack runghc' only takes a module name or source file, not a component
2022-04-18 22:21:12 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-18 22:21:37 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 22:22:55 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 22:22:58 +0200drewr(~drew@user/drewr)
2022-04-18 22:23:53 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-18 22:24:02 +0200 <Macbethwin> eeesebeth
2022-04-18 22:24:16 +0200cheategg(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-04-18 22:24:38 +0200MacbethwinIeeesebeth
2022-04-18 22:26:00 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d49:457:7f2b:1073) (Ping timeout: 248 seconds)
2022-04-18 22:27:25 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 246 seconds)
2022-04-18 22:28:19 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-04-18 22:30:42 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-04-18 22:32:02 +0200redb(~nmh@136.49.49.211)
2022-04-18 22:34:15 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-18 22:35:47 +0200bahamas(~lucian@84.232.140.158)
2022-04-18 22:36:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-18 22:37:26 +0200cheategg(~Username@user/cheater)
2022-04-18 22:37:30 +0200schuelermine(~anselmsch@user/schuelermine)
2022-04-18 22:37:31 +0200bsima(~bsima@2604:a880:400:d0::19f1:7001)
2022-04-18 22:37:39 +0200 <energizer> :t (->)
2022-04-18 22:37:40 +0200 <lambdabot> error: parse error on input ‘->’
2022-04-18 22:37:43 +0200 <schuelermine> Does anybody know if there’s a mirror of cabal documentation somewhere?
2022-04-18 22:37:49 +0200 <schuelermine> haskell.org is down for me
2022-04-18 22:38:06 +0200 <sclv> cabal.readthedocs.io isn't on haskell.org
2022-04-18 22:39:01 +0200 <sclv> janus: use ghc -e instead?
2022-04-18 22:39:29 +0200bsima(~bsima@2604:a880:400:d0::19f1:7001) (WeeChat 3.3)
2022-04-18 22:39:42 +0200 <schuelermine> sclv: oh ok, I was linked to http://www.haskell.org/cabal/users-guide
2022-04-18 22:40:19 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-18 22:40:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-04-18 22:42:29 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174)
2022-04-18 22:43:39 +0200 <geekosaur> :k (->)
2022-04-18 22:43:40 +0200 <lambdabot> * -> * -> *
2022-04-18 22:44:34 +0200 <mjrosenb> trying again now that there are more people awake... Are there equivalents to Show / Read, which produce and consume Text, respectively?
2022-04-18 22:45:00 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2022-04-18 22:45:13 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-04-18 22:45:42 +0200 <schuelermine> best match basic hoogling finds me is:
2022-04-18 22:45:44 +0200 <schuelermine> Text.Pandoc.Shared.stringify :: Walkable Inline a => a -> Text
2022-04-18 22:45:51 +0200 <schuelermine> Debian.Pretty.ppText :: Pretty (PP a) => a -> Text
2022-04-18 22:46:01 +0200 <geekosaur> not currently, and I think many people would prefer for Read to go away because it's pretty lousy
2022-04-18 22:46:55 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-04-18 22:48:11 +0200stackdroid18(14094@user/stackdroid)
2022-04-18 22:49:26 +0200 <geekosaur> janus, https://paste.tomsmeding.com/2ePZ4088
2022-04-18 22:49:55 +0200 <geekosaur> doesn't help with stdin though
2022-04-18 22:50:09 +0200 <energizer> why does haskell have functions instead of only types?
2022-04-18 22:50:26 +0200xkuru(~xkuru@user/xkuru)
2022-04-18 22:50:34 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-18 22:51:13 +0200 <energizer> i guess it's performance
2022-04-18 22:51:29 +0200 <geekosaur> that quuestion does not make sense to me
2022-04-18 22:51:41 +0200 <schuelermine> energizer: Haskell has values and types
2022-04-18 22:51:49 +0200 <schuelermine> There is a function type which is the type of function values
2022-04-18 22:52:02 +0200 <schuelermine> Functions’ only special property is that they can be applied
2022-04-18 22:52:09 +0200 <schuelermine> Perhaps you are thinking of types as classes?
2022-04-18 22:52:19 +0200 <geekosaur> janus, and ghci won't accept /dev/stdin or equivalents apparently
2022-04-18 22:53:46 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-18 22:54:00 +0200xkuru(~xkuru@user/xkuru) (Client Quit)
2022-04-18 22:54:29 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-18 22:54:58 +0200 <schuelermine> Would you recommend using cabal’s simple test system or the detailed one, and if the latter, would you recommend using it directly or using something like QuickCheck?
2022-04-18 22:55:30 +0200xkuru(~xkuru@user/xkuru)
2022-04-18 22:55:38 +0200 <sclv> everyone only really uses the simple system
2022-04-18 22:55:41 +0200 <geekosaur> doesn't like -x hs either
2022-04-18 22:55:55 +0200 <sclv> and they tend to drive it with a library like tasty, which lets you plug in quickcheck, hspec, etc tests
2022-04-18 22:56:36 +0200 <schuelermine> sclv: ok
2022-04-18 22:58:14 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-04-18 23:00:12 +0200redb(~nmh@136.49.49.211)
2022-04-18 23:03:20 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds)
2022-04-18 23:05:03 +0200abiss27(~abiss27@user/abiss) (Quit: hasta la vista... tchau!)
2022-04-18 23:06:12 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-04-18 23:08:59 +0200Ieeesebethchargen
2022-04-18 23:09:13 +0200schuelermine(~anselmsch@user/schuelermine) (Ping timeout: 256 seconds)
2022-04-18 23:09:18 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-04-18 23:15:37 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-04-18 23:18:12 +0200schuelermine(~anselmsch@user/schuelermine)
2022-04-18 23:19:10 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-04-18 23:20:57 +0200schuelermine(~anselmsch@user/schuelermine) (Client Quit)
2022-04-18 23:21:35 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-04-18 23:23:21 +0200 <zzz> energizer: mind that type constructors are functions
2022-04-18 23:24:47 +0200 <hpc> shapr: nope, it's short for something else
2022-04-18 23:25:01 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-04-18 23:25:17 +0200 <hpc> its true expansion can be found on hackage though
2022-04-18 23:26:13 +0200akegalj_(~akegalj@89-172-76-53.adsl.net.t-com.hr) (Ping timeout: 256 seconds)
2022-04-18 23:26:23 +0200 <RevoGen> Is there an intuitive way to understand functions as applicatives? I get how to evaluate "f <*> g = \x -> f x (g x)" on paper, I just don't get how something like this would be used
2022-04-18 23:27:47 +0200 <hpc> RevoGen: think Reader
2022-04-18 23:27:51 +0200 <hpc> @unmtl Reader e a
2022-04-18 23:27:51 +0200 <lambdabot> e -> a
2022-04-18 23:28:18 +0200 <hpc> the intuition here is that f and g are both getting x as the first argument
2022-04-18 23:28:43 +0200 <hpc> mentally erase x, which is the "environment", and what do you get
2022-04-18 23:29:02 +0200 <RevoGen> function composition?
2022-04-18 23:29:30 +0200 <hpc> almost
2022-04-18 23:29:55 +0200 <hpc> if it helps, copy into vim and do some backspacing
2022-04-18 23:31:05 +0200 <hpc> the general type of (<*>) is also a clue
2022-04-18 23:31:56 +0200 <hpc> as you mentally erase x, also erase f in the type
2022-04-18 23:34:26 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-04-18 23:34:43 +0200dextaa(~dextaa@user/dextaa) (Ping timeout: 256 seconds)
2022-04-18 23:35:27 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2022-04-18 23:36:18 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-18 23:36:49 +0200coot(~coot@213.134.190.95)
2022-04-18 23:37:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-18 23:38:03 +0200Hash(~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in)
2022-04-18 23:38:35 +0200Hash(~Hash@hey.howstoned.ru)
2022-04-18 23:41:16 +0200 <janus> can i get stack to write ghc environment files somehow?
2022-04-18 23:46:10 +0200 <jerry99> I have data X = X Y, and data Y = A | B | C <- is there a way to ensure that only X A and X B compile, and that X C gives compile-time error?
2022-04-18 23:46:43 +0200 <hpc> there are ways if you don't mind changing Y
2022-04-18 23:47:17 +0200 <hpc> for instance, with GADTs/DataKinds data Y where A :: Y False; B :: Y False; C :: Y True
2022-04-18 23:47:18 +0200adnaahm(~adnaahm@119.160.64.140) (Read error: Connection reset by peer)
2022-04-18 23:47:21 +0200 <jerry99> C is valid and legal in every other context where A and B would be used
2022-04-18 23:47:23 +0200 <hpc> data X = X (Y False)
2022-04-18 23:48:13 +0200 <hpc> there's also the possibility that you don't want Y at all
2022-04-18 23:48:23 +0200 <jerry99> so I'd rather keep Y as is, and make this requirement part of X type, since X restricts what Y values are valid. is that possibe?
2022-04-18 23:48:42 +0200adnaahm(~adnaahm@119.160.64.140)
2022-04-18 23:48:50 +0200 <hpc> maybe you don't expose the ability to manipulate X values outside the module
2022-04-18 23:48:59 +0200adnaahm(~adnaahm@119.160.64.140) (Client Quit)
2022-04-18 23:49:03 +0200 <hpc> then provide an api that guarantees the properties you want
2022-04-18 23:49:18 +0200 <hpc> Handle is a good example of how that might work
2022-04-18 23:49:27 +0200 <jerry99> mkX :: Y -> Maybe X?
2022-04-18 23:49:36 +0200motherfsck(~motherfsc@user/motherfsck)
2022-04-18 23:49:37 +0200 <jerry99> and don't expose constructor
2022-04-18 23:50:14 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
2022-04-18 23:50:43 +0200 <hpc> yeah
2022-04-18 23:50:58 +0200 <hpc> and mkX can have as interesting a type as you want
2022-04-18 23:52:09 +0200 <jerry99> ok I think that will do. not the compile-time safety I was looking for, but I'd rather keep Y as is. out of curiosity, if haskell had dependent types, we could put this constraint in the X type, while leaving Y as is?
2022-04-18 23:52:45 +0200 <hpc> you still have to change Y
2022-04-18 23:53:09 +0200 <hpc> or hmm, you don't but it's still kind of awkward
2022-04-18 23:53:34 +0200 <jerry99> just looked at your GADTs example. I don't quite get what this means. data Y where A :: Y False; B :: Y False; C :: Y True
2022-04-18 23:54:08 +0200 <hpc> basically, Y :: Bool -> Type, instead of just Y :: Type
2022-04-18 23:54:16 +0200 <hpc> a value of type (Y a) can be A, B, or C
2022-04-18 23:54:22 +0200 <hpc> a value of type Y False can be A or B
2022-04-18 23:54:29 +0200 <hpc> a value of type Y True can be C only
2022-04-18 23:54:56 +0200 <jerry99> what if there was Z, that contains different subset of Y? we would use sum type with 3 values instead of bool?
2022-04-18 23:54:58 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-04-18 23:55:06 +0200 <hpc> yeah
2022-04-18 23:55:20 +0200 <hpc> at that point you might define your own thing
2022-04-18 23:55:32 +0200 <hpc> or if you enjoy terrible code you might use Ord :D
2022-04-18 23:55:46 +0200 <jerry99> :)
2022-04-18 23:55:59 +0200 <hpc> i have thought about crawling hackage for all the enums and seeing how high i can get in an acme-typenats package
2022-04-18 23:56:15 +0200 <jerry99> and how could we accept all the Y values, we can just use Y as before?
2022-04-18 23:56:25 +0200 <hpc> parametric polymorphism
2022-04-18 23:56:35 +0200 <jerry99> ah ok
2022-04-18 23:56:37 +0200 <hpc> if the type parameter can be True or False, the constructor can be anything that satisfies either
2022-04-18 23:56:58 +0200 <hpc> but then maybe you end up with more troubles, because that 'a' needs to stay the same everywhere it's used
2022-04-18 23:57:18 +0200 <hpc> you might end up with lots of (Y a -> Y b) functions that are no longer usable with respect to X
2022-04-18 23:58:30 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-18 23:58:39 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-18 23:59:05 +0200coot(~coot@213.134.190.95)