WIP: site redesign, odoc extension API updates, and new content

+1 -1

odoc-docsite/src/odoc_docsite_css.ml

··· 90 90 height: var(--header-height); 91 91 background: var(--sidebar-bg); 92 92 border-bottom: 1px solid var(--border-color); 93 + box-shadow: var(--shadow-sm); 93 94 display: flex; 94 95 align-items: center; 95 96 padding: 0 24px; 96 97 z-index: 100; 97 - box-shadow: var(--shadow-sm); 98 98 } 99 99 100 100 .docsite-header-brand {

+383 -1

odoc-jons-plugins/src/odoc_jons_plugins.ml

··· 387 387 let hidden_tag_extension prefix = 388 388 let module E = struct 389 389 let prefix = prefix 390 - 391 390 let to_document ~tag:_ _content = 392 391 Api.simple_output [] 393 392 end in ··· 395 394 396 395 let () = 397 396 List.iter hidden_tag_extension [ "published"; "notanotebook"; "packages" ] 397 + 398 + (* --- Recent posts extension --- *) 399 + 400 + module Recent_posts = struct 401 + open Odoc_document.Types 402 + 403 + let prefix = "recent-posts" 404 + 405 + (* Check if a string matches YYYY-MM-DD date pattern *) 406 + let is_date s = 407 + let s = Stdlib.String.trim s in 408 + Stdlib.String.length s = 10 409 + && s.[4] = '-' && s.[7] = '-' 410 + && (try 411 + let _ = int_of_string (Stdlib.String.sub s 0 4) in 412 + let _ = int_of_string (Stdlib.String.sub s 5 2) in 413 + let _ = int_of_string (Stdlib.String.sub s 8 2) in 414 + true 415 + with _ -> false) 416 + 417 + (* Format "2025-12-15" -> "Dec 2025" *) 418 + let format_date s = 419 + let s = Stdlib.String.trim s in 420 + let year = Stdlib.String.sub s 0 4 in 421 + let month = Stdlib.String.sub s 5 2 in 422 + let m = match month with 423 + | "01" -> "Jan" | "02" -> "Feb" | "03" -> "Mar" | "04" -> "Apr" 424 + | "05" -> "May" | "06" -> "Jun" | "07" -> "Jul" | "08" -> "Aug" 425 + | "09" -> "Sep" | "10" -> "Oct" | "11" -> "Nov" | "12" -> "Dec" 426 + | _ -> month 427 + in 428 + m ^ " " ^ year 429 + 430 + (* Find the first unordered list in Block.t *) 431 + let find_list (blocks : Block.t) = 432 + List.find_map (fun (b : Block.one) -> 433 + match b.desc with 434 + | List (Unordered, items) -> Some items 435 + | _ -> None 436 + ) blocks 437 + 438 + (* Extract the link inline element from a list of inlines *) 439 + let find_link (inlines : Inline.t) = 440 + List.find_map (fun (i : Inline.one) -> 441 + match i.desc with 442 + | Link _ -> Some i 443 + | _ -> None 444 + ) inlines 445 + 446 + (* Extract date string from trailing text in inlines *) 447 + let find_date (inlines : Inline.t) = 448 + let texts = List.filter_map (fun (i : Inline.one) -> 449 + match i.desc with 450 + | Text s when is_date s -> Some (Stdlib.String.trim s) 451 + | _ -> None 452 + ) inlines in 453 + match texts with 454 + | [] -> None 455 + | _ -> Some (List.hd (List.rev texts)) 456 + 457 + (* Extract link and date from inlines *) 458 + let extract_from_inlines inlines = 459 + match find_link inlines, find_date inlines with 460 + | Some link, Some date -> Some (link, date) 461 + | Some link, None -> Some (link, "") 462 + | _ -> None 463 + 464 + (* Extract link and date from a list item (Block.t) *) 465 + let extract_item (item : Block.t) = 466 + List.find_map (fun (b : Block.one) -> 467 + match b.desc with 468 + | Paragraph inlines | Inline inlines -> extract_from_inlines inlines 469 + | _ -> None 470 + ) item 471 + 472 + (* Extract an optional excerpt Block.t from a list item. 473 + The link phase injects synopsis paragraphs as extra elements in list items. 474 + We look for a second paragraph (after the one containing the link/date). *) 475 + let extract_excerpt (item : Block.t) = 476 + let paragraphs = List.filter (fun (b : Block.one) -> 477 + match b.desc with 478 + | Paragraph _ -> true 479 + | _ -> false 480 + ) item in 481 + match paragraphs with 482 + | _ :: excerpt :: _ -> Some excerpt 483 + | _ -> None 484 + 485 + let raw html = Block.{ attr = []; desc = Raw_markup ("html", html) } 486 + 487 + let inline_block (inlines : Inline.t) = 488 + Block.{ attr = []; desc = Inline inlines } 489 + 490 + let recent_posts_css = {| 491 + /* Recent posts extension - neutralize at-tags wrapper */ 492 + .jon-shell-main ul.at-tags:has(li.recent-posts) { 493 + margin: 0; 494 + padding: 0; 495 + list-style: none; 496 + margin-left: 0; 497 + } 498 + .jon-shell-main .at-tags li.recent-posts { 499 + list-style: none; 500 + padding: 0; 501 + padding-left: 0; 502 + margin: 0; 503 + text-indent: 0; 504 + } 505 + .recent-posts { 506 + margin: 1.5rem 0 2rem; 507 + } 508 + .recent-posts-header { 509 + display: flex; 510 + align-items: baseline; 511 + justify-content: space-between; 512 + margin-bottom: 1.25rem; 513 + } 514 + .recent-posts-title { 515 + font-size: 1.35rem; 516 + font-weight: 500; 517 + color: var(--text-color); 518 + letter-spacing: -0.01em; 519 + } 520 + .recent-posts-link { 521 + font-size: 0.85rem; 522 + color: var(--text-muted); 523 + } 524 + .recent-posts-link:hover { 525 + color: var(--link-color); 526 + } 527 + .recent-posts-featured { 528 + background: var(--surface-color, #fff); 529 + border: 1px solid var(--border-color); 530 + border-radius: 10px; 531 + padding: 1.5rem 1.75rem; 532 + margin-bottom: 1.25rem; 533 + transition: box-shadow 0.2s ease; 534 + } 535 + .recent-posts-featured:hover { 536 + box-shadow: 0 2px 12px rgba(0,0,0,0.06); 537 + } 538 + .recent-posts-featured-label { 539 + font-size: 0.72rem; 540 + font-weight: 600; 541 + letter-spacing: 0.08em; 542 + text-transform: uppercase; 543 + color: var(--accent-color, #b44e2d); 544 + margin-bottom: 0.5rem; 545 + } 546 + .recent-posts-featured-title { 547 + font-size: 1.35rem; 548 + font-weight: 500; 549 + line-height: 1.3; 550 + margin-bottom: 0.5rem; 551 + } 552 + .recent-posts-featured-title a { 553 + color: var(--text-color); 554 + text-decoration: none; 555 + } 556 + .recent-posts-featured-title a:hover { 557 + color: var(--accent-color, #b44e2d); 558 + } 559 + .recent-posts-featured-date { 560 + font-size: 0.8rem; 561 + color: var(--text-muted); 562 + } 563 + .recent-posts-featured-excerpt { 564 + font-size: 0.92rem; 565 + line-height: 1.55; 566 + color: var(--text-muted); 567 + margin: 0.75rem 0 0; 568 + display: -webkit-box; 569 + -webkit-line-clamp: 3; 570 + -webkit-box-orient: vertical; 571 + overflow: hidden; 572 + } 573 + .recent-posts-list { 574 + display: flex; 575 + flex-direction: column; 576 + gap: 1px; 577 + background: var(--border-color); 578 + border-radius: 10px; 579 + overflow: hidden; 580 + border: 1px solid var(--border-color); 581 + } 582 + .recent-posts-item { 583 + display: grid; 584 + grid-template-columns: 1fr auto; 585 + gap: 1rem; 586 + align-items: baseline; 587 + padding: 0.875rem 1.25rem; 588 + background: var(--surface-color, #fff); 589 + transition: background 0.15s ease; 590 + } 591 + .recent-posts-item:hover { 592 + background: var(--bg-hover, #f0f2f5); 593 + } 594 + .recent-posts-item-title { 595 + font-size: 1rem; 596 + font-weight: 400; 597 + line-height: 1.4; 598 + } 599 + .recent-posts-item-title a { 600 + color: var(--text-color); 601 + text-decoration: none; 602 + } 603 + .recent-posts-item-title a:hover { 604 + color: var(--accent-color, #b44e2d); 605 + } 606 + .recent-posts-item-date { 607 + font-size: 0.78rem; 608 + color: var(--text-muted); 609 + white-space: nowrap; 610 + font-variant-numeric: tabular-nums; 611 + } 612 + @media (prefers-color-scheme: dark) { 613 + .recent-posts-featured { 614 + background: var(--surface-color, #22242a); 615 + } 616 + .recent-posts-featured:hover { 617 + box-shadow: 0 2px 12px rgba(0,0,0,0.2); 618 + } 619 + .recent-posts-item { 620 + background: var(--surface-color, #22242a); 621 + } 622 + .recent-posts-item:hover { 623 + background: var(--bg-hover, #2a2d35); 624 + } 625 + } 626 + @media (max-width: 700px) { 627 + .recent-posts-item { 628 + grid-template-columns: 1fr; 629 + gap: 0.25rem; 630 + } 631 + .recent-posts-featured { 632 + padding: 1.25rem; 633 + } 634 + } 635 + |} 636 + 637 + module Identifier = Odoc_model.Paths.Identifier 638 + 639 + (* Build a path hierarchy from a page identifier, for use with Env.lookup_page_by_path. 640 + E.g. LeafPage(Page(Page(Page(None, "jon-site"), "blog"), "2026"), "weeknotes-2026-09") 641 + -> (`TAbsolutePath, ["jon-site"; "blog"; "2026"; "weeknotes-2026-09"]) *) 642 + let rec hierarchy_of_page_id (id : Identifier.Page.t) : string list = 643 + match id.iv with 644 + | `Page (Some parent, name) | `LeafPage (Some parent, name) -> 645 + hierarchy_of_container_id parent @ [Odoc_model.Names.PageName.to_string name] 646 + | `Page (None, name) | `LeafPage (None, name) -> 647 + [Odoc_model.Names.PageName.to_string name] 648 + 649 + and hierarchy_of_container_id (id : Identifier.ContainerPage.t) : string list = 650 + match id.iv with 651 + | `Page (Some parent, name) -> 652 + hierarchy_of_container_id parent @ [Odoc_model.Names.PageName.to_string name] 653 + | `Page (None, name) -> 654 + [Odoc_model.Names.PageName.to_string name] 655 + 656 + (* Extract page identifier from a resolved reference in a list item's content *) 657 + let extract_page_id_from_item 658 + (item : Api.Comment.nestable_block_element Api.Location_.with_location list) = 659 + List.find_map (fun (el : Api.Comment.nestable_block_element Api.Location_.with_location) -> 660 + match el.Api.Location_.value with 661 + | `Paragraph inlines -> 662 + List.find_map (fun (inline : Api.Comment.inline_element Api.Location_.with_location) -> 663 + match inline.Api.Location_.value with 664 + | `Reference (`Resolved r, _) -> ( 665 + match Odoc_model.Paths.Reference.Resolved.identifier r with 666 + | Some id -> ( 667 + match (id : Identifier.t).iv with 668 + | `LeafPage _ as iv -> 669 + Some ({ iv; ihash = id.ihash; ikey = id.ikey } : Identifier.Page.t) 670 + | `Page _ as iv -> 671 + Some ({ iv; ihash = id.ihash; ikey = id.ikey } : Identifier.Page.t) 672 + | _ -> None) 673 + | None -> None) 674 + | _ -> None 675 + ) inlines 676 + | _ -> None 677 + ) item 678 + 679 + (* Link phase: enrich list items with page synopses from the environment. 680 + For each list item that contains a page reference, look up the page 681 + and inject its synopsis as an additional paragraph. *) 682 + let link ~tag:_ env content = 683 + let enrich_item item = 684 + match extract_page_id_from_item item with 685 + | None -> item 686 + | Some page_id -> 687 + let segments = hierarchy_of_page_id page_id in 688 + let hierarchy : Odoc_model.Paths.Reference.Hierarchy.t = 689 + (`TCurrentPackage, segments) 690 + in 691 + (match Api.Env.lookup_page_by_path hierarchy env with 692 + | Error _ -> item 693 + | Ok page -> 694 + (* Find first paragraph, skipping headings and tags *) 695 + let synopsis = 696 + List.find_map (fun (el : Odoc_model.Comment.block_element Api.Location_.with_location) -> 697 + match el.Api.Location_.value with 698 + | `Paragraph p -> Some p 699 + | `Heading _ | `Tag _ -> None 700 + | _ -> None 701 + ) page.content.elements 702 + in 703 + match synopsis with 704 + | None -> item 705 + | Some synopsis_paragraph -> 706 + let dummy_loc = { 707 + Api.Location_.file = ""; start = { line = 0; column = 0 }; 708 + end_ = { line = 0; column = 0 } 709 + } in 710 + item @ [ { Api.Location_.value = `Paragraph synopsis_paragraph; 711 + location = dummy_loc } ]) 712 + in 713 + List.map (fun (el : Api.Comment.nestable_block_element Api.Location_.with_location) -> 714 + match el.Api.Location_.value with 715 + | `List (kind, items) -> 716 + let enriched_items = List.map enrich_item items in 717 + { el with value = `List (kind, enriched_items) } 718 + | _ -> el 719 + ) content 720 + 721 + let to_document ~tag:_ content = 722 + let blocks = Api.blocks_of_nestable_elements content in 723 + match find_list blocks with 724 + | None -> Api.simple_output blocks 725 + | Some items -> 726 + let parsed = List.filter_map extract_item items in 727 + (* Extract excerpts from the first list item (featured) *) 728 + let featured_excerpt = match items with 729 + | first_item :: _ -> extract_excerpt first_item 730 + | [] -> None 731 + in 732 + match parsed with 733 + | [] -> Api.simple_output blocks 734 + | (featured_link, featured_date) :: rest -> 735 + let result = ref [] in 736 + let add b = result := b :: !result in 737 + (* Section open + header *) 738 + add (raw {|<div class="recent-posts"><div class="recent-posts-header"><span class="recent-posts-title">Recent writing</span><a href="/blog/" class="recent-posts-link">All posts →</a></div>|}); 739 + (* Featured card *) 740 + add (raw {|<div class="recent-posts-featured"><div class="recent-posts-featured-label">Featured</div><div class="recent-posts-featured-title">|}); 741 + add (inline_block [featured_link]); 742 + let date_html = 743 + if featured_date = "" then "" 744 + else Printf.sprintf {|<div class="recent-posts-featured-date">%s</div>|} (format_date featured_date) 745 + in 746 + add (raw (Printf.sprintf {|</div>%s|} date_html)); 747 + (* Excerpt from referenced page *) 748 + (match featured_excerpt with 749 + | Some excerpt_block -> 750 + (match excerpt_block.desc with 751 + | Paragraph inlines -> 752 + add (raw {|<p class="recent-posts-featured-excerpt">|}); 753 + add (inline_block inlines); 754 + add (raw {|</p>|}) 755 + | _ -> ()) 756 + | None -> ()); 757 + add (raw {|</div>|}); 758 + (* Post list *) 759 + if rest <> [] then begin 760 + add (raw {|<div class="recent-posts-list">|}); 761 + List.iter (fun (link, date) -> 762 + add (raw {|<div class="recent-posts-item"><div class="recent-posts-item-title">|}); 763 + add (inline_block [link]); 764 + let date_str = if date = "" then "" else format_date date in 765 + add (raw (Printf.sprintf {|</div><span class="recent-posts-item-date">%s</span></div>|} date_str)) 766 + ) rest; 767 + add (raw {|</div>|}) 768 + end; 769 + (* Section close *) 770 + add (raw {|</div>|}); 771 + { 772 + content = List.rev !result; 773 + overrides = []; 774 + resources = [Css_inline recent_posts_css]; 775 + assets = []; 776 + } 777 + end 778 + 779 + let () = Api.Registry.register_with_link (module Recent_posts)

+40 -7

odoc-jons-plugins/src/odoc_jons_plugins_css.ml

··· 8 8 --bg-color: #ffffff; 9 9 --text-color: #1a1a2e; 10 10 --text-muted: #6b7280; 11 - --link-color: #0969da; 12 - --link-hover: #0550ae; 11 + --link-color: #b44e2d; 12 + --link-hover: #943f24; 13 13 --border-color: #e5e7eb; 14 14 --code-bg: #f6f8fa; 15 15 --code-border: #e5e7eb; 16 16 --header-bg: #ffffff; 17 - --highlight-bg: rgba(9, 105, 218, 0.08); 17 + --highlight-bg: rgba(180, 78, 45, 0.08); 18 18 19 19 /* x-ocaml interactive cells */ 20 20 --xo-font-size: 0.875rem; ··· 23 23 --xo-gutter-bg: var(--code-bg); 24 24 --xo-gutter-text: var(--text-muted); 25 25 --xo-gutter-border: var(--border-color); 26 - --xo-stdout-bg: rgba(9, 105, 218, 0.06); 26 + --xo-stdout-bg: rgba(180, 78, 45, 0.06); 27 27 --xo-stdout-text: var(--link-color); 28 28 --xo-stderr-bg: rgba(218, 9, 9, 0.06); 29 29 --xo-stderr-text: #cf222e; ··· 44 44 --bg-color: #0d1117; 45 45 --text-color: #e6edf3; 46 46 --text-muted: #8b949e; 47 - --link-color: #58a6ff; 48 - --link-hover: #79c0ff; 47 + --link-color: #e07850; 48 + --link-hover: #f09070; 49 49 --border-color: #30363d; 50 50 --code-bg: #161b22; 51 51 --code-border: #30363d; 52 52 --header-bg: #161b22; 53 - --highlight-bg: rgba(88, 166, 255, 0.12); 53 + --highlight-bg: rgba(224, 120, 80, 0.12); 54 54 55 55 /* x-ocaml interactive cells - dark overrides */ 56 56 --xo-stdout-bg: rgba(88, 166, 255, 0.08); ··· 94 94 margin: 0 auto; 95 95 padding: 16px 20px; 96 96 font-size: 14px; 97 + border-bottom: 1px solid var(--border-color); 97 98 } 98 99 99 100 .jon-shell-header > a { ··· 263 264 .jon-shell-sidebar > ul > li > ul > li > a, 264 265 .jon-shell-sidebar > ul > li > ul > li > .sidebar-label { 265 266 display: none; 267 + } 268 + 269 + /* Hero intro - side-by-side text + photo */ 270 + .hero-intro { 271 + display: grid; 272 + grid-template-columns: 1fr auto; 273 + gap: 2rem; 274 + align-items: start; 275 + margin-bottom: 0.5rem; 276 + } 277 + .hero-intro .hero-text { 278 + min-width: 0; 279 + } 280 + .hero-intro .hero-text > p { 281 + margin-top: 0; 282 + } 283 + .hero-photo { 284 + width: 120px; 285 + height: 120px; 286 + border-radius: 50%; 287 + object-fit: cover; 288 + box-shadow: 0 0 0 1px var(--border-color); 289 + margin-top: 4px; 290 + } 291 + @media (max-width: 700px) { 292 + .hero-intro { 293 + grid-template-columns: 1fr; 294 + gap: 1rem; 295 + } 296 + .hero-intro .hero-photo { 297 + order: -1; 298 + } 266 299 } 267 300 268 301 /* Typography */

+1 -1

odoc/src/extension_api/dune

··· 1 1 (library 2 2 (name odoc_extension_api) 3 3 (public_name odoc.extension_api) 4 - (libraries odoc_model odoc_document odoc_extension_registry)) 4 + (libraries odoc_model odoc_document odoc_extension_registry odoc_xref2))

+40

odoc/src/extension_api/odoc_extension_api.ml

··· 105 105 (** Raised when an extension receives a tag variant it doesn't support *) 106 106 exception Unsupported_tag of string 107 107 108 + (** {1 Link Environment} 109 + 110 + Extensions that need to look up other pages or modules during linking 111 + can use the cross-reference environment. *) 112 + 113 + module Env = Odoc_xref2.Env 114 + 108 115 (** {1 Extension Interface} *) 109 116 110 117 (** The signature that all tag extensions must implement *) ··· 120 127 (** Document phase: convert tag to renderable content. 121 128 Called during document generation. Returns content plus any 122 129 page-level resources needed (JS/CSS). *) 130 + end 131 + 132 + (** Extensions that also need link-time access to the cross-reference 133 + environment implement this extended signature. *) 134 + module type Extension_with_link = sig 135 + include Extension 136 + 137 + val link : 138 + tag:string -> 139 + Env.t -> 140 + Comment.nestable_block_element Location_.with_location list -> 141 + Comment.nestable_block_element Location_.with_location list 142 + (** Link phase: transform tag content with access to the cross-reference 143 + environment. Called during linking, after references have been resolved. 144 + Use [Env.lookup_page_by_name] etc. to look up other pages. *) 123 145 end 124 146 125 147 (** {1 Code Block Extensions} ··· 195 217 with Unsupported_tag _ -> None 196 218 in 197 219 Odoc_extension_registry.register_handler ~prefix:E.prefix handler 220 + 221 + let register_with_link (module E : Extension_with_link) = 222 + let handler tag content = 223 + try 224 + let result = E.to_document ~tag content in 225 + Some { 226 + Odoc_extension_registry.content = result.content; 227 + overrides = result.overrides; 228 + resources = result.resources; 229 + assets = result.assets; 230 + } 231 + with Unsupported_tag _ -> None 232 + in 233 + Odoc_extension_registry.register_handler ~prefix:E.prefix handler; 234 + let link_handler tag env content = 235 + E.link ~tag (Obj.obj env) content 236 + in 237 + Odoc_extension_registry.register_link_handler ~prefix:E.prefix link_handler 198 238 199 239 let register_code_block (module E : Code_Block_Extension) = 200 240 let handler meta content =

+22

odoc/src/extension_registry/odoc_extension_registry.ml

··· 213 213 let list_extension_infos () = 214 214 Hashtbl.fold (fun _ info acc -> info :: acc) extension_infos [] 215 215 |> List.sort (fun a b -> String.compare a.info_prefix b.info_prefix) 216 + 217 + (** {1 Link Handlers} 218 + 219 + Extensions can register a link handler that runs during the linking 220 + phase with access to the cross-reference environment. The handler 221 + receives the tag name, the environment (as [Obj.t] to avoid a 222 + dependency on [odoc_xref2] here), and already-resolved content. 223 + It returns transformed content. *) 224 + 225 + type link_handler = 226 + string -> (* tag name *) 227 + Obj.t -> (* env — actually Odoc_xref2.Env.t, type-erased *) 228 + Comment.nestable_block_element Location_.with_location list -> 229 + Comment.nestable_block_element Location_.with_location list 230 + 231 + let link_handlers : (string, link_handler) Hashtbl.t = Hashtbl.create 16 232 + 233 + let register_link_handler ~prefix (handler : link_handler) = 234 + Hashtbl.replace link_handlers prefix handler 235 + 236 + let find_link_handler ~prefix = 237 + Hashtbl.find_opt link_handlers prefix

+1 -1

odoc/src/xref2/dune

··· 3 3 (public_name odoc.xref2) 4 4 (instrumentation 5 5 (backend landmarks --auto)) 6 - (libraries odoc_model odoc_utils)) 6 + (libraries odoc_model odoc_utils odoc_extension_registry)) 7 7 8 8 (rule 9 9 (enabled_if

+10 -3

odoc/src/xref2/link.ml

··· 344 344 and comment_tag env warnings_tag parent ~loc:_ (x : Comment.tag) = 345 345 match x with 346 346 | `Custom (name, content) -> 347 - `Custom 348 - ( name, 349 - comment_nestable_block_element_list env warnings_tag parent content ) 347 + let resolved = 348 + comment_nestable_block_element_list env warnings_tag parent content 349 + in 350 + let prefix = Odoc_extension_registry.prefix_of_tag name in 351 + let content = 352 + match Odoc_extension_registry.find_link_handler ~prefix with 353 + | Some handler -> handler name (Obj.repr env) resolved 354 + | None -> resolved 355 + in 356 + `Custom (name, content) 350 357 | `Deprecated content -> 351 358 `Deprecated 352 359 (comment_nestable_block_element_list env warnings_tag parent content)

-2

onnxrt/doc/add_example.mld

··· 1 1 {0 Tensor Addition} 2 2 3 - @x-ocaml.universe ./universe 4 - @x-ocaml.worker ./universe/worker.js 5 3 6 4 This notebook demonstrates basic ONNX Runtime inference in OCaml: 7 5 creating tensors, loading a model, and running addition.

-2

onnxrt/doc/sentiment_example.mld

··· 1 1 {0 Sentiment Analysis} 2 2 3 - @x-ocaml.universe ./universe 4 - @x-ocaml.worker ./universe/worker.js 5 3 6 4 This notebook runs a DistilBERT sentiment analysis model entirely in 7 5 the browser using ONNX Runtime. It includes a vocabulary loader,

+53 -10

site-builder/gen_rules.ml

··· 78 78 if dir = "." then Printf.sprintf "_html/%s.html" base 79 79 else Printf.sprintf "_html/%s/%s.html" dir base 80 80 81 + (* Asset path computations for the odoc asset pipeline *) 82 + let asset_odoc_target rel = 83 + let dir = Filename.dirname rel in 84 + let base = Filename.basename rel in 85 + if dir = "." then Printf.sprintf "_odoc/asset-%s.odoc" base 86 + else Printf.sprintf "_odoc/%s/asset-%s.odoc" dir base 87 + 88 + let asset_odocl_target rel = 89 + Filename.chop_extension (asset_odoc_target rel) ^ ".odocl" 90 + 91 + let is_asset_file f = 92 + List.exists 93 + (fun ext -> Filename.check_suffix f ext) 94 + [ ".svg"; ".png"; ".jpg"; ".jpeg"; ".gif"; ".webp"; ".ico"; ".mov" ] 95 + 81 96 (* --- Output helpers ------------------------------------------------------ *) 82 97 83 98 let pr = Printf.printf ··· 101 116 walk_files ~pred:(fun f -> Filename.check_suffix f ".mld") "." 102 117 |> List.map strip_dot_slash 103 118 in 104 - let assets = 119 + let static_assets = 105 120 if Sys.file_exists "static" && Sys.is_directory "static" then 106 121 walk_files ~pred:(fun _ -> true) "static" |> List.map strip_dot_slash 107 122 else [] 108 123 in 109 - (* Phase 1: compile all .mld → .odoc, then link all .odoc → .odocl *) 124 + (* Content assets: images alongside .mld files (blog posts etc.) *) 125 + let content_assets = 126 + walk_files ~pred:is_asset_file "." |> List.map strip_dot_slash 127 + |> List.filter (fun f -> 128 + not (String.length f >= 7 && String.sub f 0 7 = "static/")) 129 + in 130 + (* Phase 1: compile all .mld → .odoc, compile-asset, then link → .odocl *) 110 131 prl "(rule"; 111 132 prl " (target (dir _odoc))"; 112 133 prl " (deps"; 113 134 List.iter (fun rel -> prl " %s" rel) mld_files; 135 + List.iter (fun rel -> prl " %s" rel) content_assets; 114 136 prl " )"; 115 137 prl " (action"; 116 138 prl " (progn"; 117 - (* Compile *) 139 + (* Compile pages *) 118 140 List.iter 119 141 (fun rel -> 120 142 prl " (run odoc compile %s --output-dir _odoc --parent-id %s)" rel 121 143 (parent_id rel)) 122 144 mld_files; 123 - (* Link *) 145 + (* Compile assets — declares asset names so {image!...} refs resolve *) 146 + List.iter 147 + (fun rel -> 148 + prl " (run odoc compile-asset --name %s --output-dir _odoc --parent-id %s)" 149 + (Filename.basename rel) (parent_id rel)) 150 + content_assets; 151 + (* Link pages *) 124 152 List.iter 125 153 (fun rel -> 126 154 prl " (run odoc link %s -P %s:_odoc -o %s)" (odoc_target rel) 127 155 package (odocl_target rel)) 128 156 mld_files; 157 + (* Link assets *) 158 + List.iter 159 + (fun rel -> 160 + prl " (run odoc link %s -P %s:_odoc -o %s)" (asset_odoc_target rel) 161 + package (asset_odocl_target rel)) 162 + content_assets; 129 163 (* Index + sidebar *) 130 164 pr " (run odoc compile-index --root %s:_odoc -o _odoc/index.odoc-index" 131 165 package; ··· 136 170 _odoc/index.odoc-index)"; 137 171 prl " )))"; 138 172 pr "\n"; 139 - (* Phase 2: html-generate + support-files + asset copy *) 173 + (* Phase 2: html-generate + support-files + asset generate/copy *) 140 174 prl "(rule"; 141 175 prl " (target (dir _html))"; 142 176 prl " (deps"; 143 177 List.iter (fun rel -> prl " %s" (odocl_target rel)) mld_files; 178 + List.iter (fun rel -> prl " %s" (asset_odocl_target rel)) content_assets; 179 + List.iter (fun rel -> prl " %s" rel) content_assets; 144 180 (* sidebar.odoc-sidebar is generated but not used — reference docs 145 181 (built via @doc) have their own sidebar; site pages don't need one. *) 146 - List.iter (fun asset -> prl " %s" asset) assets; 182 + List.iter (fun asset -> prl " %s" asset) static_assets; 147 183 prl " )"; 148 184 prl " (action"; 149 185 prl " (progn"; 150 - (* HTML generate *) 186 + (* HTML generate pages *) 151 187 List.iter 152 188 (fun rel -> 153 189 prl " (run odoc html-generate --shell jon-shell --config x-ocaml.universe=/_opam -o _html %s)" 154 190 (odocl_target rel)) 155 191 mld_files; 192 + (* HTML generate assets via odoc *) 193 + List.iter 194 + (fun rel -> 195 + prl " (run odoc html-generate-asset --asset-unit %s -o _html %s)" 196 + (asset_odocl_target rel) rel) 197 + content_assets; 156 198 (* Support files *) 157 199 prl " (run odoc support-files -o _html)"; 158 - (* Asset copies — use system because (copy) declares implicit targets *) 200 + (* Static asset copies — these aren't odoc-managed, just raw files *) 159 201 List.iter 160 202 (fun asset -> 161 203 prl " (system \"mkdir -p $(dirname _html/%s) && cp %s _html/%s\")" 162 204 asset asset asset) 163 - assets; 205 + static_assets; 164 206 prl " )))"; 165 207 pr "\n"; 166 208 (* @site alias *) ··· 168 210 prl " (name site)"; 169 211 prl " (deps"; 170 212 List.iter (fun rel -> prl " %s" (html_target rel)) mld_files; 171 - List.iter (fun asset -> prl " _html/%s" asset) assets; 213 + List.iter (fun asset -> prl " _html/%s" asset) static_assets; 214 + List.iter (fun rel -> prl " _html/%s" rel) content_assets; 172 215 prl " ))"; 173 216 pr "\n"; 174 217 (* Blog index generation via gen_blog_index.exe *)

site/blog/2025/05/alice.jpg