jon.recoil.org
this repo has no description
odoc generator: render jkind at Poly quantifier binding site
Shows ('a : value_or_null). instead of plain 'a. when the quantified
variable has a non-default jkind. Jkind is shown once at the binding
site, not at every use of the variable.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+6
-2
odoc/src/document/generator.ml
+6
-2
odoc/src/document/generator.ml
···
519
519
format_type_path ~delim:`brackets args
520
520
(Link.from_path (path :> Paths.Path.t))
521
521
| Poly (polyvars, t) ->
522
-
let polyvar_names = List.map fst polyvars in
523
-
O.txt ("'" ^ String.concat ~sep:" '" polyvar_names ^ ". ") ++ type_expr t
522
+
let render_var (name, jkind) = match jkind with
523
+
| None -> "'" ^ name
524
+
| Some jk -> "('" ^ name ^ " : " ^ jk ^ ")"
525
+
in
526
+
O.txt (String.concat ~sep:" " (List.map render_var polyvars) ^ ". ")
527
+
++ type_expr t
524
528
| Quote t ->
525
529
O.span (O.txt "<[ " ++ O.box_hv (type_expr t) ++ O.txt " ]>")
526
530
| Splice t ->