2024/09/20

2024-09-20 00:00:51 +0200 <geekosaur> that constraint only applies to libraries, not executables.
2024-09-20 00:02:03 +0200 <geekosaur> unfortunately, it doesn't look like '--build-tool-depends' is supported on the command line. if you can use a cabal.project, try https://paste.tomsmeding.com/W3BRWzp1
2024-09-20 00:03:06 +0200pavonia(~user@user/siracusa)
2024-09-20 00:03:23 +0200 <tritlo> Ah, it's in a CI so can't change the `cabal.project`. Thanks anyway, I'll use the `--prefer-oldest` until the issue is resolved
2024-09-20 00:03:27 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-09-20 00:05:53 +0200chromo(~chromo@210.185.108.225)
2024-09-20 00:05:57 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer)
2024-09-20 00:06:47 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-20 00:08:32 +0200 <geekosaur> fwiw I just filed a cabal feature request
2024-09-20 00:08:41 +0200 <geekosaur> not that that will help now
2024-09-20 00:09:10 +0200 <geekosaur> oh, you could also put that in cabal.project.local, which is not intended to be in CI
2024-09-20 00:10:16 +0200chromo(~chromo@210.185.108.225) (Ping timeout: 252 seconds)
2024-09-20 00:11:15 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-09-20 00:21:27 +0200chromo(~chromo@210.185.108.225)
2024-09-20 00:25:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 00:43:49 +0200neuroevolutus(~neuroevol@37.19.200.165)
2024-09-20 00:46:12 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2024-09-20 00:49:33 +0200acidjnk(~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-09-20 00:57:46 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-20 01:08:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 01:12:20 +0200ystael(~ystael@user/ystael)
2024-09-20 01:13:15 +0200connrs(~connrs@user/connrs) (Ping timeout: 252 seconds)
2024-09-20 01:14:44 +0200mikess(~mikess@user/mikess)
2024-09-20 01:17:25 +0200neuroevolutus(~neuroevol@37.19.200.165) (Ping timeout: 256 seconds)
2024-09-20 01:19:14 +0200troojg(~troojg@user/troojg)
2024-09-20 01:28:42 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-09-20 01:34:36 +0200ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2024-09-20 01:36:56 +0200connrs(~connrs@user/connrs)
2024-09-20 01:43:54 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-09-20 01:44:14 +0200EvanR(~EvanR@user/evanr)
2024-09-20 01:44:39 +0200neuroevolutus(~neuroevol@37.19.200.165)
2024-09-20 01:52:13 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-09-20 01:53:41 +0200neuroevolutus(~neuroevol@37.19.200.165) (Ping timeout: 256 seconds)
2024-09-20 01:54:15 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-20 01:56:01 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-09-20 02:00:07 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-20 02:01:24 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-20 02:07:57 +0200Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2024-09-20 02:32:54 +0200xff0x(~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) (Ping timeout: 260 seconds)
2024-09-20 02:35:58 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-09-20 02:37:06 +0200califax(~califax@user/califx)
2024-09-20 02:38:40 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-20 02:39:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-20 02:40:54 +0200Inst_Inst
2024-09-20 02:40:58 +0200 <Inst> did you guys meet Opaque yet?
2024-09-20 02:41:20 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 02:41:36 +0200 <Inst> https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.Base.html
2024-09-20 02:41:48 +0200 <Inst> data Opaque = forall a. O a
2024-09-20 02:42:54 +0200 <Inst> you can't do anything with it, right?
2024-09-20 02:43:07 +0200RedFlamingos(~RedFlamin@user/RedFlamingos)
2024-09-20 02:43:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-20 02:54:12 +0200 <probie> You can `unsafeCoerce` it back to the original type
2024-09-20 02:55:20 +0200weary-traveler(~user@user/user363627)
2024-09-20 02:55:22 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 03:06:45 +0200 <int-e> I've met GHC.Exts.Heap.Box which is vaguely related. Opaque looks... safer.
2024-09-20 03:14:49 +0200 <geekosaur> I don't think that heap box is intended to be used for anything but analyzing heap boxes…
2024-09-20 03:15:08 +0200 <geekosaur> if you try to use it for anything else, you get to keep the pieces
2024-09-20 03:16:05 +0200 <geekosaur> (you should count yourself lucky it's even possible to introspect the heap from Haskell)
2024-09-20 03:26:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 03:29:27 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-20 03:31:12 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-09-20 03:46:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 03:49:41 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-20 03:55:32 +0200 <Axman6> I think the linear prelude has something for using Box for safe mutable data structures
2024-09-20 03:55:38 +0200 <int-e> geekosaur: Its heap representation is exactly the same as that of Opaque. But the type is more dangerous; data Box = Box Any, where type Any = forall a. a. So if you have a non-bottom value in a Box, it comes with `unsafeCoerce` preapplied.
2024-09-20 03:56:02 +0200 <Axman6> https://github.com/tweag/linear-base/blob/master/examples/Foreign/Heap.hs
2024-09-20 03:56:07 +0200 <Axman6> s/prelude/base
2024-09-20 04:06:14 +0200cyphase_eviltwin(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2024-09-20 04:11:00 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-20 04:15:01 +0200tabemann(~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b)
2024-09-20 04:21:07 +0200ZharMeny(~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-20 04:22:00 +0200cyphase(~cyphase@user/cyphase)
2024-09-20 04:26:52 +0200 <Lears> Axman6: That's a rather different Box: https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Foreign.Marshal.Pure.Internal.html#…
2024-09-20 04:28:42 +0200 <Lears> int-e: You mean Any ~= exists a. a? It's true that values have to be unsafely coerced /into/ a `Box`, but that's not dangerous until you try to unsafely coerce them out.
2024-09-20 04:31:06 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-09-20 04:34:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-20 04:36:37 +0200td_(~td@83.135.9.0) (Ping timeout: 248 seconds)
2024-09-20 04:38:39 +0200td_(~td@i53870926.versanet.de)
2024-09-20 04:41:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 04:45:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 04:57:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 05:01:40 +0200user363627(~user@user/user363627)
2024-09-20 05:05:09 +0200weary-traveler(~user@user/user363627) (Ping timeout: 260 seconds)
2024-09-20 05:15:38 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-20 05:17:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 05:18:40 +0200AlexNoo_(~AlexNoo@178.34.162.53)
2024-09-20 05:21:22 +0200AlexZenon(~alzenon@94.233.241.56) (Ping timeout: 248 seconds)
2024-09-20 05:22:18 +0200AlexNoo(~AlexNoo@94.233.241.56) (Ping timeout: 252 seconds)
2024-09-20 05:26:00 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-20 05:29:06 +0200sourcetarius(~sourcetar@user/sourcetarius)
2024-09-20 05:48:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 05:53:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 05:57:29 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-20 06:00:49 +0200 <feetwind> nix q: i want to just build tests and not run them, anyone know how?
2024-09-20 06:00:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 06:08:18 +0200 <geekosaur> tritlo, @grayjay on github points out that --constraint='any.happy < 2' should work, and a quick test here indicates it seems to
2024-09-20 06:09:15 +0200 <geekosaur> that said, I don't think that prropagates, so cabal.project.local would still be needed if building a dependent of haskell-lib-parser
2024-09-20 06:09:35 +0200chromo(~chromo@210.185.108.225) (Remote host closed the connection)
2024-09-20 06:09:37 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 265 seconds)
2024-09-20 06:09:58 +0200chromo(~chromo@210.185.108.225)
2024-09-20 06:11:16 +0200michalz(~michalz@185.246.207.201)
2024-09-20 06:11:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 06:13:27 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-20 06:18:43 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-20 06:22:56 +0200chromo(~chromo@210.185.108.225) (Remote host closed the connection)
2024-09-20 06:25:39 +0200sourcetarius(~sourcetar@user/sourcetarius) (Quit: sourcetarius)
2024-09-20 06:29:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-20 06:30:58 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-20 06:48:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 06:50:46 +0200caconym8caconym
2024-09-20 06:52:09 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-09-20 06:53:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 07:07:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 07:11:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 07:13:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-09-20 07:14:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 07:23:07 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2024-09-20 07:23:46 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-09-20 07:28:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-09-20 07:29:21 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-09-20 07:30:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-20 07:34:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-20 07:36:38 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2024-09-20 07:37:18 +0200euleritian(~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de)
2024-09-20 07:38:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 07:48:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 07:54:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 08:09:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 08:13:12 +0200arahael(~arahael@user/arahael) (Read error: Connection reset by peer)
2024-09-20 08:13:54 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d)
2024-09-20 08:14:19 +0200michalz(~michalz@185.246.207.201) (Ping timeout: 265 seconds)
2024-09-20 08:18:40 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Ping timeout: 265 seconds)
2024-09-20 08:19:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 08:20:32 +0200michalz(~michalz@185.246.207.218)
2024-09-20 08:21:07 +0200jinsun_(~jinsun@user/jinsun)
2024-09-20 08:21:07 +0200jinsun(~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services)))
2024-09-20 08:21:07 +0200jinsun_jinsun
2024-09-20 08:26:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 08:26:47 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving)
2024-09-20 08:26:51 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-09-20 08:36:25 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-09-20 08:47:57 +0200CiaoSen(~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da)
2024-09-20 08:51:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 08:51:33 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-20 08:54:53 +0200arahael(~arahael@user/arahael)
2024-09-20 08:57:05 +0200acidjnk(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de)
2024-09-20 08:58:22 +0200greenflower(~greenflow@125.16.7.78)
2024-09-20 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-20 09:00:38 +0200caconym(~caconym@user/caconym)
2024-09-20 09:02:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-20 09:06:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-09-20 09:09:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-20 09:10:35 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-09-20 09:13:37 +0200misterfish(~misterfis@84.53.85.146)
2024-09-20 09:14:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 09:19:08 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal)
2024-09-20 09:20:22 +0200arahael(~arahael@user/arahael) (Remote host closed the connection)
2024-09-20 09:27:15 +0200mari-estel(~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef)
2024-09-20 09:31:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 09:38:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 09:42:20 +0200cfricke(~cfricke@user/cfricke)
2024-09-20 09:42:38 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-20 09:42:58 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-09-20 09:44:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 09:45:10 +0200mari-estel(~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Quit: on the move)
2024-09-20 09:45:34 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-20 09:45:34 +0200ChanServ+v haskellbridge
2024-09-20 09:49:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 09:54:15 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-20 09:55:12 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com)
2024-09-20 09:55:39 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-20 09:56:20 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-20 09:56:20 +0200ChanServ+v haskellbridge
2024-09-20 09:57:55 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-20 09:59:58 +0200euleritian(~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) (Ping timeout: 245 seconds)
2024-09-20 10:00:34 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-09-20 10:00:46 +0200Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-09-20 10:01:34 +0200euleritian(~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de)
2024-09-20 10:03:16 +0200__monty__(~toonn@user/toonn)
2024-09-20 10:08:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 10:11:28 +0200mari-estel(~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef)
2024-09-20 10:13:13 +0200euleritian(~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-20 10:13:57 +0200gehmehgeh(~user@user/gehmehgeh)
2024-09-20 10:14:17 +0200gehmehgehgmg
2024-09-20 10:16:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-20 10:23:48 +0200euleritian(~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de)
2024-09-20 10:25:18 +0200mikess(~mikess@user/mikess) (Ping timeout: 246 seconds)
2024-09-20 10:26:15 +0200synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer)
2024-09-20 10:27:44 +0200synchromesh(~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef)
2024-09-20 10:28:50 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d)
2024-09-20 10:31:01 +0200greenflower(~greenflow@125.16.7.78) (Quit: Client closed)
2024-09-20 10:31:25 +0200greenflower(~greenflow@14.99.164.82)
2024-09-20 10:33:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-20 10:33:31 +0200__monty__(~toonn@user/toonn)
2024-09-20 10:34:18 +0200euleritian(~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) (Ping timeout: 244 seconds)
2024-09-20 10:38:56 +0200Squared(~Square@user/square)
2024-09-20 10:41:44 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-20 10:46:37 +0200euleritian(~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de)
2024-09-20 10:46:57 +0200acidjnk_new(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de)
2024-09-20 10:46:59 +0200acidjnk_new(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-09-20 10:47:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 10:53:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 10:53:29 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en)
2024-09-20 10:57:57 +0200potato44(uid421314@id-421314.lymington.irccloud.com)
2024-09-20 11:00:00 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds)
2024-09-20 11:02:53 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-09-20 11:06:13 +0200arahael(~arahael@user/arahael)
2024-09-20 11:08:01 +0200greenflower(~greenflow@14.99.164.82) (Quit: Client closed)
2024-09-20 11:08:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 11:10:44 +0200euleritian(~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-20 11:12:12 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds)
2024-09-20 11:13:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 11:13:42 +0200AlexNoo_AlexNoo
2024-09-20 11:14:37 +0200euleritian(~euleritia@176.2.2.66)
2024-09-20 11:16:34 +0200 <eugenrh> Hi, I couldn't find Haskell 2010 report in epub format, so I want to try using pandoc to convert it using its html version. But I couldn't find any html zip of it.. yet. Where can I find a html archive of the report?
2024-09-20 11:17:39 +0200 <mari-estel> huh isn't there a PDF version available?
2024-09-20 11:18:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 11:18:17 +0200 <eugenrh> pandoc says it can't convert from pdf
2024-09-20 11:18:37 +0200 <mari-estel> not what i meant
2024-09-20 11:18:56 +0200 <arahael> eugenrh: PDF usually doesn't have reflow support, which is what people usually want if they're asking for epub.
2024-09-20 11:19:32 +0200AlexNooAlexNoo__
2024-09-20 11:19:40 +0200 <mari-estel> yeah of course, but considering the age of the document i thought it could be an acceptable compromise
2024-09-20 11:20:03 +0200AlexNoo__AlexNoo
2024-09-20 11:20:29 +0200 <mari-estel> most epub readers are somewhat comfy also for PDFs
2024-09-20 11:20:40 +0200 <opqdonut> https://github.com/haskell/haskell-report does this help?
2024-09-20 11:21:14 +0200 <eugenrh> there is just the source, not the html files.. No releases...
2024-09-20 11:21:55 +0200 <Lears> Perhaps `wget -r https://www.haskell.org/onlinereport/` would do?
2024-09-20 11:22:56 +0200 <mari-estel> from the source opqdonut linked you can generate the HTML. Seems latek and pandoc understands that
2024-09-20 11:23:19 +0200 <eugenrh> yes, before web scaping I thought about asking for an archive... maybe I've missed some place when looking
2024-09-20 11:23:23 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-20 11:24:48 +0200 <eugenrh> I;m only using a small device right now and can't install tex & frineds to generate from source
2024-09-20 11:25:17 +0200 <mari-estel> maybe pandoc can translate the tek directly
2024-09-20 11:26:44 +0200gmg(~user@user/gehmehgeh)
2024-09-20 11:26:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 11:29:42 +0200euleritian(~euleritia@176.2.2.66) (Ping timeout: 246 seconds)
2024-09-20 11:31:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 11:31:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 11:35:53 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-09-20 11:36:08 +0200benjaminl(~benjaminl@user/benjaminl)
2024-09-20 11:38:49 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-20 11:42:01 +0200euleritian(~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de)
2024-09-20 11:47:41 +0200greenflower(~greenflow@14.99.164.82)
2024-09-20 11:47:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-20 11:48:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)
2024-09-20 11:48:55 +0200euleritian(~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-20 11:55:32 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-09-20 11:56:10 +0200driib318(~driib@vmi931078.contaboserver.net)
2024-09-20 11:59:58 +0200 <tomsmeding> yeah wget seems like the way to go :p
2024-09-20 12:00:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 12:00:45 +0200 <eugenrh> I've managed to used wget.. now trying to make an epub..
2024-09-20 12:02:42 +0200sourcetarius(~sourcetar@user/sourcetarius)
2024-09-20 12:05:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 12:09:41 +0200arahael(~arahael@user/arahael) (Remote host closed the connection)
2024-09-20 12:26:03 +0200 <eugenrh> no, this small and old ereader doesn't render properly the htmls and probably any epub based on it. I think I'll try to give the pdf another chance by finding a way to crop its huge margins, first..
2024-09-20 12:28:58 +0200bliminse_(~bliminse@user/bliminse) (Quit: leaving)
2024-09-20 12:29:42 +0200bliminse(~bliminse@user/bliminse)
2024-09-20 12:35:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 12:40:39 +0200CiaoSen(~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2024-09-20 12:41:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 12:41:36 +0200mari-estel(~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Ping timeout: 265 seconds)
2024-09-20 12:46:00 +0200 <eugenrh> ( I've used the online tool croppdf.com . Easy and good. do NOT know if it's safe, too )
2024-09-20 12:48:55 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-09-20 12:52:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 12:56:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 12:58:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-20 12:58:13 +0200greenflower(~greenflow@14.99.164.82) (Quit: Client closed)
2024-09-20 13:02:02 +0200arahael(~arahael@user/arahael)
2024-09-20 13:04:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-20 13:04:49 +0200flounders_(~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds)
2024-09-20 13:06:48 +0200flounders(~flounders@173.246.214.210)
2024-09-20 13:06:56 +0200potato44(uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 13:07:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 13:08:04 +0200 <Inst> come to think of it, does >>= leak?
2024-09-20 13:08:24 +0200 <Inst> term >>= foo >>= bar starts stacking space
2024-09-20 13:08:30 +0200 <Inst> tbh it can't be avoided due to laziness
2024-09-20 13:12:34 +0200 <Inst> well, not really, but whereas >> can be optimized, it's harder to optimize a >>= chain
2024-09-20 13:13:01 +0200 <Inst> . and >=> also has the wrong fixity, i think, but you can't really fix it without losing laziness
2024-09-20 13:14:53 +0200 <Inst> or am i wrong here?
2024-09-20 13:19:31 +0200bliminse(~bliminse@user/bliminse)
2024-09-20 13:24:25 +0200morb(~morb@108.41.100.120)
2024-09-20 13:29:50 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 13:32:54 +0200morb(~morb@108.41.100.120) (Ping timeout: 252 seconds)
2024-09-20 13:42:35 +0200Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-09-20 13:46:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 13:52:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-20 13:55:51 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
2024-09-20 13:58:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 14:00:23 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-20 14:00:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 14:05:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 14:10:34 +0200chiselfu1echiselfuse
2024-09-20 14:11:09 +0200Blasius_(~Blasius@2.219.56.221) (Ping timeout: 260 seconds)
2024-09-20 14:20:11 +0200xff0x(~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563)
2024-09-20 14:35:11 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 14:37:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 14:41:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 14:47:15 +0200srazkvt(~sarah@user/srazkvt)
2024-09-20 14:49:36 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de)
2024-09-20 14:52:48 +0200rvalue(~rvalue@user/rvalue) (Remote host closed the connection)
2024-09-20 14:53:09 +0200rvalue(~rvalue@user/rvalue)
2024-09-20 14:56:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 14:58:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 15:00:21 +0200 <kuribas> Inst: which instance?
2024-09-20 15:00:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 15:09:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 15:14:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-20 15:20:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 15:28:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-20 15:28:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 15:28:30 +0200srazkvt(~sarah@user/srazkvt) (Read error: Connection reset by peer)
2024-09-20 15:29:43 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-20 15:30:59 +0200 <tomsmeding> Inst: _does_ (>>=) leak?
2024-09-20 15:31:21 +0200 <tomsmeding> `a >>= b >>= c` is exceedingly rare
2024-09-20 15:31:36 +0200 <tomsmeding> in practice it's more like `a >>= \x -> b >>= \y -> c`, which is associated perfectly well
2024-09-20 15:31:48 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 15:32:33 +0200 <tomsmeding> the fixity of (.) and (>=>) only influences the nesting order of manually written chains of (.) or (>=>), which are by construction bounded length (your source file is not infinitely long) and GHC can see all of them together
2024-09-20 15:33:02 +0200 <tomsmeding> hence, at least for (.), GHC will be able to beta-reduce the (.) chain very easily
2024-09-20 15:33:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 15:33:12 +0200 <tomsmeding> (for (>=>) that depends on the monad instance)
2024-09-20 15:35:55 +0200joeyh(~joeyh@kitenet.net)
2024-09-20 15:36:30 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-20 15:39:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 15:43:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-20 15:48:57 +0200ZharMeny(~ZharMeny@user/ZharMeny)
2024-09-20 15:52:53 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-20 15:54:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 15:56:03 +0200weary-traveler(~user@user/user363627)
2024-09-20 15:59:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 16:00:23 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-09-20 16:01:55 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-20 16:03:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 16:08:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 16:09:53 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 248 seconds)
2024-09-20 16:10:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 16:13:38 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds)
2024-09-20 16:15:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-20 16:21:37 +0200ystael(~ystael@user/ystael)
2024-09-20 16:22:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 16:25:56 +0200sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 255 seconds)
2024-09-20 16:26:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 16:26:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 16:31:02 +0200Sgeo(~Sgeo@user/sgeo)
2024-09-20 16:31:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-20 16:40:53 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-20 16:42:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 16:47:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-20 16:55:55 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 16:57:54 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-09-20 16:58:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 17:00:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 17:00:47 +0200EvanR(~EvanR@user/evanr)
2024-09-20 17:03:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-20 17:09:07 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-09-20 17:09:23 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-20 17:12:01 +0200srazkvt(~sarah@user/srazkvt)
2024-09-20 17:12:25 +0200srazkvt(~sarah@user/srazkvt) (Remote host closed the connection)
2024-09-20 17:12:50 +0200srazkvt(~sarah@user/srazkvt)
2024-09-20 17:13:43 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-20 17:13:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 17:15:49 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 17:18:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-20 17:24:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 17:28:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 17:29:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-20 17:29:59 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 17:37:15 +0200 <monochrom> "Does >>= leak?" is such a hyperbole.
2024-09-20 17:37:59 +0200Digitteknohippie(~user@user/digit)
2024-09-20 17:38:15 +0200Digit(~user@user/digit) (Ping timeout: 246 seconds)
2024-09-20 17:38:32 +0200 <monochrom> Do people still use the dark pattern of provocative tactics and great exaggerations to get attention?
2024-09-20 17:39:20 +0200 <geekosaur> just look at the US elections
2024-09-20 17:39:55 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-09-20 17:39:58 +0200 <monochrom> Heh yeah but I mean in #haskell where challenging the channel has been banned for decades.
2024-09-20 17:40:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 17:42:35 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.4.1)
2024-09-20 17:43:53 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-09-20 17:44:04 +0200 <glguy> happy-2.0.1 fixed the indentation change that broke GHC in happy-2.0
2024-09-20 17:44:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-20 17:46:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-20 17:46:09 +0200 <geekosaur> ++
2024-09-20 17:46:37 +0200 <geekosaur> haven't gotten that far in my inbox yet but I saw some discussion from that ticket
2024-09-20 17:48:06 +0200gmg(~user@user/gehmehgeh)
2024-09-20 17:52:15 +0200 <mauke> https://github.com/haskell/happy/issues/303
2024-09-20 17:52:26 +0200DigitteknohippieDigit
2024-09-20 17:53:24 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds)
2024-09-20 17:56:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 17:59:54 +0200 <weary-traveler> what's "Does >>= leak"?
2024-09-20 18:01:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-20 18:02:24 +0200Squared(~Square@user/square) (Ping timeout: 276 seconds)
2024-09-20 18:03:49 +0200 <monochrom> Exactly.
2024-09-20 18:06:11 +0200 <weary-traveler> monochrom: is that a reference to some discussion elsewhere? or simply earlier in the channel (haven't looked at the logs)
2024-09-20 18:06:51 +0200 <monochrom> Yeah much earlier. 5 hours ago.
2024-09-20 18:12:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 18:13:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 18:17:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-20 18:19:27 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-20 18:19:33 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 18:22:20 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-09-20 18:25:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 18:26:57 +0200 <weary-traveler> i see. someone needs to go read the freer paper.
2024-09-20 18:31:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 18:31:16 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-20 18:31:56 +0200bilegeek(~bilegeek@227.sub-174-208-228.myvzw.com)
2024-09-20 18:35:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-20 18:41:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 18:44:02 +0200synchromesh(~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer)
2024-09-20 18:45:22 +0200synchromesh(~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef)
2024-09-20 18:46:15 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-09-20 18:47:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-20 18:50:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 18:55:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-20 18:57:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 19:02:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-20 19:02:41 +0200misterfish(~misterfis@84.53.85.146)
2024-09-20 19:04:15 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-20 19:06:40 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 19:07:28 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-20 19:08:18 +0200srazkvt(~sarah@user/srazkvt) (Ping timeout: 245 seconds)
2024-09-20 19:10:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 19:12:32 +0200Sgeo(~Sgeo@user/sgeo)
2024-09-20 19:12:57 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in)
2024-09-20 19:13:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 19:13:58 +0200forell(~forell@user/forell)
2024-09-20 19:14:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 19:18:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 19:19:36 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-09-20 19:23:44 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-20 19:23:47 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-09-20 19:26:36 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-20 19:26:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 19:28:02 +0200 <sm> @where+ FDA https://www.manning.com/books/functional-design-and-architecture Functional Design and Architecture, Granin 2024
2024-09-20 19:28:03 +0200 <lambdabot> I will remember.
2024-09-20 19:29:04 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 19:32:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-20 19:33:44 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-09-20 19:42:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 19:42:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 19:44:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 19:45:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 19:47:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-20 19:50:56 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Quit: ubert)
2024-09-20 19:55:19 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-09-20 19:56:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 19:57:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 19:58:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 20:03:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-20 20:09:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-20 20:11:36 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 20:14:02 +0200 <lxsameer> hey folks, how do you parse a string like '-43a' with megaparse or any parser combinator? -43a is a valid "symbol name" but not a valid number. If parse symbols first that's fine but then I will accidentally parse valid numbers as symbol too
2024-09-20 20:14:11 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-20 20:14:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 20:15:44 +0200 <geekosaur> most parsers including combinator-based ones use a "maximal munch" rule, so if you parse as a number it should fail at the 'a'
2024-09-20 20:16:36 +0200 <lxsameer> geekosaur: hmm it will, but it uses 'a' as a terminator an returns -43 as a number
2024-09-20 20:16:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 20:17:07 +0200 <geekosaur> that's usually handled by the grammar: if 'a' isn't valid following the number then you get a parse error
2024-09-20 20:17:26 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d)
2024-09-20 20:17:45 +0200 <mauke> > let a = -1 in (+) 43a
2024-09-20 20:17:46 +0200 <lambdabot> 42
2024-09-20 20:18:34 +0200 <mauke> lxsameer: are you parsing a lisp?
2024-09-20 20:18:35 +0200Versatile(~Versatile@2.219.56.221)
2024-09-20 20:19:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-20 20:19:26 +0200 <lxsameer> mauke: yupe
2024-09-20 20:20:22 +0200 <geekosaur> yes, what language you're parsing matters too. gcc parses character suffixes after numbers and reports errors if the suffix(es) aren't valid ("error: invalid suffix "a" on integer constant")
2024-09-20 20:20:36 +0200 <geekosaur> because C supports things like 1L, 1ULL, etc.
2024-09-20 20:20:41 +0200 <mauke> aren't numbers just a type of symbol, syntactically?
2024-09-20 20:20:57 +0200 <lxsameer> mauke: technically yes.
2024-09-20 20:21:15 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-20 20:21:16 +0200 <lxsameer> geekosaur: i'm in charge of the lang, so I can change the grammar if I want to
2024-09-20 20:21:55 +0200 <lxsameer> mauke: are you suggesting to parse them as symbol and the run another number parser on the symbol ?
2024-09-20 20:22:37 +0200 <mauke> yeah, basically
2024-09-20 20:22:57 +0200 <mauke> if the symbol name cleanly converts to a number, it is a number
2024-09-20 20:23:00 +0200 <lxsameer> mauke: hmmm cool, thank you. I'll give it a shot
2024-09-20 20:23:15 +0200 <lxsameer> mauke: yeah, that makes it much easier
2024-09-20 20:27:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 20:32:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 20:33:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-20 20:37:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-20 20:43:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 20:44:13 +0200misterfish(~misterfis@84.53.85.146)
2024-09-20 20:46:54 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-20 20:48:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-20 20:59:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 21:00:03 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-20 21:00:40 +0200caconym(~caconym@user/caconym)
2024-09-20 21:04:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-20 21:05:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 21:13:54 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-20 21:15:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 21:18:45 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds)
2024-09-20 21:19:50 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 21:20:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-20 21:26:52 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-20 21:27:18 +0200Pixi(~Pixi@user/pixi)
2024-09-20 21:27:35 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-20 21:27:35 +0200ChanServ+v haskellbridge
2024-09-20 21:28:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 21:29:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 21:33:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-20 21:42:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 21:43:23 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2024-09-20 21:44:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 21:48:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 21:49:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-20 22:00:17 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
2024-09-20 22:00:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 22:05:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-20 22:06:00 +0200misterfish(~misterfis@84.53.85.146)
2024-09-20 22:11:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 22:16:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 22:16:33 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-20 22:21:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-20 22:29:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 22:32:09 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
2024-09-20 22:34:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-20 22:35:43 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-20 22:39:39 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-09-20 22:44:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 22:45:26 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-20 22:45:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 22:48:02 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds)
2024-09-20 22:49:13 +0200qhong(~qhong@DN160vrd000d6k3g00000000009p.stanford.edu)
2024-09-20 22:50:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 22:52:14 +0200qhong_(~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) (Ping timeout: 260 seconds)
2024-09-20 22:52:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 22:53:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 22:53:48 +0200synchromesh(~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer)
2024-09-20 22:54:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 22:54:56 +0200synchromesh(~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef)
2024-09-20 22:55:29 +0200neuroevolutus(~neuroevol@37.19.200.139)
2024-09-20 22:59:31 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-20 23:01:01 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-20 23:01:23 +0200kimiamania20(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-09-20 23:01:44 +0200kimiamania208(~65804703@user/kimiamania)
2024-09-20 23:02:04 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-20 23:03:04 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-20 23:04:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 23:08:14 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-20 23:09:38 +0200sourcetarius(~sourcetar@user/sourcetarius)
2024-09-20 23:09:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-20 23:10:24 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-09-20 23:10:24 +0200ChanServ+v haskellbridge
2024-09-20 23:17:48 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2024-09-20 23:18:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 23:20:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 23:22:27 +0200carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2024-09-20 23:25:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-20 23:35:55 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 23:39:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-20 23:40:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-20 23:46:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-20 23:51:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-20 23:52:38 +0200Inst(~Inst@user/Inst) (Read error: Connection reset by peer)
2024-09-20 23:53:11 +0200Inst(~Inst@user/Inst)
2024-09-20 23:54:25 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-09-20 23:55:51 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en)
2024-09-20 23:57:11 +0200kimiamania208(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-09-20 23:57:57 +0200kimiamania208(~65804703@user/kimiamania)
2024-09-20 23:59:44 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)