Jon Ludlam

Results 33 issues of Jon Ludlam

It just silently expands the signature. See #1162 and https://github.com/codex-semantics-library/patricia-tree/pull/10

Make sure the set of libraries provided during linking only comes from the dependency libraries of the library being linked. Also ensure that the modules in the libraries passed are...

no changelog

no changelog

I often see odoc_driver being very slow indeed at executing tasks. In addition, ps contains a lot of zombie odocs, so I'm wondering if our eio code is slow at...

This is @FayCarson's work. There are still some fixes that need to be made. See src/parser/TODO.md for a list.

Firstly it prints the module name rather than the filename where the problem is, then also it's unconditionally output to stderr: ``` File "Odoc_odoc": Ambiguous lookup. Possible files: Odoc_odoc Odoc_odoc...

The following causes an exception ```ocaml module type Creators_base = sig type ('a, _, _) t type (_, _, _) concat include sig type ('a, 'b, 'c) t val concat...

Before this change, the magic string was read by reading the number of bytes we're expecting to read based on our magic string. If ours happens to be a prefix...

As reported by @avsm: > I just noticed an oddity with the Eio docs: the [spawn docs](https://ocaml.org/p/eio_linux/1.2/doc/eio_linux/Eio_linux/Low_level/Process/index.html#val-spawn) link to [Fork_action.t](https://ocaml.org/p/eio/1.2/doc/eio.unix/Eio_unix__Fork_action/index.html#type-t) which is a 404 on the live website (it was...

An exception is being raised in `odoc_driver`: ``` odoc_driver_voodoo: [DEBUG] Found cmi_only_lib in dir: /home/opam/.opam/4.08/lib/camlp5 odoc_driver_voodoo: internal error, uncaught exception: Invalid_argument("\"/home/opam/.opam/4.08/lib/camlp5\": invalid segment") ``` see https://sage.caelum.ci.dev/job/2025-05-16/215045-voodoo-do-713959