| 2 Feb 2026 |
 hellwolf | yes, it builds locally. I will check it out how to update the file, or I will just remove it manually. | 13:01:06 |
| hellwolf | * yes, it builds locally. I will check it out to learn how to update the file, or I will just remove it manually. | 13:01:16 |
| hellwolf | * yes, it builds locally. I will learn how to update the file, or I will just remove it manually. | 13:01:22 |
| hellwolf | * yes, it builds locally on the haskell-updates branch. I will learn how to update the file, or I will just remove it manually. | 13:01:37 |
 maralorn | There is no way to programatically remove a line from that file, that has to happen manually. We only add lines automatically. | 13:14:04 |
| hellwolf | should I create a PR? since I can't push to haskell-updates. | 13:18:53 |
| maralorn | Yes, always! | 13:21:22 |
 sterni (he/him) | In reply to @alexfmpe:matrix.org
I've noticed iserv-proxy is getting built for ghcjs even though it's not actually used
is it worth adding a && !isGhcjs to the "should we proxy TH" to save builds of network->iserv-wrapper ? think so | 13:27:16 |
 alexfmpe | I got that change stashed, can PR later today | 13:28:35 |
| alexfmpe | Technically I expect it will also apply to wasm since these are always 'emulated' targets | 13:29:08 |
| alexfmpe | But we'll generalise that bridge when we come to it | 13:29:39 |
| alexfmpe | * Technically I expect it should also apply to wasm since these are always 'emulated' targets | 13:29:51 |
| alexfmpe | * Technically I expect it should also apply to wasm (if/when we get it) since these are always 'emulated' targets | 13:30:32 |
 Teo (he/him) | Is iserv-proxy rather than just plain iserv needed for these? I would've assumed that iserv-proxy isn't very helpful in nix since you can't access the network | 13:40:52 |
| sterni (he/him) | we need to execute it independently from ghc anyways since it needs to run under emulation | 14:52:41 |
| Teo (he/him) | Sure but isn't that just iserv running under an emulator, does it need to go via a network? | 14:55:09 |
| sterni (he/him) | no, but can | 15:03:42 |
| Teo (he/him) | Ah fair enough then | 15:04:20 |
| hellwolf | https://github.com/NixOS/nixpkgs/pull/486303
&
https://github.com/NixOS/nixpkgs/pull/486009
| 15:17:52 |
| sterni (he/him) | teo (they/he): you’ll have to ask alexfmpe why exactly but I assume iserv proxy is something that is proven to work for this use case already | 15:26:57 |
| alexfmpe | well, you can still access localhost (though in darwin you either need to disable sandbox or add a magical attribute to the derivation) | 15:37:30 |
| alexfmpe | it doesn't, and IIUC angerman has plans to make it not do that | 15:38:21 |
| alexfmpe | ultimately I just grabbed what haskell.nix uses and shoved it into nixpkgs | 15:38:45 |
| alexfmpe | consider it more of a "upstreamed some of the stuff working over there" than "this is how it should be done" | 15:39:12 |
| alexfmpe | in particular, I think GHC 10.0 is going to change things a bit with the on-demand external interpreter | 15:39:35 |
| Teo (he/him) | Sure that makes sense! | 15:39:37 |
| Teo (he/him) | Yeah that is quite nice! and is basically just automatically building iserv | 15:40:02 |
| alexfmpe | there's also a lot of miscelanous changes only present in a particular branch of iserv-proxy | 15:40:33 |
| alexfmpe | https://github.com/stable-haskell/iserv-proxy/pull/1 | 15:40:36 |
| alexfmpe | as for iserv, I have no idea where it went after 9.6 | 15:40:43 |
