jon.recoil.org
this repo has no description
fix: add findlib_index backward-compat fallback and update design doc
- findlibish: if fetching findlib_index.json fails, retry without the
.json extension for backward compatibility with older universes
- Update design doc status table: odoc-interactive-extension and
universe builder are now implemented
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+11
-1
lib/findlibish.ml
+11
-1
lib/findlibish.ml
···
226
226
Lwt.return []
227
227
else begin
228
228
Hashtbl.add visited index_url ();
229
-
let* findlib_txt = async_get index_url in
229
+
let* findlib_txt =
230
+
let* result = async_get index_url in
231
+
match result with
232
+
| Ok _ as ok -> Lwt.return ok
233
+
| Error _ when Filename.check_suffix index_url ".json" ->
234
+
(* Backward compat: try without .json extension *)
235
+
let legacy_url = Filename.chop_suffix index_url ".json" in
236
+
Jslib.log "Retrying without .json: %s" legacy_url;
237
+
async_get legacy_url
238
+
| err -> Lwt.return err
239
+
in
230
240
match findlib_txt with
231
241
| Error (`Msg m) ->
232
242
Jslib.log "Error fetching findlib index %s: %s" index_url m;