Repository navigation

Use the applied signature for modules created by functor application - #9084

Open

cknitt wants to merge 15 commits into

masterfrom

fix-9072-applied-functor-types

Open

Use the applied signature for modules created by functor application#9084
cknitt wants to merge 15 commits into
masterfrom
fix-9072-applied-functor-types

Commits on Nov 1, 2026
- Use the applied signature for modules created by functor application
  
  cknitt
  and
  claude
  committed
  011b3ef
- Keep the functor's file for members of an applied functor
  
  cknitt
  and
  claude
  committed
  daa9c2a
- Link signature help type definitions to their declaring file
  
  cknitt
  and
  claude
  committed
  3dcad77
- Connect renamed members of an applied functor to their declarations
  
  cknitt
  and
  claude
  committed
  1a1151c
- Connect nested modules of an applied functor to their declarations
  
  cknitt
  and
  claude
  committed
  a2bc738
- Resolve applied fields and constructors to the functor's declarations
  
  cknitt
  and
  claude
  committed
  204f37d
- Register module types of an applied functor's signature
  
  cknitt
  and
  claude
  committed
  73c883f
- Map the members of an applied functor's module types to their declarations
  
  cknitt
  and
  claude
  committed
  3f52f6e
- Register an inline functor's parameters before applying it
  
  cknitt
  and
  claude
  committed
  3a9e8da
- Locate items of a functor applied from another file in that file
  
  cknitt
  and
  claude
  committed
  86c22e5
- Refer uses of a functor applied from another file to that file's members
  
  cknitt
  and
  claude
  committed
  54d0b93
- Follow a functor's aliases to its file for the members it creates
  
  cknitt
  and
  claude
  committed
  8001cc1
- Follow a partial functor application to the declarations it renamed
  
  cknitt
  and
  claude
  committed
  2614e3b
- Record one renaming step per functor application
  
  cknitt
  and
  claude
  committed
  84aa247
- Share the lookup of a renamed member's original stamp
  
  cknitt
  and
  claude
  committed
  268200f

Commits

Commits on Nov 1, 2026