Logs on 2023-07-25 (liberachat/#haskell)
| 00:01:58 | × | phma quits (phma@2001:5b0:215a:83d8:da04:2894:d9ee:aa28) (Read error: Connection reset by peer) |
| 00:02:25 | → | phma joins (~phma@host-67-44-208-140.hnremote.net) |
| 00:09:49 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:09:50 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:09:50 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:15:13 | → | mik3d joins (~mik3d@74.102.139.139) |
| 00:15:16 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 00:17:05 | × | natechan quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Quit: WeeChat 2.9) |
| 00:22:44 | → | mik3d joins (~mik3d@74.102.139.139) |
| 00:26:45 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 00:31:36 | → | mik3d joins (~mik3d@74.102.139.139) |
| 00:32:08 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 00:44:03 | → | Square2 joins (~Square@user/square) |
| 00:45:25 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 00:47:53 | <wroathe> | Incoming potentially stupid question: I'm experimenting with compiling Haskell to wasm for execution in the browser. After getting a hello, world program to run to completion successfully I'm setting on my sights on the fact that the compiled wasm executable ends up at about 1.1MB with just as simple hello world. wasm-objdump shows that about 75% of that is code. The putStrLn was just a test, but with |
| 00:47:59 | <wroathe> | this executing in the browser environment I expect that 100% of program I/O will occur through wasm imports and not through base or anything GHC standard library related. Does anyone here know if it's possible to compile a haskell executable without things like the RTS and the "standard" libraries? |
| 00:48:28 | <wroathe> | Just as an experiment I want to see if I can compile Haskell to a very light wasm binary that just leverages browser web apis through wasm imports |
| 00:50:58 | <sm> | the RTS is pretty important |
| 00:52:27 | <wroathe> | sm: yeah, but probably less so when it's just a wasm program running on a browser thread |
| 00:52:40 | <wroathe> | that said, there might be some hidden dependencies I'm not thinking of |
| 00:52:55 | <wroathe> | But I don't plan on using anything I/O related in base |
| 00:53:05 | <sm> | the garbage collector, I'm thinking ? |
| 00:54:39 | <wroathe> | sm: Potentially. From what I'm learning the browser injects a linear memory block for the program to run against when instantiating the wasm module. The GC might be desirable, but as part of this experiment tinkering with manual memory management would be worthwhile |
| 00:54:54 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:55:34 | <wroathe> | So if I could remove it, manage the memory manually, and then enable it and see how much added size it adds to the executable that would be worthwhile to me to try |
| 00:57:05 | × | perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 00:57:33 | → | perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 01:00:28 | <sm> | I doubt ghc's memory manager is pluggable but I could be totally wrong. Maybe #ghc is awake |
| 01:09:21 | → | razetime joins (~quassel@117.193.7.216) |
| 01:10:51 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:11:10 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:17 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:53 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:18:48 | <Axman6> | wroathe: yeah that's not giong to ever work, GHC's execution model needs the RTS in some form or another. I doubt you'd ever see ghc compile a haskell executable for hello world that just used wasi, because it's would be an incredibly limited number of programs that would ever actually do that |
| 01:22:09 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 01:24:19 | → | ensyde joins (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 01:26:46 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 01:26:46 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 01:26:46 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 01:27:14 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:27:20 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 01:27:20 | dobblego | is now known as dibblego |
| 01:28:20 | → | gaff joins (~gaff@49.207.223.69) |
| 01:29:14 | <wroathe> | Axman6: Yeah, interestingly the "hello, world" I got to run in the browser involved me using a JS WASI library to provide those bindings so that my 1.1MB executable worked |
| 01:29:42 | <wroathe> | My plan, if I can finagle it, is to do away with WASI entirely and use custom wasm imports for web apis that I provide |
| 01:30:29 | <wroathe> | Ultimately I'm getting sick of the typical Javascript toolchain (babel, esbuild, typescript, and so on), and so I want to experiment with some other languages compiled to wasm and targetting the web |
| 01:32:10 | <dolio> | Does WASM require having a single blob containing the runtime system, or can it do something where there's a separate RTS blob that only has to be downloaded rarely (because it rarely changes)? |
| 01:33:56 | <wroathe> | dolio: For separate blobs to communicate I think they'd have to utilize the imports/exports system at load time |
| 01:34:18 | <wroathe> | So that would have to be done manually. To my knowledge you can't just link them together at load time |
| 01:34:44 | <dolio> | Well, I mean, GHC could conceivably generate something that does that. |
| 01:35:01 | <wroathe> | That said, of the 750KB worth of code in this executable I'm doubtful that all of it is being used by the RTS |
| 01:35:20 | <wroathe> | Perhaps something just isn't removing dead code like it should be |
| 01:38:14 | <Axman6> | it's hard to know what in the RTS is actually dead code. It's possible there's also dead Haskell code, like every type class function would be retained, at least fo every type tha's used in the program (and that could be many more types than you'd expect as the prelude's also going to use a lot of base types internally) |
| 01:43:47 | → | rainbyte joins (~rainbyte@181.31.239.226) |
| 01:45:39 | <jackdk> | And then there's the stuff which implements the language semantics |
| 01:45:44 | <jackdk> | > foldr (const $ const 1) undefined (undefined : undefined) |
| 01:45:45 | <lambdabot> | 1 |
| 01:46:05 | <wroathe> | jackdk: Right. That's the stuff I was thinking I might need |
| 01:46:31 | <wroathe> | But the first step in this is getting to a state where I can start experimenting with chopping stuff off and seeing what breaks |
| 02:03:27 | → | mik3d joins (~mik3d@74.102.139.139) |
| 02:03:45 | × | scootalong quits (~user@122.199.56.230) (Remote host closed the connection) |
| 02:03:56 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 02:05:09 | × | nick4 quits (~nick@2600:8807:9084:7800:b163:648a:f3e5:666f) (Ping timeout: 260 seconds) |
| 02:05:20 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 02:08:29 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 02:09:58 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 02:11:02 | × | falafel quits (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 250 seconds) |
| 02:12:56 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:16:38 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 02:20:54 | × | td_ quits (~td@i53870929.versanet.de) (Ping timeout: 260 seconds) |
| 02:22:29 | → | td_ joins (~td@i5387093B.versanet.de) |
| 02:25:22 | × | xff0x quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 02:25:33 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:25:38 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 02:26:49 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 02:31:17 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:31:17 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:31:17 | finn_elija | is now known as FinnElija |
| 02:32:34 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 02:36:10 | × | ddellacosta quits (~ddellacos@143.244.47.71) (Ping timeout: 250 seconds) |
| 02:36:53 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 02:37:14 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:37:14 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:37:14 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:38:04 | → | ddellacosta joins (~ddellacos@146.70.165.154) |
| 02:42:29 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 02:46:28 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:46:28 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:46:28 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:49:38 | → | pavonia joins (~user@user/siracusa) |
| 02:52:53 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) |
| 02:55:47 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 03:01:57 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 03:02:43 | → | sefidel joins (~sefidel@user/sefidel) |
| 03:04:38 | → | Guest55 joins (~Guest55@2804:3768:8084:dd00:d091:2b1f:536:c2eb) |
| 03:05:54 | × | Guest55 quits (~Guest55@2804:3768:8084:dd00:d091:2b1f:536:c2eb) (Client Quit) |
| 03:08:40 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 03:09:36 | → | dibblego joins (~dibblego@116.255.1.151) |
| 03:09:36 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 03:09:36 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:13:22 | <wroathe> | Hmm, force-linking without base results in a 57% reduction in the code segment and a 65% reduction in compiled file size |
| 03:13:49 | <wroathe> | Granted no chance of running, because the RTS obviously needs multiple symbols that the base library provides |
| 03:15:44 | <wroathe> | I retract my statement. It ran to completion in the browser. |
| 03:17:40 | → | bilegeek joins (~bilegeek@2600:1008:b013:1e6d:b6be:32f4:8f44:716e) |
| 03:18:52 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 03:21:06 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:32:04 | → | aforemny_ joins (~aforemny@2001:9e8:6cef:e500:89ba:7d36:6a1c:a235) |
| 03:33:35 | × | aforemny quits (~aforemny@2001:9e8:6cc8:6400:75e7:c177:eb56:80ac) (Ping timeout: 264 seconds) |
| 03:37:28 | × | gaff quits (~gaff@49.207.223.69) (Quit: Bye ...) |
| 03:38:14 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:38:14 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:38:14 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 03:38:21 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 03:38:31 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 03:38:34 | dobblego | is now known as dibblego |
| 03:47:49 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 03:52:54 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:52:54 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:52:54 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:57:21 | ← | wroathe parts (~wroathe@user/wroathe) () |
| 04:03:38 | → | mik3d joins (~mik3d@74.102.139.139) |
| 04:05:23 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 04:05:37 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 04:09:14 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:11:03 | × | razetime quits (~quassel@117.193.7.216) (Ping timeout: 244 seconds) |
| 04:17:06 | → | michalz joins (~michalz@185.246.207.221) |
| 04:18:09 | → | nick4 joins (~nick@2600:8807:9084:7800:b163:648a:f3e5:666f) |
| 04:19:24 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 04:19:42 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 04:27:43 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 04:29:28 | × | phma quits (~phma@host-67-44-208-140.hnremote.net) (Read error: Connection reset by peer) |
| 04:30:07 | → | phma joins (phma@2001:5b0:210b:9ac8:f297:1dd8:f3f8:b4fd) |
| 04:30:24 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 04:32:28 | → | razetime joins (~quassel@117.193.7.216) |
| 04:34:03 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:34:03 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:34:03 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:39:09 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 04:40:14 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 04:47:16 | <jackdk> | cool, that's exciting! |
| 04:49:22 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:49:22 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:49:22 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:54:19 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 04:58:04 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:58:04 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:58:04 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:05:08 | × | bilegeek quits (~bilegeek@2600:1008:b013:1e6d:b6be:32f4:8f44:716e) (Quit: Leaving) |
| 05:07:36 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 05:07:42 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:11:07 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: PegeLinux) |
| 05:12:01 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 244 seconds) |
| 05:12:10 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 05:14:51 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Client Quit) |
| 05:16:34 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:16:40 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 05:18:30 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 05:22:32 | → | kadenwolff[m] joins (~kadenwolf@2001:470:69fc:105::1:d97f) |
| 05:29:25 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:36:20 | → | notzmv joins (~zmv@user/notzmv) |
| 05:42:25 | <sm> | wroathe in mad scientist mode |
| 05:48:39 | → | Inst_ joins (~Inst@2601:6c4:4081:2fc0:1cc8:47b:7c0e:fa36) |
| 05:52:04 | × | Inst__ quits (~Inst@2601:6c4:4081:2fc0:1cc8:47b:7c0e:fa36) (Ping timeout: 260 seconds) |
| 06:04:00 | → | CiaoSen joins (~Jura@2a05:5800:299:c600:664b:f0ff:fe37:9ef) |
| 06:05:26 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 06:05:53 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:06:52 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:15:05 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 06:23:15 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 06:24:25 | → | qqq joins (~qqq@92.43.167.61) |
| 06:24:38 | → | ent joins (entgod@kapsi.fi) |
| 06:31:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:34:01 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:36:01 | → | jtza8 joins (~user@165.255.89.230) |
| 06:39:20 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 06:39:38 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:46:49 | → | mik3d joins (~mik3d@74.102.139.139) |
| 06:47:47 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 246 seconds) |
| 06:48:09 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:49:02 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 06:51:41 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 245 seconds) |
| 06:52:04 | → | ubert joins (~Thunderbi@178.165.194.76.wireless.dyn.drei.com) |
| 06:52:53 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 06:53:07 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 06:55:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:57:08 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 06:57:55 | → | titibandit joins (~titibandi@user/titibandit) |
| 06:57:56 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
| 07:04:39 | × | mud quits (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 07:06:06 | × | mauke quits (~mauke@user/mauke) (Quit: leaving) |
| 07:08:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:08:06 | → | gmg joins (~user@user/gehmehgeh) |
| 07:15:47 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 07:15:53 | <simikando> | oh |
| 07:18:02 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f08904a93af819a11ce.dip0.t-ipconnect.de) |
| 07:20:34 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 07:22:02 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 07:23:55 | <simikando> | Hello, how do I use the lambdabot? I have this math problem 3/2(1+2) |
| 07:24:25 | <fvr> | > 3/2*(1+2) |
| 07:24:26 | <lambdabot> | 4.5 |
| 07:24:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:25:23 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:26:50 | <simikando> | fascinating |
| 07:27:06 | <simikando> | > sin(x)^2 |
| 07:27:07 | <lambdabot> | sin x * sin x |
| 07:27:31 | × | jtza8 quits (~user@165.255.89.230) (Quit: Must... cancel... distractions...) |
| 07:32:03 | <simikando> | > solve for x; (2x+1)=2(x+5) |
| 07:32:05 | <lambdabot> | <hint>:1:12: error: parse error on input ‘;’ |
| 07:32:17 | <simikando> | solve for x (2x+1)=2(x+5) |
| 07:32:32 | <simikando> | > solve for x (2x+1)=2(x+5) |
| 07:32:34 | <lambdabot> | <hint>:1:19: error: parse error on input ‘=’ |
| 07:32:40 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 07:32:48 | <simikando> | okay lemme read the documentation |
| 07:34:30 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:36:02 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 07:44:08 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 07:44:39 | → | chele joins (~chele@user/chele) |
| 07:45:52 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:47:10 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 07:55:41 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:56:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Remote host closed the connection) |
| 07:58:46 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:59:05 | → | danse-nr3__ joins (~francesco@151.57.2.80) |
| 08:01:11 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f08904a93af819a11ce.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 08:01:40 | → | acidjnk joins (~acidjnk@p200300d6e7072f087571ae0d4439b829.dip0.t-ipconnect.de) |
| 08:06:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:07:14 | × | andydude quits (~andrewr@151.200.15.152) (Ping timeout: 250 seconds) |
| 08:07:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:08:20 | → | trev joins (~trev@user/trev) |
| 08:10:11 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 08:14:54 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:15:13 | → | titibandit joins (~titibandi@user/titibandit) |
| 08:15:20 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:15:47 | × | ubert quits (~Thunderbi@178.165.194.76.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 08:16:42 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 08:17:05 | → | ubert joins (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) |
| 08:17:12 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:18:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:21:06 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:24:41 | → | ormaaj1 joins (~ormaaj@user/ormaaj) |
| 08:26:04 | × | razetime quits (~quassel@117.193.7.216) (Ping timeout: 260 seconds) |
| 08:26:21 | ormaaj1 | is now known as ormaaaj |
| 08:27:47 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:28:10 | → | mik3d joins (~mik3d@74.102.139.139) |
| 08:28:28 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 08:36:01 | → | mud joins (~mud@user/kadoban) |
| 08:39:35 | → | gurkenglas joins (~gurkengla@dynamic-046-114-092-221.46.114.pool.telefonica.de) |
| 08:40:35 | → | blueonyx joins (~blueonyx@user/blueonyx) |
| 08:42:27 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 08:42:45 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 08:44:15 | → | razetime joins (~quassel@117.193.7.216) |
| 08:49:28 | <geekosaur> | haskell is a language, not wolfram alpha |
| 08:50:11 | <danse-nr3__> | wolfram alpha has its language i think |
| 08:50:47 | <jackdk> | Although is simikando really wants a distraction from his algebra homework, https://iagoleal.com/posts/calculus-symbolic/ is really cool |
| 08:51:42 | <simikando> | I only wanted to test if my calculations are correct and they were |
| 08:54:00 | <jackdk> | hah, fair |
| 08:54:27 | → | qqq joins (~qqq@92.43.167.61) |
| 08:56:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) |
| 08:59:22 | → | ub joins (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) |
| 09:00:42 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 09:01:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Ping timeout: 245 seconds) |
| 09:04:31 | × | acidjnk quits (~acidjnk@p200300d6e7072f087571ae0d4439b829.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 09:04:34 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 09:04:51 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:05:06 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 09:10:54 | → | acidjnk joins (~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de) |
| 09:12:16 | × | nick4 quits (~nick@2600:8807:9084:7800:b163:648a:f3e5:666f) (Ping timeout: 244 seconds) |
| 09:16:56 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:18:11 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:21:46 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 09:22:39 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 09:23:28 | × | ubert quits (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 09:23:29 | ub | is now known as ubert |
| 09:23:43 | → | ubert1 joins (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) |
| 09:25:34 | × | ft quits (~ft@p3e9bc042.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:27:36 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) |
| 09:28:38 | × | gurkenglas quits (~gurkengla@dynamic-046-114-092-221.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 09:31:56 | × | perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 09:32:11 | → | cheater_ joins (~Username@user/cheater) |
| 09:32:11 | → | perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 09:32:25 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds) |
| 09:33:32 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 09:33:36 | cheater_ | is now known as cheater |
| 09:33:38 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 09:34:23 | → | cheater_ joins (~Username@user/cheater) |
| 09:34:23 | cheater_ | is now known as cheater |
| 09:37:58 | × | dsrt^ quits (~cd@24.125.210.85) (Remote host closed the connection) |
| 09:40:20 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 09:40:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:41:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 09:43:29 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:43:35 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 09:44:32 | → | __monty__ joins (~toonn@user/toonn) |
| 10:01:52 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 10:11:19 | × | qqq quits (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 10:15:20 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 252 seconds) |
| 10:18:44 | → | mik3d joins (~mik3d@74.102.139.139) |
| 10:20:20 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 10:21:34 | × | ubert1 quits (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 10:23:16 | → | mik3d joins (~mik3d@74.102.139.139) |
| 10:29:49 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 10:33:36 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 10:34:20 | → | qqq joins (~qqq@92.43.167.61) |
| 10:37:59 | × | mik3d quits (~mik3d@74.102.139.139) (Quit: Quit) |
| 10:39:56 | → | gugu256 joins (~gugu256@122.38.22.93.rev.sfr.net) |
| 10:44:59 | × | gugu256 quits (~gugu256@122.38.22.93.rev.sfr.net) (Quit: Leaving) |
| 10:45:23 | → | gugu256 joins (~gugu256@122.38.22.93.rev.sfr.net) |
| 10:47:08 | × | ensyde quits (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 250 seconds) |
| 10:50:22 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 10:56:01 | → | ubert1 joins (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) |
| 10:57:19 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 11:06:06 | × | ubert1 quits (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Quit: ubert1) |
| 11:07:30 | → | xff0x joins (~xff0x@2405:6580:b080:900:3abd:5e8:ff1e:4ed) |
| 11:07:41 | × | danse-nr3__ quits (~francesco@151.57.2.80) (Remote host closed the connection) |
| 11:08:05 | → | danse-nr3__ joins (~francesco@151.57.2.80) |
| 11:08:17 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 11:08:38 | × | td_ quits (~td@i5387093B.versanet.de) (Quit: waking up from the american dream ...) |
| 11:11:25 | × | CrunchyFlakes quits (~pi4@ip9234cf0c.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 11:13:32 | → | td_ joins (~td@i5387093B.versanet.de) |
| 11:13:38 | → | CrunchyFlakes joins (~pi4@ip9234cf77.dynamic.kabel-deutschland.de) |
| 11:26:53 | × | danse-nr3__ quits (~francesco@151.57.2.80) (Ping timeout: 246 seconds) |
| 11:27:08 | <drlkf> | how to implement custom bounded enum instances correctly ? defining `maxBound` and `enumFrom = boundedEnumFrom` yields a runtime error on `last [minBound..]`, even when the rest works as expected. i'm suspecting something about folds and tco but i'm not an expert |
| 11:36:25 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:43:48 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 11:46:17 | <merijn> | drlkf: how'd you implement fromEnum/toEnum? |
| 11:52:53 | × | razetime quits (~quassel@117.193.7.216) (Remote host closed the connection) |
| 11:53:21 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Quit: leaving) |
| 11:56:28 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:00:21 | <rselim> | anyone have a link to something along the lines of 'here is what to read to get back up to speed with haskell if youve been away from it for 5 years' |
| 12:00:21 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 12:05:01 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 12:07:33 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 12:09:08 | → | razetime joins (~quassel@117.193.7.216) |
| 12:09:44 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 12:13:25 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:16:08 | → | hellwolf joins (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 12:18:35 | <dminuoso> | drlkf: What runtime error do you get? |
| 12:19:04 | → | danse-nr3__ joins (~francesco@151.43.34.49) |
| 12:27:39 | <drlkf> | nevermind, my problem was somewhere else completely. enum works fine |
| 12:30:54 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 12:33:35 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 12:39:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:41:45 | <sm> | rselim: https://github.com/Gabriella439/post-rfc/blob/main/sotu.md#state-of-the-haskell-ecosystem |
| 12:42:05 | gurkengl1s | is now known as gurkenglas |
| 12:42:08 | <rselim> | cheers that looks like the sort of thing i was looking for |
| 12:42:22 | × | bgamari quits (~bgamari@70.16.98.14) (Ping timeout: 252 seconds) |
| 12:42:54 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 12:43:09 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 12:44:28 | → | bgamari joins (~bgamari@70.16.98.14) |
| 12:46:10 | × | acidjnk quits (~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 12:52:46 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 12:54:24 | × | CiaoSen quits (~Jura@2a05:5800:299:c600:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 12:58:14 | → | sgillespie joins (~sgillespi@c-76-106-206-194.hsd1.fl.comcast.net) |
| 12:58:34 | → | qrst joins (~qrst@user/qrst) |
| 12:59:40 | <merijn> | hmm, so do we have a convenient wrapper to select the appropriate HLS version dependent on cabal.project/ghc in path yet? |
| 13:01:27 | <dminuoso> | merijn: In a twisted way nix gives you that. |
| 13:02:36 | <dminuoso> | merijn: Also, look into the HLS wrapper executable. |
| 13:02:50 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 13:03:41 | <dminuoso> | Though I guess you could also use direnv to that same effect. |
| 13:05:48 | ← | andrewboltachev parts (~andrey@178.141.128.242) () |
| 13:07:09 | <merijn> | dminuoso: https://i.imgflip.com/7toexq.jpg |
| 13:07:53 | × | Angelz quits (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Quit: IRCNow and Forever!) |
| 13:11:24 | × | turlando quits (~turlando@user/turlando) () |
| 13:11:37 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 13:14:34 | × | myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 13:14:48 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 13:15:53 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 13:18:27 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:19:15 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:23:08 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 13:28:11 | → | ripspin joins (~chatzilla@1.145.196.202) |
| 13:29:17 | <dminuoso> | One day you will succumb. |
| 13:30:32 | <geekosaur> | hls's wrapper seems to work for me |
| 13:30:41 | <geekosaur> | even if I build a new HLS for a new ghc |
| 13:31:05 | <dminuoso> | Sadly its just completely undocumented. |
| 13:31:08 | <merijn> | geekosaur: Which wrapper is that? |
| 13:31:12 | <dminuoso> | Its existence, its usage and how it works. |
| 13:31:19 | <dminuoso> | merijn: https://github.com/haskell/haskell-language-server/blob/master/exe/Wrapper.hs |
| 13:31:21 | <dminuoso> | Of course. |
| 13:31:24 | → | nick4 joins (~nick@ip98-162-147-230.pn.at.cox.net) |
| 13:31:56 | <merijn> | Gotta get this to build first, atm there's some broken hashable constraint :p |
| 13:32:24 | <dminuoso> | merijn: https://github.com/haskell/haskell-language-server/blob/master/haskell-language-server.cabal#L501 |
| 13:32:26 | <dminuoso> | This one. |
| 13:32:55 | <geekosaur> | https://github.com/haskell/haskell-language-server/blob/master/exe/Wrapper.hs |
| 13:33:05 | <geekosaur> | oh, someone got there first |
| 13:33:30 | <geekosaur> | I just know ghcup installs it for me and it always picks the right HLS if one exists for the compiler I'm using |
| 13:34:06 | <merijn> | geekosaur: I use multiple different compilers specified via either cabal.project or just "the first in path" |
| 13:34:06 | × | ripspin quits (~chatzilla@1.145.196.202) (Ping timeout: 260 seconds) |
| 13:34:16 | <geekosaur> | that's fine, it handles that |
| 13:34:30 | <maerwald> | merijn: you have to name your hls exes properly so the wrapper knows what to do |
| 13:34:44 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 13:35:16 | <geekosaur> | provided it's given the compiler, which… see about undocumented. but it seems to work as I've used it with a compiler specified in cabal.project and I've used it with one in `$PATH` |
| 13:35:31 | <maerwald> | merijn: https://paste.tomsmeding.com/BqnbApFh |
| 13:35:55 | <maerwald> | in that setting, you invoke haskell-language-server-wrapping and it will pick the right hls binary depending on your project GHC |
| 13:36:01 | <maerwald> | (yes, it will understand cabal.project) |
| 13:36:12 | <geekosaur> | and when I've added support for a new ghc release with `ghcup compile ghc …` it picks up the new compiler automatically |
| 13:36:26 | <merijn> | maerwald: I assumed I was gonna have to rename it with a number, just so they don't conflict :p |
| 13:36:44 | × | nick4 quits (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 246 seconds) |
| 13:39:11 | <geekosaur> | https://paste.tomsmeding.com/w9WAOZlx |
| 13:40:01 | <geekosaur> | sorry, I meant `ghcup compile hls` since I was building HLS against e.g. 9.2.8 before they released an updated HLS that supported it |
| 13:40:05 | <geekosaur> | (also 9.6.2) |
| 13:40:30 | <merijn> | geekosaur: I don't use ghcup either, because I'm a luddite who hates progress ;) |
| 13:40:48 | <merijn> | anyway, nap time while hls compiles :p |
| 13:40:51 | <geekosaur> | so you're stuck with what comes with the HLS install |
| 13:41:11 | <geekosaur> | np as long as that version of HLS supports your GHCs |
| 13:43:07 | → | andydude joins (~andrewr@151.200.15.152) |
| 13:43:18 | → | pyooque joins (~puke@user/puke) |
| 13:43:18 | puke | is now known as Guest4630 |
| 13:43:18 | × | Guest4630 quits (~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services))) |
| 13:43:18 | pyooque | is now known as puke |
| 13:43:39 | <maerwald> | merijn: you shouldn't use cabal-install then either... Setup.hs is enough |
| 13:45:47 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 13:49:44 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 13:54:22 | → | ripspin joins (~chatzilla@1.145.128.15) |
| 13:55:31 | <merijn> | maerwald: naah, see, cabal-install already existed when I started :p |
| 13:56:26 | <maerwald> | you can read ghcup source code in one evening if you're quick |
| 13:57:06 | <maerwald> | although cloc says it's 15k |
| 13:57:25 | <maerwald> | probably most of that formatting :P |
| 13:58:04 | <maerwald> | for cabal you need an entire winter |
| 13:58:38 | <maerwald> | and it'll likely end similar to the movie Shining |
| 13:58:55 | → | pyooque joins (~puke@user/puke) |
| 13:58:55 | × | puke quits (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 13:58:55 | pyooque | is now known as puke |
| 13:59:17 | <dolio> | I might need to start using ghcup. The latest ghc release was a lot trickier to compile than previous ones. |
| 13:59:41 | <merijn> | maerwald: I know, I have patches in cabal :p |
| 14:00:19 | × | puke quits (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 14:00:23 | <maerwald> | dolio: there's some patches in the queue for 'ghcup compile ghc' (wrt hadrian) that are not released yet |
| 14:00:46 | <maerwald> | that feature is becoming non-trivial to maintain |
| 14:01:21 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 14:01:40 | <dolio> | Oh, I just mean that my previous methodology of downloading the source release and doing `./configure ...` to put it in my custom multi-ghc location is no longer as easy. |
| 14:01:50 | <dolio> | I don't actually work on ghc. |
| 14:02:45 | <dolio> | I assume whatever they did is way better for people who do. |
| 14:03:00 | <danse-nr3__> | merijn, luddite programmers ... is that even possible? |
| 14:05:16 | <geekosaur> | any C programmer 😛 |
| 14:05:44 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 14:06:30 | <danse-nr3__> | but still ... C is advanced tech from a luddite perspective |
| 14:06:32 | × | andydude quits (~andrewr@151.200.15.152) (Ping timeout: 240 seconds) |
| 14:07:47 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 264 seconds) |
| 14:08:37 | <probie> | The C programming language is over 50 years old. That means you're probably in your 70s if you worked as programmer before C existed |
| 14:08:58 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 14:17:07 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 14:17:59 | <dolio> | I think you can be a luddite without being born before something existed. |
| 14:18:32 | <dolio> | Doesn't make much sense for C, though, because things produced with C are the inferior goods. :þ |
| 14:18:55 | <jade[m]> | what is the performance of `concat` in big O notation? |
| 14:18:55 | <jade[m]> | it's defined as `foldr (++) []` (ignoring fusion), so it's basically the sum of size of the sublists, so would that still classify as linear? |
| 14:19:05 | → | actioninja630 joins (~actioninj@user/actioninja) |
| 14:19:13 | <int-e> | dolio: it's still magic |
| 14:19:18 | <jade[m]> | but it's linear in both the sublist concatenation as well as the amount of sublists itself, so that'd be quadratic |
| 14:19:33 | <sm> | O(n+m) ? |
| 14:19:55 | <int-e> | dolio: created by dark, hooded figures in dark rooms illuminated only by green-on-black monitors. |
| 14:20:14 | <jade[m]> | not quadratic, more sum [sublist_n size] |
| 14:20:43 | <jade[m]> | so kinda n*m? |
| 14:20:44 | × | actioninja63 quits (~actioninj@user/actioninja) (Ping timeout: 260 seconds) |
| 14:20:44 | actioninja630 | is now known as actioninja63 |
| 14:20:52 | <dolio> | jade[m]: If you're just using words like 'linear' or 'quadratic,' you can usually get a different answer by changing some kind of perspective on the input. |
| 14:21:07 | <jade[m]> | yeah that's fait |
| 14:21:08 | <jade[m]> | * yeah that's fair |
| 14:21:45 | <dolio> | Like, is an operation on numbers linear (in the size of the binary representation) or logarithmic (in the number it represents)? |
| 14:22:13 | <jade[m]> | the most exact notion would be sum_0^(length - 1) of length (input[n]) I think? |
| 14:22:26 | <ncf> | concat ls takes O(length (concat ls)) steps... by definition? :p |
| 14:23:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:23:25 | <int-e> | + length ls |
| 14:23:39 | <int-e> | > concat (repeate 10000000 []) |
| 14:23:40 | <lambdabot> | error: |
| 14:23:41 | <lambdabot> | • Variable not in scope: repeate :: t1 -> [a0] -> t0 [a] |
| 14:23:41 | <lambdabot> | • Perhaps you meant one of these: |
| 14:23:45 | <int-e> | > concat (repeat 10000000 []) |
| 14:23:47 | <lambdabot> | error: |
| 14:23:47 | <lambdabot> | • Couldn't match expected type ‘[a0] -> t0 [a]’ |
| 14:23:47 | <lambdabot> | with actual type ‘[a1]’ |
| 14:23:54 | <ncf> | yeah |
| 14:23:59 | <int-e> | meh, replicate, not repeat |
| 14:24:03 | <jade[m]> | you want replicate |
| 14:24:25 | <dolio> | Anyhow, it would definitely be odd to only consider the length of the outer list as the input size. |
| 14:24:30 | <geekosaur> | I always get them backwards too… |
| 14:24:36 | <jade[m]> | +1 |
| 14:24:49 | <jade[m]> | dolio: exactly |
| 14:30:17 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 14:32:05 | <danse-nr3__> | dolio, true, because the quality of products was a point in their reasoning. They were not against all technology, just some ... so yeah, i guess it is possible to have luddite programmers, and i should study that history better ^^; |
| 14:32:29 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 14:33:12 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 14:33:51 | <dolio> | Maybe you should become one! |
| 14:34:41 | <sm> | "The Luddites ... protested against manufacturers who used machines in "a fraudulent and deceitful manner" to replace the skilled labour of workers and drive down wages by producing inferior goods." |
| 14:34:44 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 14:34:59 | <geekosaur> | they weren't even against technology as such. they were against companies firing workers because they could be replaced with machines |
| 14:35:07 | <geekosaur> | or, what sm said |
| 14:35:09 | <maerwald> | I haven't fired anyone so far |
| 14:35:16 | → | emid joins (~thales@191.180.21.148) |
| 14:36:12 | <sm> | "owners took to shooting protesters and eventually the movement was suppressed with legal and military force, which included execution and penal transportation of accused and convicted Luddites." |
| 14:36:12 | <sm> | phew, rough times |
| 14:36:17 | <sm> | eg if you're australian maybe that's how your family got there ? |
| 14:36:21 | → | gmg joins (~user@user/gehmehgeh) |
| 14:36:30 | <maerwald> | might happen quite soon again |
| 14:38:17 | <danse-nr3__> | it never stopped happening, just moved to where we do not hear of it |
| 14:39:51 | <danse-nr3__> | consider the case of en.wikipedia.org/wiki/Iqbal_Masih, for instance |
| 14:40:39 | <geekosaur> | even just manufacturers moving production to Bangladesh or the Philippines etc. |
| 14:42:00 | <maerwald> | well, it's a matter of scale |
| 14:46:23 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 14:47:08 | → | gmg joins (~user@user/gehmehgeh) |
| 14:51:40 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 14:53:34 | → | mei joins (~mei@user/mei) |
| 14:53:47 | × | gugu256 quits (~gugu256@122.38.22.93.rev.sfr.net) (Ping timeout: 244 seconds) |
| 14:59:24 | <merijn> | hm,, haskell-language-server-wrapper does not, in fact, seem to correctly detect the ghc from cabal.project |
| 15:00:20 | <maerwald> | I don't believe you |
| 15:00:47 | <merijn> | ah, wait, it's just reporting GHC from path first before checking things, to make things nice and confusing |
| 15:01:34 | <maerwald> | it runs something like this: cabal exec ghc -- -ignore-dot-ghci -XRebindableSyntax -XNoImplicitPrelude -v0 -package-env=- -e 'Control.Monad.join (Control.Monad.fmap System.IO.putStr System.Environment.getExecutablePath)' |
| 15:01:50 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 260 seconds) |
| 15:02:30 | <merijn> | Yeah it finds the correct one later, but does that, like, way in the middle of noise so the only thing that pops out is reporting the initial ghc on PATH |
| 15:02:54 | <maerwald> | it's black magic |
| 15:03:43 | <merijn> | not black enough, because it seemingly chokes on something else now :p |
| 15:04:15 | → | gugu256 joins (~gugu256@250.134.22.93.rev.sfr.net) |
| 15:04:31 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:05:13 | <maerwald> | you seem to be confusing logging with errors, so I can't really tell |
| 15:06:05 | <merijn> | maerwald: It's not working in the editor, so I'm trying to figure out what it's choking on, so the only thing I have is several KB of noisy logging that it dumps to stdout when I run it manually |
| 15:06:20 | <maerwald> | what editor |
| 15:06:23 | <merijn> | vim |
| 15:06:28 | <maerwald> | what lsp |
| 15:06:32 | <merijn> | ALE |
| 15:06:35 | <maerwald> | gosh |
| 15:06:39 | <merijn> | which worked fine with ghcide before |
| 15:06:58 | <maerwald> | what's your config? |
| 15:07:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:08:17 | <maerwald> | https://github.com/dense-analysis/ale/blob/b216892f0c1ce7bbe9efeeb6cf55b52a473f49c2/ale_linters/haskell/hls.vim#L6 |
| 15:08:20 | <maerwald> | doesn't look too bad |
| 15:08:26 | <merijn> | I have a 1 module, 1 test module cabal file, a cabal.project pointing it at ghc-8.10.7 and ALE setup to only use hls for linting. |
| 15:08:57 | <merijn> | maerwald: all I have atm it simply "let b:ale_linters = ['hls']" for haskell files |
| 15:10:18 | <merijn> | maerwald: atm I'm just manually running "haskell-language-server-wrapper" in my shell, which ends up dumping out the following errors: https://paste.tomsmeding.com/1Pds8SX3 |
| 15:10:50 | <maerwald> | there's abuild error |
| 15:10:59 | <maerwald> | your code is busted |
| 15:11:07 | <merijn> | maerwald: Well yes, of course there is |
| 15:11:17 | <merijn> | I introduced that to see if it would be reported in vim |
| 15:11:31 | <merijn> | like, that's 99.99% of my use case |
| 15:12:08 | <maerwald> | fix the build error first, then let HLS start up |
| 15:12:12 | <maerwald> | then introduce it again |
| 15:14:59 | <merijn> | maerwald: Removing the error it still dies: https://paste.tomsmeding.com/6SwBHYrI |
| 15:15:51 | <merijn> | And it takes about a minute or more to get that far |
| 15:16:22 | <merijn> | ah! |
| 15:16:23 | <maerwald> | why does documentation fail to build? |
| 15:16:36 | <merijn> | haddock is trying to use ghc 9.2.8 instead of ghc-8.10.7 |
| 15:16:50 | <maerwald> | sounds like your PATH/symlinks are messed up |
| 15:16:56 | → | raym joins (~ray@user/raym) |
| 15:17:06 | <maerwald> | (that doesn't happen with ghcup) |
| 15:17:45 | <merijn> | maerwald: 9.2.8 is the first GHC in path, and apparently whatever is invoking haddock isn't invoking 'haddock-8.10.7' like it should |
| 15:18:10 | <merijn> | because "cabal haddock --haddock-for-hackage" works fine |
| 15:18:18 | <merijn> | So cabal is properly calling the right haddock |
| 15:18:56 | <merijn> | So I'm assuming it's something HLS screwing up and invoking just "haddock" |
| 15:19:10 | <merijn> | So I guess that's an issue for #hls :p |
| 15:19:15 | <maerwald> | you can see the command that's run in the log |
| 15:19:24 | <maerwald> | cabal --builddir=/Users/merijn/.cache/hie-bios/dist-paramtree-c1a42d010ef5e73dc28f6503fc05b3e6 v2-repl --with-compiler /Users/merijn/.cache/hie-bios/wrapper-b54f81dea4c0e6d1626911c526bc4e36 --with-hc-pkg /Users/merijn/.cache/hie-bios/ghc-pkg-193386b9f6453356c46586642c889869 paramtree:test:test |
| 15:21:25 | → | acidjnk joins (~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de) |
| 15:22:59 | <merijn> | maerwald: Doesn't tell me much, because that wrapper passed as compiler invokes GHC based on an environment variable I can't see |
| 15:23:15 | <maerwald> | well, we don't pass --with-haddock anywhere |
| 15:23:47 | <maerwald> | same for hpc/hsc2hs/hp2ps |
| 15:24:20 | <merijn> | maerwald: I mean, when I have the "wrong" haddock in path (i.e. just 'haddock' is ghc 9.2) then cabal still correctly invokes haddock-8.10.7 without me passing any flags |
| 15:24:32 | <merijn> | So HLS is doing something that breaks cabal's regular way of invoking it |
| 15:25:12 | <maerwald> | it's possible that -with-compiler /Users/merijn/.cache/hie-bios/wrapper-b54f81dea4c0e6d1626911c526bc4e36 is breaking it |
| 15:25:29 | <merijn> | ah, possibly because it doesn't report a version? |
| 15:25:34 | <merijn> | random guessing |
| 15:26:27 | <merijn> | It's gym time now, so I guess I'll bug people in #haskell-language-server when I'm back |
| 15:29:22 | <maerwald> | merijn: I think it doesn't invoke `--version` but tries to take the version suffix |
| 15:29:54 | <maerwald> | here: https://github.com/haskell/cabal/blob/4aa5f88618a29cb53b988a8ae859caa2c70a6e62/Cabal/src/Distribution/Simple/GHC.hs#L291 |
| 15:30:14 | <maerwald> | wrapper-b54f81dea4c0e6d1626911c526bc4e36 doesn't have any meaningful suffix |
| 15:32:24 | × | razetime quits (~quassel@117.193.7.216) (Remote host closed the connection) |
| 15:32:26 | <merijn> | fun times |
| 15:32:32 | <merijn> | anyway, off for now |
| 15:33:22 | <maerwald> | I remember this part of the code, bc it's trash and caused problems before |
| 15:35:23 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 15:35:24 | × | falafel quits (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 260 seconds) |
| 15:36:19 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) |
| 15:36:21 | <maerwald> | but I'm not sure who to blame... the HLS stuff is a huge hack as well |
| 15:37:21 | → | danse-nr3_ joins (~francesco@151.43.92.22) |
| 15:39:57 | × | danse-nr3__ quits (~francesco@151.43.34.49) (Ping timeout: 245 seconds) |
| 15:45:33 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:48:13 | → | notzmv joins (~zmv@user/notzmv) |
| 15:58:15 | <merijn> | maerwald: ugh, I ended up trying something else and just moving path so that everything in front of path matches the HLS version, which eliminates the haddock failure, but still has HLS unable to cope: https://paste.tomsmeding.com/zOAh5cDO |
| 15:58:49 | <merijn> | Given that this is a pacakge with literally 3 source files (library, tests, and Setup.hs) the inability of HIE to cope is disappointing :\ |
| 15:58:54 | <merijn> | https://github.com/merijn/paramtree |
| 15:59:54 | <maerwald> | merijn: https://github.com/haskell/haskell-language-server/issues/3730 |
| 16:00:26 | × | danse-nr3_ quits (~francesco@151.43.92.22) (Ping timeout: 245 seconds) |
| 16:00:28 | <merijn> | maerwald: <3 |
| 16:02:23 | <maerwald> | implicit-cradle is trash |
| 16:02:45 | <ncf> | int-e: i've pushed GHC 9.6 support to lambdabot/IOSpec, if you want to make a new release |
| 16:02:47 | <maerwald> | try: echo -e 'cradle:\n cabal:' > hie.yaml |
| 16:03:11 | <merijn> | maerwald: Probably, but I have the naive hope/wild expectaction that "dead simple projects in the most standard setup" actually work >.> |
| 16:05:19 | <geekosaur> | my xmonad config + local xmonad+contrib works with an implicit cradle… |
| 16:05:55 | <merijn> | geekosaur: Well, feel free to check the repo I linked, because that + a cabal.project file was too much for implicit-hie >.> |
| 16:06:16 | <merijn> | maybe if I nuke the project file now that the right GHC is first in path |
| 16:06:34 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/skkukuk |
| 16:06:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 16:06:58 | <merijn> | nope, removing the hie.yaml breaks again |
| 16:07:26 | <maerwald> | works for me with explicit hie.yaml |
| 16:07:31 | <maerwald> | no errors |
| 16:07:47 | <merijn> | It errors on Setup.hs for me |
| 16:07:58 | <merijn> | https://paste.tomsmeding.com/nz84TrmT |
| 16:08:45 | <maerwald> | merijn: https://github.com/haskell/haskell-language-server/issues/3710 |
| 16:11:46 | <maerwald> | works with the suggestion there |
| 16:11:49 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:11:50 | <maerwald> | Setup.hs is special |
| 16:12:23 | <geekosaur> | custom Setup is why we can't have nice things |
| 16:13:07 | <merijn> | ok, so now the wrapper works. next challenge, does it actually start in the editor xD |
| 16:15:17 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 16:16:10 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:17:39 | × | blueonyx quits (~blueonyx@user/blueonyx) (Quit: Lost terminal) |
| 16:17:41 | → | turlando joins (~turlando@user/turlando) |
| 16:20:01 | → | notzmv joins (~zmv@user/notzmv) |
| 16:21:10 | → | bilegeek joins (~bilegeek@2600:1008:b03d:d355:b59:5aff:2f93:e6ef) |
| 16:23:29 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 16:28:51 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 16:28:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:30:22 | → | mauke joins (~mauke@user/mauke) |
| 16:30:26 | → | gensyst joins (~gensyst@user/gensyst) |
| 16:30:53 | <gensyst> | Hi, I have a question and it's here: https://dpaste.com/GJ8UCQY22 |
| 16:31:10 | <gensyst> | Can something like this be achieved with e.g. TemplateHaskell, some Macro stuff I don't know about, or some other Haskell/GHC features?? |
| 16:31:38 | <gensyst> | In reality I don't just have three, but tons. Getting very painful to maintain. |
| 16:31:45 | <gensyst> | would be cool to just type it once |
| 16:32:35 | <merijn> | gensyst: it's just repeatedly the same offset increase? |
| 16:32:49 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 16:32:49 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 16:32:49 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 16:32:52 | <jade[m]> | merijn: it also has different newtype constructors |
| 16:33:00 | <merijn> | jade[m]: yeah, sure |
| 16:33:02 | <jade[m]> | but you can coerce those, right? |
| 16:33:17 | <glguy> | jade[m]: coercing doesn't do anything helpful in this context |
| 16:33:28 | <merijn> | gensyst: Should be trivial with TH |
| 16:33:36 | <jade[m]> | oh right, it's just wrapping them |
| 16:34:27 | <ncf> | are you reinventing binary again |
| 16:35:12 | <merijn> | gensyst: you can use the d quasi quoter to get a proper declaration (so, like: [d|extractFoo = Foo . subBs 0 4|]), then you just need to wrap that in a function that gets the constructor and offset as in index, 'foo cons off = [d|$(??? cons) . subBs $(off) 4|]' |
| 16:35:49 | <merijn> | not sure if you can directly use $(cons) to insert the constructor or you need some name lookup |
| 16:35:54 | <merijn> | but also, yes, look at binary too |
| 16:36:37 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 16:36:38 | <dmj`> | jade[m]: Why not put foo bar baz as fields in a product data type? you could make a custom generic deriving to offset the indexing by 4 each time. |
| 16:37:23 | <dmj`> | then all you'd need to do is just keep adding fields |
| 16:37:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:39:46 | <carbolymer> | is it only me or is preprocessor pragma like: |
| 16:39:46 | <carbolymer> | #if __GLASGOW_HASKELL__ >= 902 |
| 16:39:46 | <carbolymer> | unstable i.e. it sometimes breaks the build, but sometimes everything's fine? |
| 16:40:38 | <merijn> | carbolymer: It shouldn't be |
| 16:40:53 | × | _________ quits (~nobody@user/noodly) (Quit: leaving) |
| 16:41:09 | <carbolymer> | merijn: ikr, but I'm looking at the related error in the same place third time today |
| 16:41:34 | <merijn> | pastebin of error+code |
| 16:42:05 | <gensyst> | dmj`, because i don't want to deserialize everything. sometimes I want to deserialize all three, but in some cases i only want to deserialize Foo, sometimes only Bar, etc. |
| 16:42:15 | <gensyst> | hence three different functions |
| 16:42:22 | → | titibandit joins (~titibandi@user/titibandit) |
| 16:43:36 | <dmj`> | gensyst: no deserializing would occur, since its just calculating a bytestring offset, also the laziness should ensure that not everything is getting forced until demanded. |
| 16:44:34 | → | biberu joins (~biberu@user/biberu) |
| 16:45:48 | <merijn> | hmm, looks like vim/ALE is just never actually firing any check commands... |
| 16:52:24 | → | andydude joins (~andrewr@151.200.15.152) |
| 16:54:04 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:54:32 | × | gugu256 quits (~gugu256@250.134.22.93.rev.sfr.net) (Read error: Connection reset by peer) |
| 16:54:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:54:51 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 16:55:23 | × | TheCatCollective quits (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 16:55:26 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 16:56:30 | → | TheCatCollective joins (NyaaTheKit@user/calculuscat) |
| 16:58:34 | <gensyst> | dmj`, isn't a drawback that my types can no longer be ! for all records? so i now have to go back to thinking about laziness vs. strict again |
| 16:58:47 | <gensyst> | i guess there are always tradeoffs... |
| 16:58:57 | <gensyst> | merijn, i'll look into TH. interesting. |
| 16:59:01 | <gensyst> | thanks mates |
| 17:01:34 | <geekosaur> | carbolymer, did you ever show example failing code and the error? |
| 17:04:12 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:06:10 | → | notzmv joins (~zmv@user/notzmv) |
| 17:08:20 | → | fun-safe-math joins (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) |
| 17:09:43 | <carbolymer> | merijn, geekosaur: not yet, I'm trying to get a minimal example which could be better understandable, but after my complaints on IRC everything works again :X |
| 17:11:43 | <geekosaur> | try this and see if you replicate the error: use DataKinds before the `#if` |
| 17:11:54 | <geekosaur> | with explicit ticks |
| 17:16:19 | × | AlexZenon quits (~alzenon@178.34.162.202) (Ping timeout: 260 seconds) |
| 17:16:19 | × | Alex_test quits (~al_test@178.34.162.202) (Ping timeout: 260 seconds) |
| 17:19:13 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 17:19:25 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:19:56 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:23:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:24:42 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 17:31:51 | → | aagreb joins (~aagreb@2a02:1210:4c21:6200:761e:542:f407:b36f) |
| 17:32:57 | → | danse-nr3 joins (~francesco@151.43.92.22) |
| 17:37:29 | <aagreb> | Hey I've been using haskell for quite some time now. Whenever I add a dependency from hackage to my project using cabal I have to compile the package on my machine. I wonder if there is a good reason for why there is no binary caching for hackage packages. AFAIK once a version of a package is published it doesn't really change anymore so it's kind |
| 17:37:30 | <aagreb> | of unncessary that all people who use this package have to recompile on their machine. Also it can take quite a long time sometimes. I'm sure there are technical reasons |
| 17:40:02 | <merijn> | aagreb: That'd mean caching every possible configuration and architecture of said package |
| 17:40:20 | <mauke> | × compiler versions × compiler options |
| 17:40:21 | <merijn> | aagreb: Note that they aren't independent, so every unique combination of transitive dependencies would be a different binary |
| 17:40:53 | → | dom0 joins (~u0_a202@47.60.37.11) |
| 17:40:56 | <merijn> | aagreb: that'd mean thousands and thousands of binaries per package, which is...a lot of hosting costs :) |
| 17:42:10 | <aagreb> | I didn't think about different compiler versions and compiler options. I think different platform would be feasible to support because there are only a few but you are right it would be too many combinations |
| 17:42:56 | <merijn> | aagreb: if you have 4 transitive dependencies with 3 versions each, that's already 81 extra versions |
| 17:43:06 | <merijn> | now imagine for package with 20 dependencies and 20 versions each |
| 17:43:07 | <aagreb> | What do you exactly mean by they are not independent? |
| 17:43:57 | <merijn> | aagreb: GHC can (and does) inline code across package boundaries. As such, package foo when compiled is tied to the exact specific versions of its dependencies (also, those might have changing APIs to begin with) |
| 17:44:11 | <merijn> | aagreb: So you get a unique binary per unique combination of (transitive) dependencies |
| 17:44:38 | <mauke> | like an NFT? |
| 17:44:41 | → | Alex_test joins (~al_test@178.34.162.202) |
| 17:45:28 | <merijn> | argh |
| 17:45:46 | <merijn> | I hate debugging this shit...I have no clue whether it's the vim plugin or HLS that's acting up >.< |
| 17:45:46 | <aagreb> | Okay interesting I didn't know about this. So the local cache I have on my machine works only as long as all versions of all dependencies stay exactly the same? |
| 17:46:00 | <merijn> | aagreb: Yes |
| 17:49:27 | → | thelounge793 joins (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 17:51:14 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:53:13 | → | ensyde joins (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 17:55:34 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:00:33 | × | aagreb quits (~aagreb@2a02:1210:4c21:6200:761e:542:f407:b36f) (Quit: Client closed) |
| 18:01:28 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:03:54 | → | mei joins (~mei@user/mei) |
| 18:05:09 | × | dom0 quits (~u0_a202@47.60.37.11) (Quit: WeeChat 3.8) |
| 18:07:47 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 18:08:13 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 18:08:16 | → | juri__ joins (~juri@79.140.121.124) |
| 18:08:22 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 18:11:12 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 245 seconds) |
| 18:12:04 | × | ripspin quits (~chatzilla@1.145.128.15) (Remote host closed the connection) |
| 18:16:56 | × | juri__ quits (~juri@79.140.121.124) (Ping timeout: 246 seconds) |
| 18:18:36 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 18:24:27 | → | AlexZenon joins (~alzenon@178.34.162.202) |
| 18:28:48 | → | ft joins (~ft@p3e9bc40d.dip0.t-ipconnect.de) |
| 18:30:22 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 18:34:47 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 18:35:43 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 18:36:53 | → | pavonia joins (~user@user/siracusa) |
| 18:39:00 | × | CrunchyFlakes quits (~pi4@ip9234cf77.dynamic.kabel-deutschland.de) (Quit: WeeChat 4.0.1) |
| 18:42:35 | × | gurkenglas quits (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 18:47:42 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 18:48:19 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 18:50:32 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 18:57:28 | × | danse-nr3 quits (~francesco@151.43.92.22) (Ping timeout: 252 seconds) |
| 18:59:59 | × | bramhaag quits (~bramhaag@134.195.121.39) (Quit: The Lounge - https://thelounge.chat) |
| 19:00:40 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 19:00:44 | × | ddellacosta quits (~ddellacos@146.70.165.154) (Ping timeout: 260 seconds) |
| 19:01:17 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 19:01:49 | → | ddellacosta joins (~ddellacos@146.70.165.154) |
| 19:05:30 | × | bramhaag quits (~bramhaag@134.195.121.39) (Client Quit) |
| 19:05:39 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 19:08:49 | × | bramhaag quits (~bramhaag@134.195.121.39) (Client Quit) |
| 19:08:57 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 19:09:23 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 19:14:07 | → | alexherbo2 joins (~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) |
| 19:14:44 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 19:28:40 | × | migas quits (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 19:28:56 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 19:34:51 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 19:36:16 | → | gurkenglas joins (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) |
| 19:42:15 | → | _________ joins (~nobody@user/noodly) |
| 19:42:35 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 264 seconds) |
| 19:43:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:46:14 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 19:48:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:48:19 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 19:49:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Remote host closed the connection) |
| 19:49:22 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 19:54:24 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 19:54:38 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 19:59:44 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 20:05:38 | → | junction joins (~junction@finc-16-b2-v4wan-164434-cust415.vm7.cable.virginm.net) |
| 20:06:20 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 20:07:21 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 20:07:34 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 20:10:14 | × | junction quits (~junction@finc-16-b2-v4wan-164434-cust415.vm7.cable.virginm.net) (Client Quit) |
| 20:11:22 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:12:06 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 20:13:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:15:51 | × | alexherbo2 quits (~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) (Remote host closed the connection) |
| 20:16:12 | → | alexherbo2 joins (~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) |
| 20:18:53 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 20:19:10 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 20:19:26 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:22:50 | × | alexherbo2 quits (~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) (Ping timeout: 246 seconds) |
| 20:22:59 | → | Qudit joins (~user@user/Qudit) |
| 20:23:34 | → | turlando joins (~turlando@user/turlando) |
| 20:31:19 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 20:33:19 | → | npmania joins (~Thunderbi@45.8.223.228) |
| 20:33:26 | → | infinity0 joins (~infinity0@pwned.gg) |
| 20:33:57 | <int-e> | ncf: done, also added you as maintainer... |
| 20:34:39 | <ncf> | thanks |
| 20:35:15 | <int-e> | hackage is quite a bit more picky than it was 5 years ago |
| 20:40:31 | × | turlando quits (~turlando@user/turlando) () |
| 20:40:56 | → | turlando joins (~turlando@user/turlando) |
| 20:45:07 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 20:47:39 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: PegeLinux) |
| 20:48:24 | × | andydude quits (~andrewr@151.200.15.152) (Quit: Leaving.) |
| 20:48:37 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 20:49:39 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 20:52:49 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:53:03 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 20:53:34 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 20:53:54 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 20:55:28 | → | mei joins (~mei@user/mei) |
| 20:57:33 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:05:43 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:08:31 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 21:08:55 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:09:55 | → | ub joins (~Thunderbi@77.119.204.87.wireless.dyn.drei.com) |
| 21:11:41 | × | ubert quits (~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 21:11:42 | ub | is now known as ubert |
| 21:12:02 | → | andydude joins (~andrewr@151.200.15.152) |
| 21:14:44 | → | zmt00 joins (~zmt00@user/zmt00) |
| 21:14:59 | ← | andydude parts (~andrewr@151.200.15.152) () |
| 21:17:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:21:17 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:26:27 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 21:27:48 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:27:49 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:29:16 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 21:34:44 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:35:12 | → | notzmv joins (~zmv@user/notzmv) |
| 21:51:55 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:52:18 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 21:53:05 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 22:00:51 | → | dmgk joins (~dmgk@user/dmgk) |
| 22:06:49 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 22:07:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:08:24 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 22:08:24 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 22:08:24 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 22:15:32 | × | acidjnk quits (~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 22:18:46 | × | ensyde quits (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 245 seconds) |
| 22:18:59 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Quit: Quit) |
| 22:19:17 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 22:20:25 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 22:24:35 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 22:30:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:33:06 | × | gurkenglas quits (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 22:35:23 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 22:40:11 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 22:40:51 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 22:42:06 | × | emid quits (~thales@191.180.21.148) (Ping timeout: 245 seconds) |
| 22:42:34 | → | leah2 joins (~leah@vuxu.org) |
| 22:42:35 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 22:44:26 | × | niko quits (niko@libera/staff/niko) (Ping timeout: 608 seconds) |
| 22:45:55 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 22:45:55 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 22:45:55 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 22:48:29 | → | gurkenglas joins (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) |
| 22:48:41 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:49:12 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:49:38 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 22:54:50 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 22:56:32 | × | Helle quits (~helle@user/Helle) (Ping timeout: 252 seconds) |
| 22:58:25 | → | Helle joins (~helle@user/Helle) |
| 22:59:28 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 22:59:55 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 22:59:55 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 22:59:55 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 23:04:23 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:11:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:14:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:15:32 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 23:27:28 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:29:04 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 23:29:24 | → | mauke_ joins (~mauke@user/mauke) |
| 23:30:58 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 23:30:58 | mauke_ | is now known as mauke |
| 23:32:37 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 23:32:37 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 23:32:37 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 23:33:30 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 23:34:19 | × | gurkenglas quits (~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 23:38:09 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 23:52:10 | → | niko joins (niko@libera/staff/niko) |
All times are in UTC on 2023-07-25.