Skip to content

Hover on a functor drops its parameter #9071

Description

@cknitt

Hovering a functor shows its body as if it were a plain module, without the parameter:

module MakeSet = (O: Ord) => {
  //     ^ hover
  type t = array<O.t>
  let add = (s: t, x: O.t) => s->Array.concat([x])
}
module MakeSet: {
  type t = array<O.t>
  let add: (t, O.t) => array<O.t>
}

Expected: module MakeSet: (O: Ord) => { ... }. for_module in analysis/src/process_cmt.ml returns only the result of Tmod_functor, so the parameter is lost.

Activity

  1. added theissue type on Oct 27, 2026
  2. added 2 commits that reference this issue on Oct 27, 2026
    518b1df
    aac2e68
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions