Skip to content

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

Open
cknitt wants to merge 6 commits into
masterfrom
fix-9072-applied-functor-types
Open

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

Resolve applied fields and constructors to the functor's declarations

c989f87
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar