jon.recoil.org / odoc
this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix oxcaml build compatibility for PR #1400 cherry-pick

- Add missing source_loc_jane fields to Module and ModuleType records
in tools.ml (required by oxcaml's extended Component types)
- Add Strengthen case to is_elidable_with_u pattern matches in
compile.ml and link.ml (oxcaml adds this variant to U.expr)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Jon Ludlam's Agent 6c1c60b4 0499acbd

+4
+1
src/xref2/compile.ml
··· 393 393 | Signature _ -> true 394 394 | With (_, expr) -> is_elidable_with_u expr 395 395 | TypeOf _ -> false 396 + | Strengthen (expr, _, _) -> is_elidable_with_u expr 396 397 in 397 398 if is_elidable_with_u expr then ModuleType expr 398 399 else ModuleType (u_module_type_expr env id expr)
+1
src/xref2/link.ml
··· 718 718 | Signature _ -> true 719 719 | With (_, expr) -> is_elidable_with_u expr 720 720 | TypeOf _ -> false 721 + | Strengthen (expr, _, _) -> is_elidable_with_u expr 721 722 in 722 723 match decl with 723 724 | ModuleType expr when is_elidable_with_u expr -> ModuleType expr
+2
src/xref2/tools.ml
··· 2381 2381 Component.Delayed.put (fun () -> 2382 2382 { 2383 2383 Component.Module.source_loc = None; 2384 + source_loc_jane = None; 2384 2385 doc = modsubst.doc; 2385 2386 type_ = Alias (modsubst.manifest, None); 2386 2387 canonical = None; ··· 2402 2403 Component.Delayed.put (fun () -> 2403 2404 { 2404 2405 Component.ModuleType.source_loc = None; 2406 + source_loc_jane = None; 2405 2407 doc = modtypesubst.doc; 2406 2408 expr = Some modtypesubst.manifest; 2407 2409 canonical = None;