Fix references to extension declarations#949

Merged

panglesd merged 6 commits intoocaml:masterfrom

gpetiot:fix-932

Oct 26, 2023

Commits on Oct 26, 2023

Exhibit the bug of #932

gpetiot
authored and
panglesd
committed
Handle extension-decl anchors

gpetiot
and
panglesd
committed
Bigger example

gpetiot
and
panglesd
committed
Remove ambiguity warning

gpetiot
authored and
panglesd
committed
Add changelog for #949
panglesd
committed
Documentation for reference to extension declaration
panglesd
committed