Skip to content

Missing reference syntax for extension declarations #932

Closed
@dbuenzli

Description

@dbuenzli
(* Consider this extensible type *)

type more = ..

type more +=
| At_the_door
| Behind_the_floor


(** It seems I can refer to {!more}, {!extension-At_the_door}
    {!extension-Behind_the_floor}. But not the point of extension
    (despite the fact that it has an anchor in the rendering (namely
    #extension-decl-At_the_door)). *)

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions