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 +0200 | pavonia | (~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 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-09-20 00:05:53 +0200 | chromo | (~chromo@210.185.108.225) |
2024-09-20 00:05:57 +0200 | Natch | (~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 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
2024-09-20 00:11:15 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-09-20 00:21:27 +0200 | chromo | (~chromo@210.185.108.225) |
2024-09-20 00:25:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 00:43:49 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
2024-09-20 00:46:12 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
2024-09-20 00:49:33 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-09-20 00:57:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-09-20 01:08:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-20 01:12:20 +0200 | ystael | (~ystael@user/ystael) |
2024-09-20 01:13:15 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 252 seconds) |
2024-09-20 01:14:44 +0200 | mikess | (~mikess@user/mikess) |
2024-09-20 01:17:25 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
2024-09-20 01:19:14 +0200 | troojg | (~troojg@user/troojg) |
2024-09-20 01:28:42 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
2024-09-20 01:34:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
2024-09-20 01:36:56 +0200 | connrs | (~connrs@user/connrs) |
2024-09-20 01:43:54 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2024-09-20 01:44:14 +0200 | EvanR | (~EvanR@user/evanr) |
2024-09-20 01:44:39 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
2024-09-20 01:52:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-09-20 01:53:41 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
2024-09-20 01:54:15 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-20 01:56:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-09-20 02:00:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-20 02:01:24 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-09-20 02:07:57 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2024-09-20 02:32:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) (Ping timeout: 260 seconds) |
2024-09-20 02:35:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-09-20 02:37:06 +0200 | califax | (~califax@user/califx) |
2024-09-20 02:38:40 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-20 02:39:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-20 02:40:54 +0200 | Inst_ | Inst |
2024-09-20 02:40:58 +0200 | <Inst> | did you guys meet Opaque yet? |
2024-09-20 02:41:20 +0200 | youthlic | (~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 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
2024-09-20 02:43:50 +0200 | Tuplanolla | (~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 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-20 02:55:22 +0200 | lisbeths | (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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-20 03:29:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-09-20 03:31:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-09-20 03:46:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 03:49:41 +0200 | athan | (~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 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
2024-09-20 04:11:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-20 04:15:01 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) |
2024-09-20 04:21:07 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-20 04:22:00 +0200 | cyphase | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-09-20 04:34:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-20 04:36:37 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 248 seconds) |
2024-09-20 04:38:39 +0200 | td_ | (~td@i53870926.versanet.de) |
2024-09-20 04:41:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 04:45:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 04:57:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 05:01:40 +0200 | user363627 | (~user@user/user363627) |
2024-09-20 05:05:09 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
2024-09-20 05:15:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-20 05:17:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 05:18:40 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.53) |
2024-09-20 05:21:22 +0200 | AlexZenon | (~alzenon@94.233.241.56) (Ping timeout: 248 seconds) |
2024-09-20 05:22:18 +0200 | AlexNoo | (~AlexNoo@94.233.241.56) (Ping timeout: 252 seconds) |
2024-09-20 05:26:00 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
2024-09-20 05:29:06 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-20 05:48:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 05:53:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 05:57:29 +0200 | machinedgod | (~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 +0200 | peterbecich | (~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 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
2024-09-20 06:09:37 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
2024-09-20 06:09:58 +0200 | chromo | (~chromo@210.185.108.225) |
2024-09-20 06:11:16 +0200 | michalz | (~michalz@185.246.207.201) |
2024-09-20 06:11:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 06:13:27 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
2024-09-20 06:18:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-20 06:22:56 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
2024-09-20 06:25:39 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
2024-09-20 06:29:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-20 06:30:58 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-20 06:48:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 06:50:46 +0200 | caconym8 | caconym |
2024-09-20 06:52:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-09-20 06:53:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 07:07:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 07:11:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 07:13:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-09-20 07:14:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 07:23:07 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2024-09-20 07:23:46 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-09-20 07:28:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-09-20 07:29:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-09-20 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-20 07:34:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-20 07:36:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2024-09-20 07:37:18 +0200 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) |
2024-09-20 07:38:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-20 07:48:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 07:54:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 08:09:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 08:13:12 +0200 | arahael | (~arahael@user/arahael) (Read error: Connection reset by peer) |
2024-09-20 08:13:54 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
2024-09-20 08:14:19 +0200 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
2024-09-20 08:18:40 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Ping timeout: 265 seconds) |
2024-09-20 08:19:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-20 08:20:32 +0200 | michalz | (~michalz@185.246.207.218) |
2024-09-20 08:21:07 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2024-09-20 08:21:07 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2024-09-20 08:21:07 +0200 | jinsun_ | jinsun |
2024-09-20 08:26:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-20 08:26:47 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
2024-09-20 08:26:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-09-20 08:36:25 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
2024-09-20 08:47:57 +0200 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) |
2024-09-20 08:51:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 08:51:33 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2024-09-20 08:54:53 +0200 | arahael | (~arahael@user/arahael) |
2024-09-20 08:57:05 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
2024-09-20 08:58:22 +0200 | greenflower | (~greenflow@125.16.7.78) |
2024-09-20 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-20 09:00:38 +0200 | caconym | (~caconym@user/caconym) |
2024-09-20 09:02:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-20 09:06:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-09-20 09:09:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-20 09:10:35 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-09-20 09:13:37 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-09-20 09:14:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 09:19:08 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
2024-09-20 09:20:22 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2024-09-20 09:27:15 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
2024-09-20 09:31:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 09:38:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 09:42:20 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-09-20 09:42:38 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-09-20 09:42:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-09-20 09:44:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-20 09:45:10 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Quit: on the move) |
2024-09-20 09:45:34 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
2024-09-20 09:45:34 +0200 | ChanServ | +v haskellbridge |
2024-09-20 09:49:06 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 09:54:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-20 09:55:12 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
2024-09-20 09:55:39 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-09-20 09:56:20 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
2024-09-20 09:56:20 +0200 | ChanServ | +v haskellbridge |
2024-09-20 09:57:55 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-20 09:59:58 +0200 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
2024-09-20 10:00:34 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-09-20 10:00:46 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-20 10:01:34 +0200 | euleritian | (~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 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 10:11:28 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
2024-09-20 10:13:13 +0200 | euleritian | (~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) (Ping timeout: 265 seconds) |
2024-09-20 10:13:57 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-09-20 10:14:17 +0200 | gehmehgeh | gmg |
2024-09-20 10:16:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-20 10:23:48 +0200 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) |
2024-09-20 10:25:18 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
2024-09-20 10:26:15 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
2024-09-20 10:27:44 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
2024-09-20 10:28:50 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
2024-09-20 10:31:01 +0200 | greenflower | (~greenflow@125.16.7.78) (Quit: Client closed) |
2024-09-20 10:31:25 +0200 | greenflower | (~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 +0200 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) (Ping timeout: 244 seconds) |
2024-09-20 10:38:56 +0200 | Squared | (~Square@user/square) |
2024-09-20 10:41:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-20 10:46:37 +0200 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) |
2024-09-20 10:46:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
2024-09-20 10:46:59 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-09-20 10:47:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 10:53:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 10:53:29 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en) |
2024-09-20 10:57:57 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
2024-09-20 11:00:00 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
2024-09-20 11:02:53 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
2024-09-20 11:06:13 +0200 | arahael | (~arahael@user/arahael) |
2024-09-20 11:08:01 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
2024-09-20 11:08:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 11:10:44 +0200 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) (Ping timeout: 265 seconds) |
2024-09-20 11:12:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds) |
2024-09-20 11:13:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 11:13:42 +0200 | AlexNoo_ | AlexNoo |
2024-09-20 11:14:37 +0200 | euleritian | (~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 +0200 | tromp | (~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 +0200 | AlexNoo | AlexNoo__ |
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 +0200 | AlexNoo__ | 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 +0200 | kuribas | (~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 +0200 | gmg | (~user@user/gehmehgeh) |
2024-09-20 11:26:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 11:29:42 +0200 | euleritian | (~euleritia@176.2.2.66) (Ping timeout: 246 seconds) |
2024-09-20 11:31:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 11:31:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-20 11:35:53 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2024-09-20 11:36:08 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
2024-09-20 11:38:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-20 11:42:01 +0200 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) |
2024-09-20 11:47:41 +0200 | greenflower | (~greenflow@14.99.164.82) |
2024-09-20 11:47:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-09-20 11:48:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
2024-09-20 11:48:55 +0200 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
2024-09-20 11:55:32 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-09-20 11:56:10 +0200 | driib318 | (~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 +0200 | morb | (~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 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-20 12:05:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-20 12:09:41 +0200 | arahael | (~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 +0200 | bliminse_ | (~bliminse@user/bliminse) (Quit: leaving) |
2024-09-20 12:29:42 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-09-20 12:35:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 12:40:39 +0200 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
2024-09-20 12:41:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-20 12:41:36 +0200 | mari-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 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2024-09-20 12:52:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 12:56:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 12:58:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-20 12:58:13 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
2024-09-20 13:02:02 +0200 | arahael | (~arahael@user/arahael) |
2024-09-20 13:04:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-20 13:04:49 +0200 | flounders_ | (~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds) |
2024-09-20 13:06:48 +0200 | flounders | (~flounders@173.246.214.210) |
2024-09-20 13:06:56 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 13:07:08 +0200 | tromp | (~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 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-09-20 13:24:25 +0200 | morb | (~morb@108.41.100.120) |
2024-09-20 13:29:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 13:32:54 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
2024-09-20 13:42:35 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-20 13:46:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 13:52:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-20 13:55:51 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
2024-09-20 13:58:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 14:00:23 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2024-09-20 14:00:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:05:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-20 14:10:34 +0200 | chiselfu1e | chiselfuse |
2024-09-20 14:11:09 +0200 | Blasius_ | (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
2024-09-20 14:20:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) |
2024-09-20 14:35:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:37:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 14:41:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 14:47:15 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-20 14:49:36 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
2024-09-20 14:52:48 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
2024-09-20 14:53:09 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-09-20 14:56:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:58:19 +0200 | merijn | (~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 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 15:09:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:28:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:28:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 15:28:30 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
2024-09-20 15:29:43 +0200 | athan | (~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 +0200 | youthlic | (~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 +0200 | morb | (~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) |