| 22 Feb 2025 |
 emily | it seems like you're still basically running a binary blob of combinators derived from Haskell source? | 03:52:43 |
 Janus | you can compile it with hugs | 03:52:49 |
| emily | it's just that there's a simple C runtime to run that binary blob | 03:52:52 |
| Janus | you don't have to use the shipped c | 03:52:57 |
 Tristan Ross | I've spent a bit of time working on redoing my GHC LLVM bump PR. One thing I have ran into is it looks like the bootstrap GHC for 8.10 would need to be compiled with the LLVM bump flag to not use LLVM versions < 14. The hope is to move everything to at least LLVM 15 since that'll be sitting in nixpkgs for the next few releases and give us time. Hopefully this MicroHs stuff makes the PR more workable. | 03:53:04 |
| emily | ah, right. | 03:53:26 |
| emily | I saw that being said here but forgot :) | 03:53:26 |
| Janus | In reply to @emilazy:matrix.org
I assumed it would go via old GHC. I would think so to, but it Alex didn't mention that , so it sounds like that's not the plan | 03:54:47 |
| emily | it doesn't seem out of the question for augustss to just go and implement every relevant GHC extension :) | 03:58:42 |
| Janus | the fact that e.g. recordDotSyntax is always on and can't be turned off means that lots of code isn't compatible | 04:37:06 |
| Janus | I've just removed NonDecresingSyntax use from happy to make it compatible | 04:37:25 |
 Alex |
it sounds like [going via old GHC] is not the plan
I'd rather not because of old LLVM and worse support for old arches, but if nothing else works I will. | 04:38:47 |
| Alex | *
it sounds like [going via old GHC] is not the plan
I'd rather not because of old LLVM and worse support for exotic arches, but if nothing else works I will. | 04:39:01 |
| Janus | In reply to @emilazy:matrix.org
it doesn't seem out of the question for augustss to just go and implement every relevant GHC extension :) also , I think augustss might have some strong views on some of these newer extensions. I don't feel like digging now but it might be in the talks he did | 04:39:08 |
| Janus | are you coming to zurihac ? augustss is going to be there this year | 04:39:37 |
| Janus | In reply to @alex:tunstall.xyz
it sounds like [going via old GHC] is not the plan
I'd rather not because of old LLVM and worse support for exotic arches, but if nothing else works I will. some arches were better supported back then .. GHC was started on Sparc ;) | 04:41:25 |
| Alex | Some of them have rotted? Unfortunate, but I'm most concerned about RISC-V support, which old versions definitely lack. | 04:42:48 |
| Tristan Ross | RISC-V definitely isn't anything to worry about lol. I've struggled to get things working, even with a good setup. | 04:43:50 |
| Janus | In reply to @alex:tunstall.xyz
Some of them have rotted? Unfortunate, but I'm most concerned about RISC-V support, which old versions definitely lack. Sparc rotted everywhere since they were uncompetitive with Intel . basically sun gave up on having their own arch. | 04:45:04 |
| Janus | anyway, exotic archs is ideally an orthogonal effort . bootstrapping is hard enough already , not sure why you want to make it even harder by considering exotics | 04:46:45 |
| Janus | if you have it working on 32 bit Intel you can always try cross compiling from any point in the compiler chain | 04:47:17 |
| Janus | I would even consider running on modern systems an unnecessary way to make things harder | 04:48:24 |
| Janus | for example, nhc crashes on 64 bit IIRC | 04:48:40 |
| Janus | it's likely that old GHC runtime systems have similar issues . even though Linux promises 100% backwards compat, they did Change the syscall Interface | 04:49:31 |
| Janus | like, I think ghcup fails to install GHC 7.10 on modern ubuntus ? another example of broken compat | 04:51:46 |
| Alex | Yeah I know about nhc98's reliance on 32-bit. I have much higher hopes that MicroHs doesn't have such silly issues and, even if it did, it would be much easier to patch & upstream.
Some exotics is better than none; right now, we only have what upstream has bindists for. | 04:54:46 |
| emily | well, except that Nixpkgs barely supports i686-linux at this point | 04:54:54 |
| emily | I would not make long-term bootstrapping plans that involve it | 04:55:00 |
| Janus | is nixpkgs focused on bootstrapping as far back as possible? I thought I saw a discussion talking about how something about 8.10 had bit rotted ? | 04:57:47 |
| Janus | don't mean to be rude, I genuinely don't know if it's a priority | 04:58:03 |
