odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Try to resolve references in stage 0

Open panglesd opened this issue 1 year ago • 0 comments

Some references get "moved" to some other context when expansions are computed, which make them resolve to something else/not resolve anymore.

This PR tries to resolve reference at the earliest, before any expansions are computed: at load time. So resolved references go to the original referenced item.

This is extracted from some branch of @jonludlam, as a draft. I have not reviewed the commits. It put it as a draft, just so that the idea does not get forgotten, but it is planned as post 3.0

(currently based on #1260)

panglesd avatar Dec 12 '24 14:12 panglesd