IRCBrowse

2022/03/25

2022-03-25 00:02:31 +0100acidjnk(~acidjnk@p200300d0c7049f76ad7ddf43206a2c16.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-25 00:03:25 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-25 00:06:43 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-25 00:21:05 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it)
2022-03-25 00:22:43 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-25 00:23:13 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-03-25 00:26:06 +0100pnotequalnp(~Srain@207-118-121-128.dyn.centurytel.net)
2022-03-25 00:27:14 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-03-25 00:29:02 +0100pnotequalnp(~Srain@207-118-121-128.dyn.centurytel.net) (Changing host)
2022-03-25 00:29:02 +0100pnotequalnp(~Srain@user/pnotequalnp)
2022-03-25 00:29:26 +0100pnotequalnp(~Srain@user/pnotequalnp) ()
2022-03-25 00:29:39 +0100pnotequalnp(~Srain@user/pnotequalnp)
2022-03-25 00:30:24 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 272 seconds)
2022-03-25 00:35:11 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-25 00:36:13 +0100pnotequalnp(~Srain@user/pnotequalnp) (Remote host closed the connection)
2022-03-25 00:40:35 +0100benin(~benin@183.82.207.30) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 00:41:38 +0100Kaipi(~Kaiepi@156.34.47.253) (Quit: Leaving)
2022-03-25 00:41:53 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-03-25 00:43:43 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-03-25 00:44:10 +0100biberu(~biberu@user/biberu)
2022-03-25 00:48:10 +0100benin(~benin@183.82.207.30)
2022-03-25 00:48:49 +0100zyklotomic(~ethan@res388d-128-61-90-23.res.gatech.edu) (Ping timeout: 256 seconds)
2022-03-25 00:50:04 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0874-3206-ce5b-fa50.res6.spectrum.com) (Quit: Leaving)
2022-03-25 00:50:49 +0100zyklotomic(~ethan@res380d-128-61-85-225.res.gatech.edu)
2022-03-25 00:54:06 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-25 00:55:06 +0100xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 272 seconds)
2022-03-25 00:55:55 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-25e7-2817-2baa-33e2.res6.spectrum.com)
2022-03-25 00:57:38 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-25 01:03:24 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-03-25 01:05:07 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 01:11:14 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-25 01:19:06 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 01:19:47 +0100chenqisu1(~chenqisu1@183.217.201.88)
2022-03-25 01:20:07 +0100 <boxscape_> I'm not super familiar with Arrow notation, is it possible to modify this example https://paste.tomsmeding.com/ShbLAQlE so that the lambda takes two arguments instead of one? When I try it I get this error (ignore that it says to report it as a bug, that's just related to pretty printing and I just fixed it for a merge request)
2022-03-25 01:20:08 +0100 <boxscape_> https://paste.tomsmeding.com/ZItSRCZ5
2022-03-25 01:20:48 +0100mason0(~bc8147f2@cerf.good1.com)
2022-03-25 01:23:01 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 01:23:31 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 01:24:05 +0100zeenk(~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) (Quit: Konversation terminated!)
2022-03-25 01:24:40 +0100 <jackdk> try `proc x y`?
2022-03-25 01:25:41 +0100 <boxscape_> now it says "Boxed sums not supported" 🤔
2022-03-25 01:26:18 +0100 <boxscape_> but you're right that it doesn't make sense with just `proc x` at least
2022-03-25 01:28:55 +0100 <boxscape_> wait I forgot to enable -XArrows again, that's what it's complaining about
2022-03-25 01:29:11 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-25 01:29:55 +0100xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-03-25 01:30:08 +0100 <jackdk> what on earth are you doing, anyway, with boxing/unboxing and arrows?
2022-03-25 01:30:17 +0100 <jackdk> I mean it's in your handle but apart from that
2022-03-25 01:30:32 +0100Axman6unboxscape_
2022-03-25 01:30:53 +0100 <unboxscape_> {-# UNPACK #-} 4 lyf!
2022-03-25 01:30:55 +0100 <boxscape_> jackdk the boxing is only because it thought the arrow command was an unboxed sum, because -XArrows was disabled
2022-03-25 01:30:59 +0100 <boxscape_> nice
2022-03-25 01:31:13 +0100 <boxscape_> jackdk what I'm trying to do is make a test case for a ghc change
2022-03-25 01:31:42 +0100 <boxscape_> s/unboxed sum/boxed sum
2022-03-25 01:31:43 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-25 01:32:52 +0100 <boxscape_> weirdly uncanny to see someone else with a name so close to your own, even given the `Axman6 is now known as unboxscape_` message above it
2022-03-25 01:34:02 +0100 <boxscape_> anyway it looks like proc only supports a single argument but possibly having it take a tuple is an avenue worth exploring
2022-03-25 01:35:04 +0100 <boxscape_>  not very helpful that ghc says it couldn't match with ‘()’, because I have no idea where that comes from
2022-03-25 01:35:25 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 01:35:37 +0100unboxscape_coboxscape_
2022-03-25 01:35:55 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-03-25 01:35:59 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 01:36:08 +0100 <boxscape_> now I'm disappointed that we don't have a {-# COPACK #-} pragma
2022-03-25 01:36:59 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2022-03-25 01:37:37 +0100 <coboxscape_> "Store this in someone else's heap please"
2022-03-25 01:38:27 +0100 <geekosaur> each thread *does* have its own nursery…
2022-03-25 01:39:23 +0100zmt00(~zmt00@user/zmt00)
2022-03-25 01:40:41 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-03-25 01:40:57 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-25 01:41:47 +0100 <boxscape_> ah, I've found an example in the ghc testsuite that should work https://paste.tomsmeding.com/7mmhZm6Z
2022-03-25 01:42:35 +0100pnotequalnp(~pnotequal@user/pnotequalnp)
2022-03-25 01:43:05 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-152.cust.tzulo.com)
2022-03-25 01:43:42 +0100 <boxscape_> (might as well post the full file so it's not devoid of context https://paste.tomsmeding.com/FZBX0ZY5)
2022-03-25 01:44:07 +0100coboxscape_Axman6
2022-03-25 01:44:32 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-25 01:46:47 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-25 01:48:04 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-25 01:48:17 +0100fef(~thedawn@user/thedawn)
2022-03-25 01:48:24 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 01:48:53 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-03-25 01:50:46 +0100 <albet70> what's the function name of turn [[1,2],[3,4]...] to [1,2,3,4...]
2022-03-25 01:50:53 +0100 <Axman6> concat
2022-03-25 01:50:56 +0100 <Axman6> join
2022-03-25 01:51:03 +0100 <Axman6> (>>= id)
2022-03-25 01:51:07 +0100 <dons> :: [[a]] -> [a]
2022-03-25 01:51:08 +0100 <Axman6> mconcat
2022-03-25 01:51:15 +0100 <dons> if you write down the type and search for it, hoogle should find it
2022-03-25 01:51:18 +0100 <Axman6> foldMap id
2022-03-25 01:51:25 +0100 <boxscape_> @hoogle [[a]] -> [a]
2022-03-25 01:51:26 +0100 <lambdabot> GHC.List concat :: [[a]] -> [a]
2022-03-25 01:51:26 +0100 <lambdabot> GHC.OldList concat :: [[a]] -> [a]
2022-03-25 01:51:26 +0100 <lambdabot> Data.Universe.Helpers interleave :: [[a]] -> [a]
2022-03-25 01:52:02 +0100 <albet70> >>= id is new
2022-03-25 01:52:18 +0100 <jackdk> it's join
2022-03-25 01:52:23 +0100 <jackdk> :t (>>= id)
2022-03-25 01:52:24 +0100 <lambdabot> Monad m => m (m b) -> m b
2022-03-25 01:52:36 +0100 <dons> join.
2022-03-25 01:52:42 +0100 <pnotequalnp> There's also fold
2022-03-25 01:53:20 +0100 <albet70> foldl1 (+)
2022-03-25 01:53:25 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-25 01:54:09 +0100 <geekosaur> (++), not (+)
2022-03-25 01:54:40 +0100 <Axman6> % :t traverse Const
2022-03-25 01:54:41 +0100 <yahb> Axman6: (Traversable t, Monoid a) => t a -> Const a (t b)
2022-03-25 01:54:57 +0100 <Axman6> % :t getConst . traverse Const
2022-03-25 01:54:57 +0100 <yahb> Axman6: (Traversable t, Monoid c) => t c -> c
2022-03-25 01:55:38 +0100Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2022-03-25 01:57:51 +0100Techcable(~Techcable@user/Techcable)
2022-03-25 01:58:48 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-25 01:58:48 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-25 01:58:48 +0100wroathe(~wroathe@user/wroathe)
2022-03-25 01:59:11 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-25 02:00:52 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
2022-03-25 02:01:55 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-03-25 02:02:49 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 02:02:53 +0100Batzy(~quassel@user/batzy)
2022-03-25 02:03:19 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 02:04:32 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 02:05:13 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-25 02:06:32 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-03-25 02:06:39 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-25 02:06:54 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-25 02:08:03 +0100mmhat(~mmh@55d4e56a.access.ecotel.net) (Quit: WeeChat 3.4.1)
2022-03-25 02:08:19 +0100mud(~mud@user/kadoban)
2022-03-25 02:08:54 +0100k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-03-25 02:08:54 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-25 02:10:11 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2022-03-25 02:10:20 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-25 02:12:26 +0100nautical(~nautical@2601:602:900:1630::7cbb)
2022-03-25 02:16:26 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-25 02:18:12 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2022-03-25 02:18:26 +0100chomwitt(~chomwitt@2a02:587:dc0d:b200:f874:1c07:de06:7cf8) (Ping timeout: 260 seconds)
2022-03-25 02:18:40 +0100mason0(~bc8147f2@cerf.good1.com)
2022-03-25 02:24:37 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-25 02:26:03 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 256 seconds)
2022-03-25 02:26:36 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Quit: argh)
2022-03-25 02:27:27 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 02:30:55 +0100tjakway(~tjakway@gateway/vpn/pia/tjakway)
2022-03-25 02:31:24 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 240 seconds)
2022-03-25 02:33:24 +0100 <tjakway> have all haskell and ghc-related channels moved to libera?
2022-03-25 02:33:31 +0100 <Axman6> yes
2022-03-25 02:34:21 +0100 <tjakway> thanks, I heard a little about what happened at freenode but that was a long time ago and I wasn't sure if they'd split
2022-03-25 02:34:57 +0100pottsy(~pottsy@2400:4050:b560:3700:86b6:53c9:ddea:82ad)
2022-03-25 02:36:48 +0100leungbk`(~user@2603-8000-1201-2dd2-1c2f-c4f4-0d21-a4ac.res6.spectrum.com) (Remote host closed the connection)
2022-03-25 02:39:57 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-03-25 02:42:57 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-25 02:43:10 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-25 02:47:23 +0100Codaraxis(~Codaraxis@user/codaraxis)
2022-03-25 02:48:23 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-25 02:48:28 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-25 02:49:58 +0100erts(~erts@user/erts) (Quit: .)
2022-03-25 02:56:27 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-03-25 03:01:24 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-25 03:02:24 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-03-25 03:04:20 +0100tjakway(~tjakway@gateway/vpn/pia/tjakway) (Quit: WeeChat 2.8)
2022-03-25 03:05:36 +0100pottsy(~pottsy@2400:4050:b560:3700:86b6:53c9:ddea:82ad) (Ping timeout: 265 seconds)
2022-03-25 03:08:40 +0100 <albet70> :t (>>=)
2022-03-25 03:08:41 +0100 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2022-03-25 03:08:44 +0100 <albet70> :t id
2022-03-25 03:08:45 +0100 <lambdabot> a -> a
2022-03-25 03:09:40 +0100 <albet70> how id fit (a -> m b)?
2022-03-25 03:09:55 +0100 <albet70> id is a -> a
2022-03-25 03:10:04 +0100 <albet70> only when m b is a
2022-03-25 03:12:26 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 03:13:59 +0100 <jackdk> correct
2022-03-25 03:14:15 +0100 <jackdk> a can be anything, so set `a` to `m b`
2022-03-25 03:15:53 +0100 <abastro[m]> `join`?
2022-03-25 03:19:35 +0100mbuf(~Shakthi@171.61.240.79)
2022-03-25 03:20:34 +0100 <dsal> :t join
2022-03-25 03:20:35 +0100 <lambdabot> Monad m => m (m a) -> m a
2022-03-25 03:22:21 +0100notzmv(~zmv@user/notzmv)
2022-03-25 03:24:15 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-03-25 03:24:20 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-03-25 03:26:02 +0100Everything(~Everythin@37.115.210.35)
2022-03-25 03:26:52 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-25 03:27:46 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-25 03:27:58 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-25 03:35:47 +0100neurocyte0917090(~neurocyte@user/neurocyte) (Ping timeout: 260 seconds)
2022-03-25 03:41:21 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-25 03:49:36 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 03:49:54 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 272 seconds)
2022-03-25 03:51:10 +0100benin(~benin@183.82.207.30) (Ping timeout: 272 seconds)
2022-03-25 03:54:08 +0100 <boxscape_> % % (proc x -> (| id \case {a -> returnA -< a} |) x (x + 1)) 4
2022-03-25 03:54:08 +0100 <yahb> boxscape_: ; <interactive>:5:1: error: parse error on input `%'
2022-03-25 03:54:12 +0100 <boxscape_> % (proc x -> (| id \case {a -> returnA -< a} |) x (x + 1)) 4
2022-03-25 03:54:12 +0100 <yahb> boxscape_: 4
2022-03-25 03:54:30 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2022-03-25 03:54:35 +0100 <boxscape_> this is a bug, right? this shouldn't typecheck because \case is being given two arguments (x and (x + 1))
2022-03-25 03:54:57 +0100 <boxscape_> I'm rewriting this code in ghc atm and just want to make sure this isn't behavior that's correct for some reason
2022-03-25 03:56:23 +0100 <boxscape_> % (proc x -> (| id \case {} |) x (x + 1)) 4 -- I suppose \case in Arrows in general is in need of a bit of love atm
2022-03-25 03:56:23 +0100 <yahb> boxscape_: *** Exception: foldb of empty list; CallStack (from HasCallStack):; error, called at compiler/GHC/HsToCore/Arrows.hs:1201:14 in ghc:GHC.HsToCore.Arrows
2022-03-25 04:02:53 +0100benin(~benin@183.82.207.30)
2022-03-25 04:04:36 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving)
2022-03-25 04:04:40 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 04:05:30 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 04:08:09 +0100benin(~benin@183.82.207.30) (Quit: Ping timeout (120 seconds))
2022-03-25 04:08:44 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-03-25 04:10:19 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-25 04:10:23 +0100 <boxscape_> % (proc x -> (| id \x -> case x of {} |) x (x + 1)) 4
2022-03-25 04:10:23 +0100 <yahb> boxscape_: *** Exception: foldb of empty list; CallStack (from HasCallStack):; error, called at compiler/GHC/HsToCore/Arrows.hs:1201:14 in ghc:GHC.HsToCore.Arrows
2022-03-25 04:10:27 +0100 <boxscape_> oh no
2022-03-25 04:10:39 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-152.cust.tzulo.com) (Quit: Leaving)
2022-03-25 04:10:41 +0100 <boxscape_> I was going to look at empty case to figure out what to do for empty \case
2022-03-25 04:11:47 +0100benin(~benin@183.82.207.30)
2022-03-25 04:13:39 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-25 04:19:49 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 04:21:04 +0100benin(~benin@183.82.207.30) (Quit: Ping timeout (120 seconds))
2022-03-25 04:24:06 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-25 04:25:56 +0100benin(~benin@183.82.207.30)
2022-03-25 04:31:06 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-03-25 04:31:06 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-03-25 04:31:06 +0100finn_elijaFinnElija
2022-03-25 04:32:01 +0100 <pnotequalnp> It's just `\case` on its own
2022-03-25 04:32:19 +0100 <boxscape_> both work
2022-03-25 04:32:35 +0100 <boxscape_> \case is the same as \case {}
2022-03-25 04:34:55 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-25 04:36:03 +0100Guest|26(~Guest|26@r186-54-101-234.dialup.adsl.anteldata.net.uy)
2022-03-25 04:36:24 +0100 <Guest|26> hello, I got error 77 while installing on mac
2022-03-25 04:36:59 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 04:39:37 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2022-03-25 04:43:06 +0100Guest|26(~Guest|26@r186-54-101-234.dialup.adsl.anteldata.net.uy) (Ping timeout: 272 seconds)
2022-03-25 04:43:13 +0100benin(~benin@183.82.207.30) (Quit: Ping timeout (120 seconds))
2022-03-25 04:43:28 +0100Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2022-03-25 04:43:33 +0100benin(~benin@183.82.207.30)
2022-03-25 04:46:43 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-03-25 04:47:55 +0100 <Axman6> error from what? installing how? installing what?
2022-03-25 04:48:04 +0100 <Axman6> oh they've already gone
2022-03-25 04:49:48 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-25 04:49:59 +0100mvk(~mvk@2607:fea8:5cc3:7e00::7980) (Ping timeout: 256 seconds)
2022-03-25 04:50:45 +0100wroathe(~wroathe@user/wroathe)
2022-03-25 04:50:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-25 05:03:30 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 05:12:11 +0100mvk(~mvk@2607:fea8:5cc3:7e00::7980)
2022-03-25 05:12:53 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa)
2022-03-25 05:16:32 +0100deadmarshal_(~deadmarsh@95.38.116.46)
2022-03-25 05:17:00 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection)
2022-03-25 05:18:11 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa)
2022-03-25 05:19:28 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Client Quit)
2022-03-25 05:22:50 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 05:24:59 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds)
2022-03-25 05:27:19 +0100chenqisu1(~chenqisu1@183.217.201.88) (Ping timeout: 260 seconds)
2022-03-25 05:27:33 +0100 <monochrom> Error 77 while executing Order 66. >:)
2022-03-25 05:28:04 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-25 05:28:26 +0100 <Axman6> yeah pretty much my first thought too
2022-03-25 05:28:36 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 05:29:43 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-03-25 05:29:44 +0100 <jackdk> Guru Meditation: 55
2022-03-25 05:31:23 +0100 <abastro[m]> Perhaps a rant?
2022-03-25 05:32:01 +0100pottsy(~pottsy@2400:4050:b560:3700:fe0:b422:790d:35f6)
2022-03-25 05:34:36 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-25 05:36:44 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-25 05:36:57 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-25 05:37:42 +0100vglfr(~vglfr@46.96.132.108) (Remote host closed the connection)
2022-03-25 05:38:49 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 05:43:07 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Remote host closed the connection)
2022-03-25 05:43:34 +0100_xor(~xor@74.215.232.169)
2022-03-25 05:44:03 +0100pnotequalnp(~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds)
2022-03-25 05:47:04 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds)
2022-03-25 05:48:17 +0100mvk(~mvk@2607:fea8:5cc3:7e00::7980) (Ping timeout: 240 seconds)
2022-03-25 05:52:02 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-03-25 05:58:28 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 272 seconds)
2022-03-25 06:00:11 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-25 06:05:00 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 06:05:44 +0100nicbk(~nicbk@user/nicbk)
2022-03-25 06:07:14 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 06:09:56 +0100vysn(~vysn@user/vysn) (Ping timeout: 245 seconds)
2022-03-25 06:17:57 +0100deadmarshal_(~deadmarsh@95.38.116.46) (Ping timeout: 240 seconds)
2022-03-25 06:18:23 +0100AkechiShiro(~licht@user/akechishiro) (Quit: WeeChat 3.2.1)
2022-03-25 06:20:17 +0100merijn(~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl)
2022-03-25 06:25:43 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 06:25:45 +0100HotblackDesiato_(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-03-25 06:26:15 +0100HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds)
2022-03-25 06:27:17 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 06:29:43 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 06:37:12 +0100 <energizer> is it possible to write negative class bounds, like implement function for types that /aren't/ Monoid?
2022-03-25 06:38:37 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-25 06:43:02 +0100 <liz> energizer: that's an interesting question, do you have a practical use for it?
2022-03-25 06:43:09 +0100 <energizer> no
2022-03-25 06:48:36 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-25 06:52:22 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-25 06:53:05 +0100michalz(~michalz@185.246.204.105)
2022-03-25 06:54:17 +0100merijn(~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 06:56:36 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-25 06:56:56 +0100mikail(~mikail@2a02:c7f:bd03:2c00:38bf:5983:b068:95f1)
2022-03-25 06:57:34 +0100mikail(~mikail@2a02:c7f:bd03:2c00:38bf:5983:b068:95f1) (Client Quit)
2022-03-25 07:01:17 +0100 <c_wraith> It comes up sometimes when people want to do things like picking an implementation based on whether a constraint is present
2022-03-25 07:02:04 +0100 <c_wraith> The answer is - you can sort of do it, but it's very indirect and fragile
2022-03-25 07:02:12 +0100 <c_wraith> And I never bothered understanding how :)
2022-03-25 07:05:48 +0100michalz(~michalz@185.246.204.105) (Read error: No route to host)
2022-03-25 07:06:23 +0100michalz(~michalz@185.246.204.105)
2022-03-25 07:06:57 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 07:09:25 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-03-25 07:09:38 +0100polux(~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io)
2022-03-25 07:10:10 +0100polux(~polux@51-15-169-172.rev.poneytelecom.eu)
2022-03-25 07:13:42 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 07:14:12 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 07:15:51 +0100benin(~benin@183.82.207.30) (Ping timeout: 256 seconds)
2022-03-25 07:17:54 +0100Guest50(~Guest50@94.54.249.160)
2022-03-25 07:41:00 +0100 <Axman6> yeah being able to do things like pick a Vector based on whether the type is Primitive, Unpack etc would be useful
2022-03-25 07:48:12 +0100chenqisu1(~chenqisu1@183.217.201.88)
2022-03-25 07:49:56 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-25 07:51:01 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-25 07:52:22 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-25 07:54:55 +0100nicbk(~nicbk@user/nicbk) (Ping timeout: 240 seconds)
2022-03-25 07:55:04 +0100 <dons> choosing based on membership of a set is doable, i think. but negation is much harder
2022-03-25 07:55:17 +0100 <dons> tends to make things unsound fast unless you are careful
2022-03-25 07:57:25 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-03-25 07:58:35 +0100Guest50(~Guest50@94.54.249.160) (Quit: Client closed)
2022-03-25 08:05:19 +0100 <Axman6> case getDict of None -> "No instance!"; Some Dict -> "Unbox it!"
2022-03-25 08:05:43 +0100 <Axman6> @hoogle Maybe (Dict c)
2022-03-25 08:05:43 +0100 <lambdabot> Control.Monad.Par.Class new :: ParIVar ivar m => m (ivar a)
2022-03-25 08:05:43 +0100 <lambdabot> Data.Ecstasy defStorage :: HasWorld world m => world ('WorldOf m)
2022-03-25 08:05:43 +0100 <lambdabot> Data.Ecstasy.Internal defStorage :: HasWorld world m => world ('WorldOf m)
2022-03-25 08:05:51 +0100 <Axman6> not even close lambdabot
2022-03-25 08:07:09 +0100 <Axman6> oh, Dict has two arguments!
2022-03-25 08:07:48 +0100 <Axman6> uh, no, was looking at barbie's version
2022-03-25 08:08:10 +0100acidjnk(~acidjnk@p200300d0c7049f68f01b5afaf545f9ab.dip0.t-ipconnect.de)
2022-03-25 08:08:30 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-25 08:12:19 +0100vysn(~vysn@user/vysn)
2022-03-25 08:13:17 +0100benin(~benin@106.198.91.80)
2022-03-25 08:14:30 +0100zeenk(~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94)
2022-03-25 08:14:58 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-25 08:16:15 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 252 seconds)
2022-03-25 08:19:14 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-25 08:19:24 +0100Everything(~Everythin@37.115.210.35) (Ping timeout: 240 seconds)
2022-03-25 08:19:49 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 08:20:26 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 08:20:26 +0100Everything(~Everythin@37.115.210.35)
2022-03-25 08:21:43 +0100 <Maxdamantus> instance ~(BeardTrimmer a) => BeardTrimmer a
2022-03-25 08:25:07 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-03-25 08:27:57 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 240 seconds)
2022-03-25 08:30:17 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-03-25 08:37:51 +0100gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-03-25 08:38:20 +0100fendor(~fendor@178.115.44.78.wireless.dyn.drei.com)
2022-03-25 08:43:45 +0100 <energizer> what does 'contraction' mean on this page https://en.wikipedia.org/wiki/Substructural_type_system
2022-03-25 08:43:55 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 08:45:42 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c822:9539:eb3b:6254)
2022-03-25 08:50:57 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 08:51:02 +0100dextaa_(~dextaa@user/dextaa)
2022-03-25 08:51:05 +0100cfricke(~cfricke@user/cfricke)
2022-03-25 08:51:19 +0100 <joel135> energizer: contraction is a term from linear logic (and logic in general, i guess)
2022-03-25 08:51:51 +0100 <joel135> it means a -> (a, a) i.e. duplication/copying
2022-03-25 08:52:43 +0100 <energizer> thanks
2022-03-25 08:56:04 +0100 <abastro[m]> Showerthought: pattern matching is confusing to beginners because real life deconstruction always makes the entirety unavailable, just like how linear logic works
2022-03-25 08:56:24 +0100briandaed(~root@109.95.142.93.r.toneticgroup.pl)
2022-03-25 08:59:18 +0100jtm(~jtm@user/jtm) (Remote host closed the connection)
2022-03-25 08:59:31 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-03-25 08:59:32 +0100the_proffesor(~theproffe@2601:282:847f:8010::7f59)
2022-03-25 08:59:40 +0100jtm(~jtm@user/jtm)
2022-03-25 09:00:34 +0100loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net)
2022-03-25 09:00:43 +0100loonycyborg(loonycybor@wesnoth/developer/loonycyborg)
2022-03-25 09:01:11 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-03-25 09:01:30 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-25 09:01:35 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-25 09:02:29 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-03-25 09:03:24 +0100theproffesor_(~theproffe@2601:282:847f:8010::7f59) (Ping timeout: 240 seconds)
2022-03-25 09:03:57 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-03-25 09:04:33 +0100 <energizer> i'm often annoyed that the original is still in scope on the rhs
2022-03-25 09:06:16 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-03-25 09:07:35 +0100xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2022-03-25 09:07:55 +0100 <joel135> what do you mean?
2022-03-25 09:08:04 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-25 09:08:05 +0100 <joel135> both of you
2022-03-25 09:09:10 +0100 <energizer> match x with | foo bar => x + foo bar
2022-03-25 09:09:15 +0100xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-03-25 09:09:20 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 09:09:34 +0100 <energizer> but x should be unavailable because its contents were moved into foo bar
2022-03-25 09:09:42 +0100 <joel135> oh i see
2022-03-25 09:11:59 +0100acidjnk(~acidjnk@p200300d0c7049f68f01b5afaf545f9ab.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2022-03-25 09:13:06 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-03-25 09:13:58 +0100 <abastro[m]> energizer: Sounes like F#
2022-03-25 09:14:50 +0100 <energizer> F# would say "error there's no x in scope for x + foo bar"?
2022-03-25 09:16:28 +0100 <abastro[m]> Oh wait
2022-03-25 09:16:41 +0100 <abastro[m]> I mean, what language is the term from
2022-03-25 09:16:43 +0100 <abastro[m]> Ocaml?
2022-03-25 09:17:53 +0100 <energizer> granule
2022-03-25 09:18:35 +0100 <abastro[m]> Oh
2022-03-25 09:18:46 +0100 <abastro[m]> You meant the language with granular typing right
2022-03-25 09:18:50 +0100 <abastro[m]> That's so cool
2022-03-25 09:19:08 +0100 <abastro[m]> Perhaps easier to reason about at cost of less flexibility
2022-03-25 09:21:12 +0100oxide(~lambda@user/oxide)
2022-03-25 09:23:23 +0100 <energizer> but haskell's getting linear types innit
2022-03-25 09:24:57 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 09:28:16 +0100chomwitt(~chomwitt@2a02:587:dc0d:b200:e0e6:2517:8e76:8934)
2022-03-25 09:29:45 +0100mmhat(~mmh@55d4e150.access.ecotel.net)
2022-03-25 09:31:58 +0100nek0(~nek0@nek0.eu) (Quit: Ping timeout (120 seconds))
2022-03-25 09:32:15 +0100nek0(~nek0@nek0.eu)
2022-03-25 09:35:49 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-25 09:36:36 +0100 <abastro[m]> Well, not as powerful as granular
2022-03-25 09:37:34 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-25 09:37:43 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 09:37:48 +0100alMalsamolumberjack123
2022-03-25 09:39:11 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 09:40:15 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-03-25 09:42:15 +0100mason0(~bc8147f2@cerf.good1.com)
2022-03-25 09:42:20 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 09:47:44 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-25 09:49:16 +0100alp(~alp@user/alp)
2022-03-25 09:51:50 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-03-25 09:52:42 +0100acidjnk(~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de)
2022-03-25 09:52:51 +0100chomwitt(~chomwitt@2a02:587:dc0d:b200:e0e6:2517:8e76:8934) (Ping timeout: 245 seconds)
2022-03-25 09:52:54 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 09:53:17 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-03-25 09:53:59 +0100zaquest(~notzaques@5.130.79.72)
2022-03-25 09:57:27 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-03-25 09:59:12 +0100bahamas(~lucian@86.120.77.115)
2022-03-25 10:00:11 +0100freeman42x[m](~freeman42@2001:470:69fc:105::7d29) (Quit: You have been kicked for being idle)
2022-03-25 10:00:14 +0100norg[m](~norgmatri@2001:470:69fc:105::1:c809) (Quit: You have been kicked for being idle)
2022-03-25 10:00:37 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 10:00:48 +0100ccntrq(~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com)
2022-03-25 10:01:48 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-25 10:08:48 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 10:11:34 +0100vpan(~0@212.117.1.172)
2022-03-25 10:11:47 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-25 10:13:01 +0100benin(~benin@106.198.91.80) (Read error: Connection reset by peer)
2022-03-25 10:13:23 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-03-25 10:14:56 +0100bahamas(~lucian@86.120.77.115) (Ping timeout: 245 seconds)
2022-03-25 10:15:09 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 10:15:10 +0100benin(~benin@183.82.24.110)
2022-03-25 10:15:36 +0100xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2022-03-25 10:15:40 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 10:15:46 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 10:16:23 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 10:27:38 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-03-25 10:29:05 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 10:29:45 +0100bahamas(~lucian@86.120.77.115)
2022-03-25 10:31:34 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 10:33:59 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-25 10:34:19 +0100bahamas(~lucian@86.120.77.115) (Ping timeout: 250 seconds)
2022-03-25 10:38:57 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-25 10:39:17 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-25 10:39:27 +0100benin(~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 10:39:44 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-25 10:45:13 +0100benin(~benin@183.82.24.110)
2022-03-25 10:47:45 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-25 10:49:16 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving)
2022-03-25 10:49:22 +0100xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
2022-03-25 10:49:36 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-03-25 10:49:40 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 10:50:41 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-03-25 10:51:54 +0100 <mon_aaraj> Hm... well, it seems like my problem from earlier stays. I have my configuration file in ~/.config/.ghci: https://bpa.st/JPLQ and my GHC version is 9.2.2, confirmed via ghc --version and ghci --version as well, just in-case
2022-03-25 10:52:55 +0100benin(~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 10:58:29 +0100xkuru(~xkuru@user/xkuru)
2022-03-25 10:58:54 +0100 <mon_aaraj> i realised i haven't mentioned my issue; it's that GHCi does not seem to read or realise that the file exists in that path
2022-03-25 11:00:20 +0100Guest43(~Guest43@27.147.226.219)
2022-03-25 11:01:03 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 11:01:16 +0100 <sm> are you sure that's a path it looks at ? is there a ./.ghci or ~/.ghci ?
2022-03-25 11:01:24 +0100 <jackdk> monochrom: what is $XDG_CONFIG_HOME? https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#the-ghci-and-haskeline-fi…
2022-03-25 11:01:55 +0100 <jackdk> sorry monochrom , I mean mon_aaraj
2022-03-25 11:05:14 +0100 <Guest43> I am applying for gsoc summer of  haskell . During this period I am in my final year so I am not  totally free  but I really want to participate in gsoc . Cause probably I won't be able to apply to gsoc next year when I am not a student anymore? What can I do ?
2022-03-25 11:05:38 +0100acidjnk(~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-25 11:09:19 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-03-25 11:09:31 +0100 <mon_aaraj> jackdk: ``echo $XDG_CONFIG_HOME`` says ``/home/mon/.config``
2022-03-25 11:09:52 +0100 <mon_aaraj> /home/mon is my $HOME, of course
2022-03-25 11:10:58 +0100 <mon_aaraj> sm: no, there's none, but there *is* a ``~/.ghc`` folder that has ghci_history inside it. i tried to get rid of it, but ghc keeps creating it
2022-03-25 11:13:20 +0100 <Putonlalla> Could I use `unsafeCoerce` to instantiate a class that doesn't export its methods?
2022-03-25 11:13:28 +0100chenqisu1(~chenqisu1@183.217.201.88) (Quit: Leaving)
2022-03-25 11:13:31 +0100Guest43(~Guest43@27.147.226.219) (Quit: Client closed)
2022-03-25 11:13:33 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-25 11:13:41 +0100 <jackdk> mon_aaraj: dunno then, maybe run ghci with some extra `-v` or something and see if it tells you more?
2022-03-25 11:15:09 +0100 <mon_aaraj> https://bpa.st/X73A here's the result, i don't see anything myself
2022-03-25 11:15:10 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-25 11:18:37 +0100notzmv(~zmv@user/notzmv)
2022-03-25 11:20:35 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 260 seconds)
2022-03-25 11:20:53 +0100 <jackdk> Beats me, then, sorry.
2022-03-25 11:21:19 +0100 <sm> also, if it were it ~/.config wouldn't the convention usually be ~/.config/ghci ? But I'd consult the GHC manual
2022-03-25 11:22:02 +0100 <jackdk> I'd give that a go, yeah, though the manual says `$XDG_CONFIG_HOME/.ghci`. I'd also try `$XDG_CONFIG_HOME/.ghci/.ghci` just for kicks
2022-03-25 11:23:15 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 11:24:50 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 11:26:46 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-25 11:27:04 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-25 11:27:21 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1)
2022-03-25 11:30:53 +0100haskl(~haskl@user/haskl) (Read error: Connection reset by peer)
2022-03-25 11:31:01 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 11:31:41 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal)
2022-03-25 11:33:00 +0100haskl(~haskl@user/haskl)
2022-03-25 11:34:56 +0100mohy(~mohy@eduroam-mff-ms.koleje.cuni.cz)
2022-03-25 11:35:25 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-25 11:37:04 +0100mohy_(~mohy@eduroam-mff-ms.koleje.cuni.cz)
2022-03-25 11:39:21 +0100mohy(~mohy@eduroam-mff-ms.koleje.cuni.cz) (Ping timeout: 256 seconds)
2022-03-25 11:40:36 +0100mohy_(~mohy@eduroam-mff-ms.koleje.cuni.cz) (Client Quit)
2022-03-25 11:42:34 +0100otis^(~otis@96-91-136-49-static.hfc.comcastbusiness.net)
2022-03-25 11:43:41 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-25 11:45:22 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-03-25 11:46:42 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 11:47:24 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 11:58:55 +0100liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving)
2022-03-25 12:00:12 +0100 <Putonlalla> I'm trying to use this to import types, but it's not working due to `Illegal promoted term variable in a type` errors. https://www.tweag.io/blog/2021-01-07-haskell-dark-arts-part-i/
2022-03-25 12:00:18 +0100toulene3(~toulene@user/toulene)
2022-03-25 12:00:26 +0100benin(~benin@183.82.24.110)
2022-03-25 12:01:22 +0100toulene(~toulene@user/toulene) (Ping timeout: 272 seconds)
2022-03-25 12:01:23 +0100toulene3toulene
2022-03-25 12:02:43 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-25 12:05:10 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-03-25 12:06:18 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-25 12:06:45 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 12:07:15 +0100zeenk(~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) (Quit: Konversation terminated!)
2022-03-25 12:07:37 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-25 12:08:54 +0100chomwitt(~chomwitt@2a02:587:dc0d:b200:a198:e1d2:32d4:cbec)
2022-03-25 12:10:27 +0100 <mon_aaraj> i think i'll make a GHCi issue, that feels like the right place
2022-03-25 12:14:26 +0100rkrishnan(~user@2402:e280:215c:2cd:563e:b443:91bb:d4e2)
2022-03-25 12:15:21 +0100 <boxscape> mon_aaraj: you can also try renaming the .ghci file into ~/.config/.ghc/ghci.conf
2022-03-25 12:15:25 +0100Typedfern(~Typedfern@122.red-88-24-160.staticip.rima-tde.net) (Ping timeout: 240 seconds)
2022-03-25 12:17:51 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-25 12:19:56 +0100 <mon_aaraj> yep, i have
2022-03-25 12:20:09 +0100 <boxscape_> hmm okay
2022-03-25 12:20:10 +0100 <mon_aaraj> i have tried ~/.config/ghci/ghci.conf as well, and ~/.config/ghci.conf
2022-03-25 12:20:51 +0100 <boxscape_> I thought .config/.ghci/ghci.conf worked for me, but I think it actually just works because I ln -s'd ~/.ghc to .config/.ghc
2022-03-25 12:23:48 +0100benin(~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 12:23:59 +0100razetime(~quassel@117.254.34.170)
2022-03-25 12:29:16 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 12:31:36 +0100Typedfern(~Typedfern@220.red-83-56-165.dynamicip.rima-tde.net)
2022-03-25 12:36:12 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 12:38:26 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 12:38:34 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-25 12:41:53 +0100pagnol(~user@014198154145.ctinets.com)
2022-03-25 12:48:25 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-25 12:50:16 +0100deadmarshal_(~deadmarsh@95.38.116.46)
2022-03-25 12:50:29 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 12:51:20 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 12:56:23 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-03-25 12:57:56 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 12:58:12 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-03-25 12:58:51 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 250 seconds)
2022-03-25 13:04:14 +0100synthmeat(~synthmeat@user/synthmeat) (Quit: WeeChat 3.0)
2022-03-25 13:10:35 +0100bahamas(~lucian@84.232.140.158)
2022-03-25 13:14:52 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 13:15:18 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-03-25 13:15:43 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 13:21:12 +0100synthmeat(~synthmeat@user/synthmeat)
2022-03-25 13:23:52 +0100Pickchea(~private@user/pickchea)
2022-03-25 13:25:23 +0100pagnol(~user@014198154145.ctinets.com) (Remote host closed the connection)
2022-03-25 13:27:26 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 13:40:12 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-03-25 13:41:48 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-25 13:41:51 +0100p3n_(~p3n@217.198.124.246)
2022-03-25 13:41:51 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Read error: Connection reset by peer)
2022-03-25 13:46:17 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2022-03-25 13:49:19 +0100tabemann(~travisb@2600:1700:7990:24e0:ef59:1828:166d:a63e) (Remote host closed the connection)
2022-03-25 13:49:32 +0100tabemann(~travisb@2600:1700:7990:24e0:3f89:422:8b05:c533)
2022-03-25 13:50:49 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-25 13:50:51 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 260 seconds)
2022-03-25 13:56:09 +0100xkuru(~xkuru@user/xkuru)
2022-03-25 13:57:48 +0100razetime(~quassel@117.254.34.170) (Ping timeout: 252 seconds)
2022-03-25 14:01:25 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 14:04:50 +0100gdd(~gdd@129.199.146.230) (Ping timeout: 268 seconds)
2022-03-25 14:06:15 +0100razetime(~quassel@117.254.34.57)
2022-03-25 14:06:26 +0100gdd(~gdd@129.199.146.230)
2022-03-25 14:07:15 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-03-25 14:07:35 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2022-03-25 14:08:30 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 14:08:36 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 14:10:03 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 14:11:47 +0100p3n_(~p3n@217.198.124.246) (Ping timeout: 256 seconds)
2022-03-25 14:12:04 +0100p3n(~p3n@217.198.124.246)
2022-03-25 14:17:14 +0100razetime(~quassel@117.254.34.57) (Read error: Connection reset by peer)
2022-03-25 14:19:22 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-25 14:23:13 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-03-25 14:23:14 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-03-25 14:23:16 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2022-03-25 14:23:44 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-03-25 14:23:59 +0100vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2022-03-25 14:24:50 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 14:26:31 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 256 seconds)
2022-03-25 14:26:50 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2022-03-25 14:27:41 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-03-25 14:27:46 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2022-03-25 14:28:22 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-03-25 14:28:40 +0100ubert(~Thunderbi@185.209.196.165)
2022-03-25 14:30:18 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-25 14:31:56 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-25 14:32:32 +0100ub(~Thunderbi@194.110.113.41)
2022-03-25 14:32:44 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 272 seconds)
2022-03-25 14:33:00 +0100ubert(~Thunderbi@185.209.196.165) (Ping timeout: 252 seconds)
2022-03-25 14:33:00 +0100ububert
2022-03-25 14:33:12 +0100lainon(~lainon@2601:7c0:c500:4d20::2ff6)
2022-03-25 14:35:05 +0100astraamish
2022-03-25 14:35:26 +0100amish(sid289983@id-289983.hampstead.irccloud.com) (Changing host)
2022-03-25 14:35:26 +0100amish(sid289983@user/amish)
2022-03-25 14:36:29 +0100amishastra
2022-03-25 14:37:21 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-25 14:39:23 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-03-25 14:39:26 +0100razetime(~quassel@117.254.34.57)
2022-03-25 14:40:20 +0100ystael(~ystael@user/ystael)
2022-03-25 14:42:33 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-03-25 14:42:52 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-25 14:46:03 +0100ub(~Thunderbi@138.199.15.169)
2022-03-25 14:46:12 +0100ubert(~Thunderbi@194.110.113.41) (Ping timeout: 252 seconds)
2022-03-25 14:46:12 +0100ububert
2022-03-25 14:47:02 +0100 <Midjak> Hi. Is it safe to use cabal and stack on the same system ?
2022-03-25 14:47:14 +0100ubert(~Thunderbi@138.199.15.169) (Client Quit)
2022-03-25 14:47:27 +0100 <geekosaur> sure, they just can't share packages
2022-03-25 14:48:20 +0100 <Midjak> ok. So there is no risk to have conflicts , right ?
2022-03-25 14:48:27 +0100 <geekosaur> right
2022-03-25 14:48:36 +0100 <Midjak> cool thank you
2022-03-25 14:48:52 +0100 <maerwald> Midjak: they're enemies... you have to hide them from each other or they try to delete each other
2022-03-25 14:49:08 +0100maerwaldgiggles
2022-03-25 14:51:02 +0100 <Midjak> It's perhaps a silly question . I am not sure how stack and cabale work with dependencies
2022-03-25 14:52:47 +0100 <maerwald> stack installs into ~/.stack, cabal into ~/.cabal
2022-03-25 14:52:49 +0100bahamas(~lucian@92.85.13.88)
2022-03-25 14:53:03 +0100 <Midjak> simple and sure
2022-03-25 14:53:13 +0100 <maerwald> even when using them on the same project, stack uses .stack-work/ and cabal dist-newstyle/
2022-03-25 14:53:23 +0100 <maerwald> for project-local artifcats
2022-03-25 14:53:56 +0100 <maerwald> the only "conflict" can be stacks hpack usage (package.yaml)
2022-03-25 14:54:09 +0100 <maerwald> make sure to not use any of those
2022-03-25 14:54:16 +0100 <maerwald> and edit *.cabal directly
2022-03-25 14:54:38 +0100 <Midjak> what is hpack ?
2022-03-25 14:54:46 +0100 <maerwald> something that generates *.cabal files
2022-03-25 14:54:48 +0100 <maerwald> you don't need it
2022-03-25 14:55:03 +0100 <Midjak> ok
2022-03-25 14:55:24 +0100rkrishnan(~user@2402:e280:215c:2cd:563e:b443:91bb:d4e2) (Ping timeout: 240 seconds)
2022-03-25 14:55:54 +0100 <Midjak> thank you both
2022-03-25 14:57:46 +0100ec(~ec@gateway/tor-sasl/ec)
2022-03-25 14:59:58 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.4)
2022-03-25 15:02:08 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2022-03-25 15:07:50 +0100stepcut(~lordgothi@c-24-13-80-95.hsd1.il.comcast.net)
2022-03-25 15:08:45 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-25 15:09:32 +0100 <stepcut> I am using GHC 9.2.1, but this macro does not seem to work, #if __GLASGOW_HASKELL__ >= 921. If I change it to 900 then it works. What am I doing wrong? Is this macro deprecated now?
2022-03-25 15:09:42 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-25 15:10:21 +0100otis^(~otis@96-91-136-49-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-03-25 15:10:38 +0100 <stepcut> should I be using 'if MIN_VERSION_ghc(9,2,1)' or something?
2022-03-25 15:11:36 +0100 <maerwald> stepcut: that would check against the *package* ghc
2022-03-25 15:11:44 +0100 <stepcut> ah
2022-03-25 15:11:51 +0100 <byorgey> stepcut: for GHC version x.y.z the value of __GLASGOW_HASKELL__ is xyy, possibly with a leading zero
2022-03-25 15:11:52 +0100 <maerwald> did you try >= 902?
2022-03-25 15:11:55 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-25 15:12:00 +0100 <byorgey> should be 902 for GHC 9.2.1
2022-03-25 15:12:10 +0100 <maerwald> https://guide.aelve.com/haskell/cpp-vww0qd72#item-fkuvztqe
2022-03-25 15:12:12 +0100 <maerwald> yes
2022-03-25 15:12:17 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net)
2022-03-25 15:12:46 +0100 <stepcut> oh
2022-03-25 15:12:47 +0100 <maerwald> if you're instead relying on base stuff, use MIN_VERSION_base(...)
2022-03-25 15:13:05 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-25 15:13:10 +0100 <maerwald> byorgey: what happens with ghc 10? :D
2022-03-25 15:13:14 +0100 <stepcut> I guess I don't know why it is 902, but if that is right, that is fine
2022-03-25 15:13:33 +0100 <byorgey> maerwald: logically, according to this specification, there can never be a GHC 10
2022-03-25 15:13:36 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 15:13:40 +0100 <byorgey> GHC version numbers will asymptotically approach 10
2022-03-25 15:13:57 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-25 15:14:04 +0100 <stepcut> maerwald: hmm.. perhaps I should be checking against base. I need some conditional code for dealing with the internal changes to Word8/Word16/Word32/Int8/Int16/Int32 types
2022-03-25 15:14:41 +0100 <maerwald> stepcut: `ghcup list` shows you base versions
2022-03-25 15:14:59 +0100 <maerwald> or use https://gitlab.haskell.org/ghc/ghc/-/wikis/working-conventions/boot-libraries
2022-03-25 15:15:28 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-25 15:17:36 +0100yauhsien(~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-03-25 15:18:20 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-03-25 15:22:31 +0100 <stepcut> maerwald: I guess I am unclear in this case if checking the version of GHC or the version of base would be better since the internal representation of Int?/Word? required the addition of new primitives to GHC. It is more than just needing a new base -- you also need the newer GHC -- though you can't get one without the other
2022-03-25 15:27:30 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-03-25 15:30:03 +0100Guest91(~Guest91@114.246.34.22)
2022-03-25 15:30:55 +0100m5zs7k(aquares@web10.mydevil.net) (Read error: Connection reset by peer)
2022-03-25 15:31:06 +0100m5zs7k_(~m5zs7k@web10.mydevil.net)
2022-03-25 15:31:34 +0100m5zs7k_m5zs7k
2022-03-25 15:31:48 +0100on^(~on@96-91-136-49-static.hfc.comcastbusiness.net)
2022-03-25 15:34:35 +0100n3t(n3t@user/n3t) (Ping timeout: 252 seconds)
2022-03-25 15:35:00 +0100 <boxscape> version 10 doesn't seem ambiguous as long as it uses 4 digits
2022-03-25 15:35:27 +0100Guest91bruceLi
2022-03-25 15:35:29 +0100 <boxscape> or wait
2022-03-25 15:35:34 +0100 <boxscape> is 9021 also valid?
2022-03-25 15:35:35 +0100bruceLi(~Guest91@114.246.34.22) (Quit: Ping timeout (120 seconds))
2022-03-25 15:36:12 +0100n3t(~n3t@s45.mydevil.net)
2022-03-25 15:36:16 +0100Guest91(~Guest91@114.246.34.22)
2022-03-25 15:37:08 +0100 <boxscape> since it's just comparing integers, that shouldn't be valid, so I rest my case
2022-03-25 15:38:12 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-03-25 15:40:32 +0100 <maerwald[m]> stepcut: if you're dealing with Haskell imports, it's probably base
2022-03-25 15:41:37 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-03-25 15:43:01 +0100 <stepcut> maerwald: that seems somewhat sensible. I guess if JHC suddenly got a lot of development, then what I would care about is the version of base where this change happened
2022-03-25 15:43:01 +0100Guest91(~Guest91@114.246.34.22) (Ping timeout: 256 seconds)
2022-03-25 15:43:09 +0100 <stepcut> rather than the compiler version
2022-03-25 15:43:25 +0100 <maerwald[m]> Checking against ghc version would only make sense to guard against primops bugs, for example
2022-03-25 15:43:44 +0100 <maerwald[m]> And there are some
2022-03-25 15:45:02 +0100Guest91(~Guest91@114.246.34.22)
2022-03-25 15:45:02 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-03-25 15:46:07 +0100bahamas(~lucian@92.85.13.88) (Ping timeout: 250 seconds)
2022-03-25 15:46:28 +0100hololeap(~hololeap@user/hololeap)
2022-03-25 15:47:37 +0100oxide(~lambda@user/oxide) (Quit: oxide)
2022-03-25 15:48:28 +0100Guest91(~Guest91@114.246.34.22) (Client Quit)
2022-03-25 15:51:20 +0100Guest91(~Guest91@114.246.34.22)
2022-03-25 15:53:18 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-25 15:55:08 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-25 15:56:03 +0100Guest91(~Guest91@114.246.34.22) (Ping timeout: 256 seconds)
2022-03-25 15:56:23 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-25 15:58:03 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 15:58:21 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 16:06:45 +0100dextaa_(~dextaa@user/dextaa)
2022-03-25 16:07:01 +0100zebrag(~chris@user/zebrag)
2022-03-25 16:07:49 +0100Guest91(~Guest91@198.13.48.162)
2022-03-25 16:13:29 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: boxscape_)
2022-03-25 16:13:43 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-25 16:15:52 +0100ccntrq(~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com) (Quit: ccntrq)
2022-03-25 16:16:00 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-25 16:17:52 +0100Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-03-25 16:18:22 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:c822:9539:eb3b:6254) (Quit: WeeChat 2.8)
2022-03-25 16:21:57 +0100razetime(~quassel@117.254.34.57) (Ping timeout: 240 seconds)
2022-03-25 16:26:13 +0100vysn(~vysn@user/vysn)
2022-03-25 16:26:57 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-03-25 16:27:56 +0100rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
2022-03-25 16:30:21 +0100razetime(~quassel@117.254.34.170)
2022-03-25 16:31:40 +0100mmhat(~mmh@55d4e150.access.ecotel.net) (Quit: WeeChat 3.4.1)
2022-03-25 16:32:12 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 16:34:43 +0100Guest91(~Guest91@198.13.48.162) (Quit: Client closed)
2022-03-25 16:34:55 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds)
2022-03-25 16:36:20 +0100crazazy(~user@130.89.171.62)
2022-03-25 16:40:24 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 16:43:47 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection)
2022-03-25 16:46:25 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Read error: Connection reset by peer)
2022-03-25 16:47:56 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-25 16:48:03 +0100bahamas(~lucian@84.232.140.158)
2022-03-25 16:51:29 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-25 16:52:51 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 260 seconds)
2022-03-25 17:00:25 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-25 17:02:19 +0100 <crazazy> guys I think I found a new recursion scheme
2022-03-25 17:06:04 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-25 17:06:51 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2022-03-25 17:07:49 +0100 <janus> crazazy: what is the name? i will name my first born after it
2022-03-25 17:08:43 +0100 <crazazy> i call it an "optomorphism" (i think). It's an unfold tat produces 0 or 1 layers of recursive datatye
2022-03-25 17:08:52 +0100 <crazazy> type*
2022-03-25 17:09:34 +0100 <monochrom> I was hoping ironically "I'm looking for a name? What's the name of your firstborn? I may steal it.", thus completing the recursion scheme. >:)
2022-03-25 17:09:42 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-03-25 17:09:45 +0100 <crazazy> oh lol
2022-03-25 17:10:07 +0100benin(~benin@183.82.24.110)
2022-03-25 17:10:16 +0100 <crazazy> *ahem* back to the drawing board
2022-03-25 17:10:36 +0100 <crazazy> janus: what's the name for your firstborn? I don't have a name yet
2022-03-25 17:10:47 +0100 <janus> 'undefined'
2022-03-25 17:10:59 +0100 <crazazy> oh oof that name is taken
2022-03-25 17:11:19 +0100benin(~benin@183.82.24.110) (Client Quit)
2022-03-25 17:17:56 +0100dcoutts_(~duncan@host86-167-90-249.range86-167.btcentralplus.com)
2022-03-25 17:18:17 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-25 17:18:18 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-25 17:19:37 +0100dcoutts_(~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Remote host closed the connection)
2022-03-25 17:19:55 +0100dcoutts_(~duncan@host86-167-90-249.range86-167.btcentralplus.com)
2022-03-25 17:20:35 +0100dcoutts__(~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Ping timeout: 250 seconds)
2022-03-25 17:23:24 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 17:24:13 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 17:24:17 +0100rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2022-03-25 17:24:44 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 17:24:50 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 17:24:58 +0100benin(~benin@183.82.24.110)
2022-03-25 17:25:27 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 17:25:33 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 17:26:39 +0100benin(~benin@183.82.24.110) (Client Quit)
2022-03-25 17:27:30 +0100bahamas(~lucian@84.232.140.158)
2022-03-25 17:27:35 +0100benin(~benin@183.82.24.110)
2022-03-25 17:30:51 +0100econo(uid147250@user/econo)
2022-03-25 17:32:47 +0100benin(~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 17:33:46 +0100benin(~benin@183.82.24.110)
2022-03-25 17:45:25 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-03-25 17:46:30 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 17:47:20 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-03-25 17:49:22 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-25 17:52:19 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-03-25 18:00:36 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-25 18:04:24 +0100alp(~alp@user/alp)
2022-03-25 18:06:08 +0100jtm(~jtm@user/jtm) (Quit: Leaving)
2022-03-25 18:08:59 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-25 18:11:51 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-25 18:12:17 +0100Pickchea(~private@user/pickchea)
2022-03-25 18:13:00 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 18:15:11 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 18:15:33 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 18:20:52 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-25 18:21:30 +0100 <Zemyla> :t (<>) . Kleisli
2022-03-25 18:21:31 +0100 <lambdabot> Semigroup (Kleisli m a b) => (a -> m b) -> Kleisli m a b -> Kleisli m a b
2022-03-25 18:22:45 +0100rvbcldud(~rvbcldud@2601:602:87f:4220:c526:c452:c7e1:199e) (Quit: WeeChat 3.3)
2022-03-25 18:23:00 +0100fendor_(~fendor@91.141.68.132.wireless.dyn.drei.com)
2022-03-25 18:23:19 +0100 <Zemyla> When should Kleisli be a Semigroup?
2022-03-25 18:23:48 +0100mbuf(~Shakthi@171.61.240.79) (Quit: Leaving)
2022-03-25 18:24:03 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 18:24:37 +0100kaph_(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-25 18:24:47 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-25 18:25:35 +0100 <int-e> I guess you could have an arrow version of Endo
2022-03-25 18:25:39 +0100fendor(~fendor@178.115.44.78.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2022-03-25 18:25:49 +0100 <int-e> And that would be a monoid
2022-03-25 18:26:36 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-25 18:27:15 +0100 <boxscape_> though then you'd have (<>) . ArrEndo . Kleisli
2022-03-25 18:27:48 +0100 <Franciman> :t Endo
2022-03-25 18:27:49 +0100 <lambdabot> (a -> a) -> Endo a
2022-03-25 18:28:00 +0100 <Franciman> why do we need the newtype Endo?
2022-03-25 18:28:02 +0100 <Franciman> for monoids?
2022-03-25 18:28:29 +0100ahammer(~ahammer@157.122.68.227) (Ping timeout: 256 seconds)
2022-03-25 18:28:50 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 18:29:25 +0100 <int-e> foldr f z t = appEndo (foldMap (Endo . f) t) z
2022-03-25 18:29:37 +0100Pickchea(~private@user/pickchea) (Ping timeout: 256 seconds)
2022-03-25 18:29:54 +0100 <int-e> (from Foldable, replacing the #. by . because it would just distract from the use of Endo)
2022-03-25 18:30:49 +0100 <boxscape_> > appEndo (foldMap Endo [(+1), (*2), (^3)]) 5
2022-03-25 18:30:51 +0100 <lambdabot> 251
2022-03-25 18:30:59 +0100 <Franciman> :t appEndo
2022-03-25 18:31:01 +0100 <lambdabot> Endo a -> a -> a
2022-03-25 18:31:03 +0100 <int-e> Franciman: if you talk about Kleisly, the monoid I'd be interested in would be the one on a -> m a, which is like Endo but in a different category.
2022-03-25 18:31:04 +0100 <Franciman> oh i see
2022-03-25 18:31:06 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 18:31:08 +0100 <energizer> i think i'd rather use pattern matching like cmp a b | a <= b -> 1 | a == b -> 2 | a > b -> 3 rather than using operators that return bool. is that an option?
2022-03-25 18:31:14 +0100 <int-e> *kleisli
2022-03-25 18:32:32 +0100 <boxscape_> energizer I'm confused by your question because it seems like the example of what you're saying you'd rather use does have operators that return bool
2022-03-25 18:33:34 +0100 <Franciman> int-e: can we call it EndoM ?
2022-03-25 18:33:36 +0100 <Franciman> :P
2022-03-25 18:34:00 +0100 <energizer> lemme try again
2022-03-25 18:34:05 +0100 <boxscape_> I'd rather just generalize Endo to work for all Arrows
2022-03-25 18:34:32 +0100 <energizer> i think i'd rather use pattern matching like ord a b | LE -> 1 | EQ -> 2 | GT -> 3 rather than using operators that return bool. is that an option?
2022-03-25 18:34:49 +0100 <int-e> Franciman: But sure, you could have instance Semigroup (m b) => Semigroup (Kleisli m a b)
2022-03-25 18:34:51 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-25 18:35:03 +0100 <Zemyla> So should (Applicative m, Semigroup b) => Semigroup (Kleisli m a b) like for (->)?
2022-03-25 18:35:14 +0100 <boxscape_> energizer can do `ord a b -> case compare a b of LE -> 1; EQ -> 2; GT -> 3`
2022-03-25 18:35:22 +0100 <int-e> (I don't think I'd use it, but whatever)
2022-03-25 18:35:25 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-25 18:36:06 +0100 <boxscape_> s/can/you can
2022-03-25 18:36:55 +0100ahammer(~ahammer@157.122.68.227) (Ping timeout: 260 seconds)
2022-03-25 18:37:09 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-25 18:38:33 +0100 <energizer> oh cool, thanks boxscape_
2022-03-25 18:38:44 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 18:39:06 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-03-25 18:39:25 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-25 18:39:50 +0100ahammer(~ahammer@157.122.68.227) (Client Quit)
2022-03-25 18:40:03 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 18:40:26 +0100 <energizer> is it too annoying to always use that instead of the boolean-returning operators?
2022-03-25 18:40:35 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 18:40:47 +0100 <boxscape_> personally I think it's fine
2022-03-25 18:41:00 +0100razetime(~quassel@117.254.34.170) (Ping timeout: 272 seconds)
2022-03-25 18:44:48 +0100ahammer(~ahammer@157.122.68.227) (Ping timeout: 272 seconds)
2022-03-25 18:46:33 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-25 18:46:34 +0100vglfr(~vglfr@46.96.132.108) (Read error: Connection reset by peer)
2022-03-25 18:46:45 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 18:46:49 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-25 18:47:34 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-03-25 18:47:50 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-25 18:48:20 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 18:48:57 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Client Quit)
2022-03-25 18:49:12 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-25 18:49:55 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-25 18:52:36 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-25 18:52:49 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 18:53:28 +0100pnotequalnp(~pnotequal@user/pnotequalnp)
2022-03-25 18:56:51 +0100benin(~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat)
2022-03-25 18:57:00 +0100ahammer(~ahammer@157.122.68.227) (Ping timeout: 240 seconds)
2022-03-25 18:57:04 +0100aliosablack(~chomwitt@94.66.60.177)
2022-03-25 18:58:17 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-25 18:58:24 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 260 seconds)
2022-03-25 18:58:24 +0100chomwitt(~chomwitt@2a02:587:dc0d:b200:a198:e1d2:32d4:cbec) (Ping timeout: 260 seconds)
2022-03-25 19:00:00 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-03-25 19:01:44 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 19:03:03 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-25 19:04:08 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 19:04:35 +0100Akiva(~Akiva@user/Akiva)
2022-03-25 19:06:27 +0100ahammer(~ahammer@157.122.68.227) (Ping timeout: 256 seconds)
2022-03-25 19:08:50 +0100ahammer(~ahammer@157.122.68.227)
2022-03-25 19:09:01 +0100ahammer(~ahammer@157.122.68.227) (Remote host closed the connection)
2022-03-25 19:09:37 +0100dcoutts(~duncan@host86-151-44-233.range86-151.btcentralplus.com)
2022-03-25 19:12:12 +0100dcoutts_(~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Ping timeout: 240 seconds)
2022-03-25 19:13:15 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-25 19:14:09 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 256 seconds)
2022-03-25 19:14:58 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 19:20:32 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-25 19:22:16 +0100 <tomsmeding> pnotequalnp: https://paste.tomsmeding.com/4bu8JHdA
2022-03-25 19:22:17 +0100vglfr(~vglfr@46.96.132.108) (Ping timeout: 240 seconds)
2022-03-25 19:25:23 +0100quintasan(~quassel@quintasan.pl) ()
2022-03-25 19:25:31 +0100pgib(~textual@173.38.117.75)
2022-03-25 19:25:55 +0100quintasan(~quassel@quintasan.pl)
2022-03-25 19:26:14 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-25 19:29:06 +0100alp(~alp@user/alp) (Ping timeout: 245 seconds)
2022-03-25 19:30:04 +0100alp(~alp@user/alp)
2022-03-25 19:31:45 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2022-03-25 19:35:20 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-25 19:36:06 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2022-03-25 19:38:20 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-25 19:41:22 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-03-25 19:41:34 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2022-03-25 19:42:41 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-03-25 19:50:43 +0100vglfr(~vglfr@46.96.132.108)
2022-03-25 19:51:18 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-25 19:51:36 +0100justOkay(~justache@user/justache) (Read error: Connection reset by peer)
2022-03-25 19:52:35 +0100justOkay(~justache@user/justache)
2022-03-25 19:56:53 +0100pnotequalnp(~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds)
2022-03-25 20:00:08 +0100o-90(~o-90@gateway/tor-sasl/o-90)
2022-03-25 20:03:31 +0100vicfred(~vicfred@user/vicfred)
2022-03-25 20:06:13 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 20:08:28 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 20:08:39 +0100o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-03-25 20:14:26 +0100jlamothe(~jlamothe@198.251.61.229) (Quit: leaving)
2022-03-25 20:14:44 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-03-25 20:19:31 +0100jlamothe(~jlamothe@198.251.61.229)
2022-03-25 20:31:35 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-25 20:31:43 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 260 seconds)
2022-03-25 20:36:32 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-25 20:36:35 +0100 <hololeap> anyone know of a lib like this for haskell? https://rubyapi.org/o/erb
2022-03-25 20:39:34 +0100 <tomsmeding> maerwald[m]: can you audit this bwrap command https://github.com/tomsmeding/pastebin-haskell/blob/play/bwrap-files/start.sh
2022-03-25 20:40:22 +0100 <Sqaure> If you want to describe a semi simple computation that is both computable and can show the result of each sub expression, what is the right datastructure?
2022-03-25 20:40:56 +0100 <Sqaure> Arrow?
2022-03-25 20:40:59 +0100 <maerwald> tomsmeding: this may be interesing for you https://gitlab.haskell.org/haskell/ghcup-hs/-/merge_requests/216/diffs#96eb0d2ea9d3017a76e863d75ff…
2022-03-25 20:40:59 +0100 <sm> hololeap: old answer: https://stackoverflow.com/a/5771359/84401
2022-03-25 20:41:09 +0100 <sm> has anyone here managed to build only static, or only dynamic, with stack ?
2022-03-25 20:41:32 +0100 <maerwald> tomsmeding: that's a syscall sandboxing tool that I tried to use to verify ghcup behavior and what files it accesses
2022-03-25 20:42:00 +0100 <maerwald> some of those files are actually from curl, not from ghcup
2022-03-25 20:42:25 +0100 <tomsmeding> maerwald: you're suggesting I use that on ghc?
2022-03-25 20:42:42 +0100 <maerwald> ah, no
2022-03-25 20:43:28 +0100 <tomsmeding> (though I am impressed the lengths you go to to make ghcup a good citizen :p )
2022-03-25 20:43:32 +0100 <tomsmeding> (ghcup is great btw)
2022-03-25 20:43:46 +0100 <maerwald> ah so you are following the playground approach or what
2022-03-25 20:43:52 +0100 <tomsmeding> yeah
2022-03-25 20:43:56 +0100 <sm> +1
2022-03-25 20:43:59 +0100 <tomsmeding> it ""works""
2022-03-25 20:44:18 +0100 <tomsmeding> as in, there is a <textarea> you can put code in, a <select> with ghcup versions, and a button to run
2022-03-25 20:44:31 +0100 <maerwald> yeah, I think the only dir ghc needs write access to is /tmp and possibly current dir
2022-03-25 20:45:03 +0100 <tomsmeding> yeah, I don't think I'm giving it more than that currently
2022-03-25 20:45:43 +0100 <tomsmeding> it's just that I couldn't find very extensive documentation on using bwrap in a quick search, so I don't know if I missed stuff that I should close off
2022-03-25 20:46:08 +0100 <maerwald> I haven't actually used it myself, but it looks reasonable
2022-03-25 20:46:20 +0100 <tomsmeding> the --unshare-all sounded good :p
2022-03-25 20:48:10 +0100 <maerwald> how do I test this?
2022-03-25 20:48:27 +0100 <tomsmeding> `cabal run`, then go to `localhost:8123/play`
2022-03-25 20:48:40 +0100 <tomsmeding> hopefully it works on a system that is not mine
2022-03-25 20:48:48 +0100 <tomsmeding> it expects ~/.ghcup as you saw
2022-03-25 20:49:13 +0100 <tomsmeding> (the list of available ghc versions is not sorted, fixing that now :p )
2022-03-25 20:50:04 +0100 <hololeap> thanks, sm. I'm thinking dhall might be the way to go here
2022-03-25 20:50:50 +0100 <tomsmeding> maerwald: if you find the rate limit obnoxious, change the 1.0 to 0.0 in SpamDetect.hs:40
2022-03-25 20:50:56 +0100 <sm> what format are you generating hololeap ?
2022-03-25 20:51:58 +0100rvbcldud(~rvbcldud@2601:602:87f:4220:421e:df9d:15c3:59fa)
2022-03-25 20:52:06 +0100 <hololeap> eventually a config format that looks very much like bash, but this is something I have needed/wanted on occasion for a while
2022-03-25 20:52:43 +0100zeenk(~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94)
2022-03-25 20:53:12 +0100 <hololeap> Square: a tree?
2022-03-25 20:53:33 +0100johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in)
2022-03-25 20:53:45 +0100stepcut(~lordgothi@c-24-13-80-95.hsd1.il.comcast.net) (Remote host closed the connection)
2022-03-25 20:53:50 +0100 <sm> https://nickel-lang.org is new, I wonder if that would work
2022-03-25 20:54:47 +0100 <sm> background: https://www.tweag.io/blog/2022-03-11-nickel-first-release
2022-03-25 20:56:07 +0100 <hololeap> dhall can be used directly as a haskell lib, though
2022-03-25 20:56:44 +0100 <sm> ah true
2022-03-25 20:57:57 +0100 <maerwald> nickel is written in rust
2022-03-25 20:58:12 +0100 <maerwald> so you can use it as a library
2022-03-25 20:58:14 +0100 <maerwald> https://docs.rs/nickel-lang/0.1.0/nickel_lang/
2022-03-25 20:59:16 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 20:59:47 +0100 <maerwald> tomsmeding: https://paste.tomsmeding.com/0aZDQ3SX
2022-03-25 21:00:25 +0100 <maerwald> it seems snap-server is busted
2022-03-25 21:00:41 +0100 <tomsmeding> maerwald: cabal-plan reports that I have snap-server-1.1.2.0 as well
2022-03-25 21:02:13 +0100 <tomsmeding> how can this fail
2022-03-25 21:02:27 +0100 <maerwald> it has not aged well
2022-03-25 21:02:37 +0100 <maerwald> also, I'm using cabal 3.7
2022-03-25 21:02:42 +0100 <tomsmeding> maerwald: try https://paste.tomsmeding.com/GIotyusf
2022-03-25 21:02:57 +0100 <tomsmeding> oh I'm using cabal 3.6.2.0, but surely that cannot be the issue
2022-03-25 21:03:17 +0100 <maerwald> I think that was the issue
2022-03-25 21:03:24 +0100tomsmedingis confused
2022-03-25 21:04:35 +0100 <maerwald> oh, my bwrap doesn't support --perms
2022-03-25 21:06:11 +0100 <tomsmeding> maerwald: remove the "--perms 700" and add "bash " at the start of the next line
2022-03-25 21:06:52 +0100 <maerwald> yes, that works
2022-03-25 21:07:21 +0100simendsjo(~user@84.211.91.241)
2022-03-25 21:07:23 +0100 <maerwald> excellent
2022-03-25 21:09:02 +0100 <tomsmeding> maerwald: this needs some love from a person who can actually do web design :p
2022-03-25 21:09:30 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-25 21:09:35 +0100 <tomsmeding> (and spends more than negligible time on it)
2022-03-25 21:09:36 +0100 <maerwald> I think next steps are: 1. line numbers for the editor, 2. creating a paste from the playground and 3. creating a playground from a paste
2022-03-25 21:09:46 +0100 <maerwald> then I'd already ship it
2022-03-25 21:10:03 +0100 <tomsmeding> perhaps even put in one of those fancy editors
2022-03-25 21:11:06 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-03-25 21:11:54 +0100 <tomsmeding> maerwald: do you think you're confident that the bwrap command is safe enough to put this on a publicly accessible thing
2022-03-25 21:12:01 +0100 <maerwald> I've done a fair amount of react, but it's one of those PTSD things. I can't remember a thing.
2022-03-25 21:12:02 +0100on^(~on@96-91-136-49-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-03-25 21:12:08 +0100 <tomsmeding> or if not, do you know who I might ask
2022-03-25 21:12:10 +0100 <tomsmeding> lol
2022-03-25 21:12:16 +0100Lord_of_Life_Lord_of_Life
2022-03-25 21:12:27 +0100 <tomsmeding> I'd _prefer_ this to not use react
2022-03-25 21:12:33 +0100 <tomsmeding> simply because it's blatantly unnecessary
2022-03-25 21:12:39 +0100 <maerwald> I even *did* write an editor in react.
2022-03-25 21:12:56 +0100 <tomsmeding> and did you come out alive
2022-03-25 21:13:07 +0100 <maerwald> but I'd need some psychotherapy or hypnosis to remember
2022-03-25 21:13:15 +0100 <tomsmeding> right, so partially
2022-03-25 21:13:24 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 240 seconds)
2022-03-25 21:14:08 +0100nicbk(~nicbk@user/nicbk)
2022-03-25 21:14:12 +0100briandaed(~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 260 seconds)
2022-03-25 21:15:30 +0100alp(~alp@user/alp)
2022-03-25 21:15:40 +0100 <hololeap> is there any way to do a PR for hackage revisions?
2022-03-25 21:16:07 +0100 <dminuoso> Mail the maintainer?
2022-03-25 21:16:34 +0100 <maerwald> https://github.com/Jungwoo-An/react-editor-js
2022-03-25 21:17:11 +0100 <dminuoso> maerwald: Is that your product?
2022-03-25 21:17:15 +0100 <maerwald> god no
2022-03-25 21:17:20 +0100 <tomsmeding> :')
2022-03-25 21:17:45 +0100 <dminuoso> My react experience has been somewhat pleasant.
2022-03-25 21:18:01 +0100 <dminuoso> But perhaps that's just relative to what all the alternatives would have been.
2022-03-25 21:18:10 +0100 <tomsmeding> maerwald: seems that's a wysiwyg editor?
2022-03-25 21:18:50 +0100 <maerwald> I guess
2022-03-25 21:19:35 +0100 <maerwald> https://codemirror.net/
2022-03-25 21:20:02 +0100 <tomsmeding> https://codemirror.net/6/
2022-03-25 21:20:50 +0100 <maerwald> even a haskell shop uses it
2022-03-25 21:21:04 +0100 <tomsmeding> :o
2022-03-25 21:27:13 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-25 21:29:53 +0100 <tomsmeding> how does one query the linux monotonic clock in haskell
2022-03-25 21:30:08 +0100 <tomsmeding> ah, @hackage clock
2022-03-25 21:30:49 +0100 <maerwald> as expected, the documentation has all sorts of examples, but no *simple* example
2022-03-25 21:31:02 +0100 <tomsmeding> of codemirror?
2022-03-25 21:31:05 +0100 <maerwald> yeah
2022-03-25 21:31:44 +0100 <tomsmeding> https://codemirror.net/6/docs/guide/ "This is what a minimal viable editor might look like" -- sounds like what you were looking for
2022-03-25 21:32:00 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-03-25 21:33:15 +0100nicbk(~nicbk@user/nicbk) (Ping timeout: 240 seconds)
2022-03-25 21:33:24 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-25 21:33:40 +0100 <maerwald> was there before, still too much stuff
2022-03-25 21:42:35 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-03-25 21:43:01 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-25 21:43:05 +0100 <Sqaure> is there some library that lets you build expression trees which can be evaluted and also rendered ? Im thinking some GADT type of thing. Simply typed lambda calculus or more.
2022-03-25 21:43:24 +0100liskin(~liskin@xmonad/liskin) (Ping timeout: 272 seconds)
2022-03-25 21:43:43 +0100liskin(~liskin@xmonad/liskin)
2022-03-25 21:44:01 +0100hololeap(~hololeap@user/hololeap)
2022-03-25 21:45:16 +0100 <janus> > a + b
2022-03-25 21:45:17 +0100 <lambdabot> a + b
2022-03-25 21:45:29 +0100 <janus> seems like lambdabot does that?
2022-03-25 21:47:19 +0100 <geekosaur> no, that's just a clever abuse of Num and Show instances. in particular there isnoevaluation
2022-03-25 21:48:01 +0100 <tomsmeding> (the package is this one https://hackage.haskell.org/package/simple-reflect )
2022-03-25 21:48:02 +0100vysn(~vysn@user/vysn)
2022-03-25 21:52:06 +0100 <Sqaure> hmm, i realize my question was the wrong one. It would need the ability to abstract away a function to some named black box.
2022-03-25 21:52:06 +0100pnotequalnp(~pnotequal@user/pnotequalnp)
2022-03-25 21:52:46 +0100gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-03-25 21:53:00 +0100 <tomsmeding> Sqaure: not sure what you mean here
2022-03-25 21:54:29 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-25 21:54:36 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-03-25 21:54:45 +0100dcoutts_(~duncan@host86-151-44-233.range86-151.btcentralplus.com)
2022-03-25 21:57:25 +0100dcoutts(~duncan@host86-151-44-233.range86-151.btcentralplus.com) (Ping timeout: 240 seconds)
2022-03-25 22:02:09 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection)
2022-03-25 22:02:45 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-25 22:03:27 +0100 <Sqaure> tomsmeding, your reply was great but my question was the wrong one. Some functions gets too complicated when you decompose them into their atoms. I need something that just lets you build a tree of an expression variables (input) and application of 1..2-ary functions that can be named. Like : Apply "Fib" (\x -> <insert impl>) (Value 10)
2022-03-25 22:04:55 +0100 <tomsmeding> Sqaure: that feels like a usecase that doesn't arise very often, so I wouldn't be surprised if no such library exists
2022-03-25 22:05:19 +0100 <tomsmeding> depending on how much functionality you'd want, it wouldn't be hard to write though, I think
2022-03-25 22:05:51 +0100 <geekosaur> you're basically writing an interpreter for a simple language.it's more the kind of thing that shows up toward the end of intro haskell courses, than something that would be a library
2022-03-25 22:06:00 +0100 <tomsmeding> (would that be `data Exp where Apply :: String -> (a -> b) -> Value a -> Exp b` ?)
2022-03-25 22:06:31 +0100 <Sqaure> tomsmeding, basically i just want to be albe to write simple expressions using known functions an be able to show the result of each sub expression instead of just a single result. Presentable to non programmers.
2022-03-25 22:07:31 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it)
2022-03-25 22:07:36 +0100rvbcldud(~rvbcldud@2601:602:87f:4220:421e:df9d:15c3:59fa) (Quit: WeeChat 3.3)
2022-03-25 22:08:57 +0100simendsjo(~user@84.211.91.241) (Ping timeout: 240 seconds)
2022-03-25 22:10:43 +0100pavonia(~user@user/siracusa)
2022-03-25 22:15:51 +0100simendsjo(~user@84.211.91.241)
2022-03-25 22:18:31 +0100Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2022-03-25 22:18:39 +0100Techcable(~Techcable@user/Techcable)
2022-03-25 22:22:19 +0100simendsjo(~user@84.211.91.241) (Ping timeout: 260 seconds)
2022-03-25 22:24:20 +0100deadmarshal_(~deadmarsh@95.38.116.46) (Ping timeout: 268 seconds)
2022-03-25 22:25:29 +0100 <tomsmeding> Sqaure: something at all in this direction? https://paste.tomsmeding.com/3CcFbWqg
2022-03-25 22:26:09 +0100kevin_(~kevin@user/pnotequalnp)
2022-03-25 22:26:22 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1)
2022-03-25 22:26:44 +0100pnotequalnp(~pnotequal@user/pnotequalnp) (Quit: Client closed)
2022-03-25 22:26:49 +0100kevin_pnotequalnp
2022-03-25 22:31:13 +0100 <dminuoso> You can use template haskell for that
2022-03-25 22:31:45 +0100 <maerwald> tomsmeding: sheesh, got it working
2022-03-25 22:31:48 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-03-25 22:33:16 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
2022-03-25 22:33:31 +0100 <maerwald> tomsmeding: https://imgur.com/HVF39fR.png
2022-03-25 22:34:14 +0100 <tomsmeding> 🎉
2022-03-25 22:34:31 +0100 <tomsmeding> what was difficult?
2022-03-25 22:34:43 +0100 <maerwald> remembering anything about frontend?
2022-03-25 22:34:48 +0100 <maerwald> like the shitty tooling and all
2022-03-25 22:34:54 +0100 <tomsmeding> OH this is that editor!
2022-03-25 22:35:01 +0100 <maerwald> yeah
2022-03-25 22:35:02 +0100 <tomsmeding> that's so cool
2022-03-25 22:36:03 +0100 <tomsmeding> PR please? if there's a merge conflict with what I did in the mean time, I can resolve
2022-03-25 22:40:58 +0100 <tomsmeding> maerwald: any ideas what should happen if someone does "open as playground" from a paste with >1 file?
2022-03-25 22:40:59 +0100Guest8714(~Guest87@2a02-842b-0380-5b01-969e-e713-0c3b-e5ac.rev.sfr.net)
2022-03-25 22:41:06 +0100Guest8714(~Guest87@2a02-842b-0380-5b01-969e-e713-0c3b-e5ac.rev.sfr.net) (Client Quit)
2022-03-25 22:41:08 +0100 <tomsmeding> or should that button belong to a file instead of a full paste
2022-03-25 22:41:37 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-25 22:42:35 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-25 22:44:02 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 22:46:15 +0100pnotequalnp(~kevin@user/pnotequalnp) (Quit: leaving)
2022-03-25 22:46:34 +0100kevin_(~kevin@user/pnotequalnp)
2022-03-25 22:46:39 +0100kevin_pnotequalnp
2022-03-25 22:49:07 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2022-03-25 22:49:46 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-25 22:53:04 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2022-03-25 22:53:46 +0100 <maerwald> tomsmeding: the CPP doesn't work here
2022-03-25 22:53:47 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2022-03-25 22:55:03 +0100 <tomsmeding> maerwald: interesting, how does it fail?
2022-03-25 22:55:28 +0100 <tomsmeding> it was mostly a gimmick to show that it does something, but maybe CPP is actually a good test
2022-03-25 22:55:43 +0100 <tomsmeding> perhaps it's not in one of the --ro-bind'ed bin directories on your system?
2022-03-25 22:57:27 +0100 <maerwald> https://github.com/tomsmeding/pastebin-haskell/pull/15
2022-03-25 22:57:32 +0100 <tomsmeding> I saw :)
2022-03-25 22:58:05 +0100 <tomsmeding> oh man it was such simple js
2022-03-25 22:59:30 +0100 <maerwald> https://codemirror.net/6/docs/ref/#highlight
2022-03-25 23:00:11 +0100deadmarshal_(~deadmarsh@95.38.113.36)
2022-03-25 23:00:37 +0100 <tomsmeding> maerwald: does that doRun event listener work? How can that work outside of that window.onload handler
2022-03-25 23:00:57 +0100 <maerwald> yeah, works
2022-03-25 23:01:13 +0100 <maerwald> or what do you mean
2022-03-25 23:01:44 +0100 <tomsmeding> I was under the impression that if the <script> is before the <body>, the elements in the body are not yet there when the script runs, hence that getElementById("btn-run") would return null
2022-03-25 23:01:48 +0100 <tomsmeding> but apparently I'm wrong?
2022-03-25 23:01:55 +0100acidjnk(~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de)
2022-03-25 23:02:10 +0100 <maerwald> ctrl+enter is broken I think
2022-03-25 23:02:21 +0100 <maerwald> prolly because I'm not getting the correct element
2022-03-25 23:02:34 +0100 <maerwald> I dunno, js magic :D
2022-03-25 23:02:43 +0100 <tomsmeding> shouldn't that be done via some API of that editor thing
2022-03-25 23:02:53 +0100 <maerwald> probably
2022-03-25 23:04:03 +0100 <tomsmeding> why can I request a review from myself
2022-03-25 23:04:18 +0100 <maerwald> because you didn't open the PR
2022-03-25 23:05:01 +0100deadmarshal_(~deadmarsh@95.38.113.36) (Ping timeout: 256 seconds)
2022-03-25 23:05:15 +0100 <sm> cool maerwald, are you needing `window.addEventListener('DOMContentLoaded', (event) => { JSSTATEMENTS; });` ?
2022-03-25 23:05:36 +0100tomsmedingalways does "load", not "DOMContentLoaded", never seen that O.o
2022-03-25 23:05:49 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2022-03-25 23:06:08 +0100 <maerwald> sm: I dunno, please fix everything. Have to take care of my blood pressure now after doing js for half an hour.
2022-03-25 23:06:22 +0100 <sm> darn. I switched to plain no-query JS only yesterday
2022-03-25 23:06:23 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-25 23:06:38 +0100 <sm> thx for the tip tomsmeding
2022-03-25 23:07:00 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-03-25 23:07:29 +0100 <maerwald> arjun is good with css, hope he shows up
2022-03-25 23:07:35 +0100 <sm> ah, The load event is fired when the whole page has loaded, including all dependent resources such as stylesheets and images. This is in contrast to DOMContentLoaded, which is fired as soon as the page DOM has been loaded, without waiting for resources to finish loading.
2022-03-25 23:07:44 +0100 <tomsmeding> TIL
2022-03-25 23:08:24 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-25 23:12:04 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds)
2022-03-25 23:13:55 +0100 <tomsmeding> maerwald: does 'make bundle.js' work for you? For me it can't find the '@codemirror/basic-setup' module
2022-03-25 23:14:31 +0100 <maerwald> tomsmeding: make dependencies
2022-03-25 23:14:36 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection)
2022-03-25 23:15:00 +0100 <tomsmeding> what npm dependency is supposed to bring in codemirror?
2022-03-25 23:15:36 +0100 <maerwald> I probably forgot --save or so
2022-03-25 23:16:36 +0100 <maerwald> hm, works here
2022-03-25 23:16:40 +0100Chargen(~chargen@D964062A.static.ziggozakelijk.nl)
2022-03-25 23:16:40 +0100 <maerwald> :D
2022-03-25 23:17:06 +0100 <tomsmeding> was the -g install essential? I changed it to a local install before trying
2022-03-25 23:17:25 +0100 <maerwald> only for browserify
2022-03-25 23:17:33 +0100 <maerwald> because we execute it in the other rule
2022-03-25 23:17:42 +0100 <tomsmeding> `npm exec browserify`
2022-03-25 23:17:42 +0100 <maerwald> otherwise try npx
2022-03-25 23:19:11 +0100michalz(~michalz@185.246.204.105) (Remote host closed the connection)
2022-03-25 23:21:34 +0100 <geekosaur> and people say cabal is hard *eyeroll*
2022-03-25 23:22:13 +0100 <tomsmeding> maerwald: `grep codemirror -r .` only has hits in play-index.{j,t}s and some random typesMap.json file
2022-03-25 23:22:16 +0100 <tomsmeding> is that correct?
2022-03-25 23:22:33 +0100 <tomsmeding> geekosaur: what people are used to is easy
2022-03-25 23:23:03 +0100 <hpc> i mean, i have seen people flub "yum install" - maybe packaging is just fundamentally incompatible with developer brains
2022-03-25 23:24:23 +0100 <tomsmeding> maerwald: ah, `npm i --save @codemirror/basic-setup @codemirror/lang-javascript`
2022-03-25 23:24:32 +0100 <maerwald> tomsmeding: I updated PR
2022-03-25 23:24:47 +0100 <tomsmeding> wtf is npx help
2022-03-25 23:26:38 +0100 <pnotequalnp> npx is just a shortcut for running executables in node_modules (or just from the npm repo itself, directly)
2022-03-25 23:30:37 +0100 <tomsmeding> maerwald: https://paste.tomsmeding.com/7zjFFrY3
2022-03-25 23:31:09 +0100 <maerwald> odd
2022-03-25 23:31:22 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-25 23:31:26 +0100 <maerwald> my ts is 4.5.5
2022-03-25 23:32:36 +0100 <crazazy> tbh I've been trying to just get my js deps from CDN's and skip all the npm stuff
2022-03-25 23:33:00 +0100 <tomsmeding> crazazy: there's some development tools as well in here
2022-03-25 23:33:15 +0100 <tomsmeding> which I'm not too happy about tbqh
2022-03-25 23:33:22 +0100 <crazazy> i mean yea but also jsdelivr can do the bundling and minifying of libraries for me
2022-03-25 23:34:07 +0100 <crazazy> and SRI hashes as well if you need them
2022-03-25 23:34:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-03-25 23:34:25 +0100 <tomsmeding> maerwald: also with tsc 4.5.5 same output
2022-03-25 23:36:14 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-25 23:38:02 +0100 <tomsmeding> maerwald: `npx tsc --lib dom,es2015 play-index.ts` doesn't throw errors anymore?
2022-03-25 23:38:55 +0100 <tomsmeding> it works 🎉
2022-03-25 23:41:12 +0100 <tomsmeding> but only on browsers that support ES6 classes and stuff :p
2022-03-25 23:42:24 +0100qwedfg_(~qwedfg@user/qwedfg) (Read error: Connection reset by peer)
2022-03-25 23:43:18 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-25 23:43:30 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-25 23:45:41 +0100 <maerwald> there's probably a way to set up a proper project
2022-03-25 23:46:44 +0100 <maerwald> and then have it deploy to kubernetes
2022-03-25 23:46:58 +0100 <tomsmeding> ._.
2022-03-25 23:47:01 +0100 <maerwald> xD
2022-03-25 23:48:41 +0100qwedfg(~qwedfg@user/qwedfg)
2022-03-25 23:48:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-25 23:51:17 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-25 23:52:19 +0100nicbk(~nicbk@user/nicbk)
2022-03-25 23:52:23 +0100 <maerwald> this is faster than a local ghci
2022-03-25 23:52:30 +0100 <maerwald> for switching ghc versions
2022-03-25 23:52:50 +0100 <tomsmeding> it might even be, you know, useful
2022-03-25 23:53:16 +0100 <tomsmeding> future stretch goal: open your playground module in ghci
2022-03-25 23:56:30 +0100 <maerwald> formatting support would also be cool (and rather easy)
2022-03-25 23:57:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-25 23:59:51 +0100alp(~alp@user/alp) (Ping timeout: 260 seconds)