Stefan Höck

First: This is unrelated to the JS backends. The same performance drop can be observed on the default backend. Second: Do we really expect Idris to optimize away arbitrary transformer...

Actually, I think we should have a release as soon as possible. There have been so many improvements, some of which we can't yet use in the compiler or the...

> In `Web.Raw.Fetch`, there are lots of methods operating on `Request`s and `Response`s, but I haven't found a way to actually initiate a `Request`. I think this would need the...

> Also I believe some `Cast` instances are needed for `ArrayBuffer` to be able to work with it at various word sizes, e.g.; > > ``` > %foreign "javascript:lambda:x =>...

> (do you have some nice admin way of splitting this into two issues? I think the `ArrayBuffer` one should probably be a separate issue but it'd be nice to...

> I think you're making the mistake of thinking Javascript is a sane language :) Probably :-). But then I wouldn't wrap all my functions in `JSIO`, would I? >...

Great! Thanks for looking this up. In that case we should indeed be fine. I'll try to add this in the next couple of days. Feel free to write a...

> Now back to the original issue: I see that [the IDL already contains the `fetch` method](https://github.com/stefan-hoeck/idris2-webidl/blob/52df1a5f0398be636fd1d419e003c97401b8ed99/idl/fetch.webidl#L107) but [the generated Idris2 source](https://github.com/stefan-hoeck/idris2-dom/blob/33d4ca9f85efa50148d0a77dda3f524ba4c1c3f7/src/Web/Internal/FetchPrim.idr) doesn't. So is this something that should really...

I think this can be closed as both issues have been fixed, right?

Sorry, I though it was part of one of your PRs.