Mathew Polzin
Mathew Polzin
This topic is definitely layered. Some of that was peeled apart above, so I'll do my best to strike a balance between being clear but not repeating things already said....
I've begun work on this feature for OpenAPIKit, but my work so far is _very_ experimental. Although I am still playing with the interface, I wanted to put it out...
> [...] We'd just detect external references and use something similar to `lookup` with references today, and load the contents in manually. @czechboy0 I'd like to drill into this a...
> One thing that comes to mind - should the load function be async? To potentially allow network loads? My understanding of async/await in Swift is not great since I...
No worries and no rush. Cheers!
I've made substantial progress on loading external references as of the latest [v4 alpha of OpenAPIKit](https://github.com/mattpolzin/OpenAPIKit/releases/tag/4.0.0-alpha.4). I've only merged support for it in `OpenAPKit` so far (`OpenAPIKit30` is planned next)....
[v4-alpha.5](https://github.com/mattpolzin/OpenAPIKit/releases/tag/4.0.0-alpha.5) is out. Now external dereferencing is supported by the `OpenAPIKit30` module in addition to the `OpenAPIKit` module. Perhaps more importantly, both modules of OpenAPIKit have a more flexible `ExternalLoader`...
Thanks!
~The failing test here should no longer fail after the fix at https://github.com/idris-lang/Idris2/pull/3227~ [EDIT] yup, all green now.
I think I'll close this PR soon as it seemed to stall out. Early iterations of this PR felt really good to me, but then as I noted above later...